[发明专利]用于确定软件的正确的执行的系统和方法

摘要

实施例提供关于软件的正确操作的确信水平。实施例创建软件的基准和实时测量，并将比较测量以判断软件是否正在正确地操作。应用提供商可以在目标软件应用中包括“跟踪元素”。当产生应用时，检测跟踪元素，并提供踪迹事件，踪迹事件共同地提供表示正确的应用执行的“基准踪迹”。提供商向用户提供应用和基准踪迹。用户实时地操作应用，以基于应用仍具有产生踪迹事件(共同地形成“实时”踪迹)的踪迹元素，产生“实时踪迹”。比较器比较基准和实时踪迹。如果踪迹在彼此的预先确定的范围内，则用户具有软件正在正确地操作的确信水平。此处还包括了其他实施例。

主权项

一种由至少一个处理器执行的方法，包括：接收具有第一和第二断言的应用的第一和第二基准踪迹事件，所述第一和第二基准踪迹事件分别对应于所述第一和第二断言；在接收到所述第一和第二基准踪迹事件之后，接收通过执行所述应用所生成的并且分别对应于所述第一和第二断言的第一和第二实时踪迹事件；以及通过比较器逻辑模块，将所述第一以及第二基准踪迹事件分别与所述第一和第二实时踪迹事件进行比较，其中所述比较器逻辑模块在第一安全环境中执行，所述应用在与所述第一安全环境隔离的第二安全环境中执行，其中所述比较器逻辑模块具有对所述第一和第二基准踪迹事件以及所述第一和第二实时踪迹事件的读取访问，但不具有对这些踪迹事件的写访问。