纠正计算机系统内错误的方法和装置制造方法及图纸

一种用于检测计算机系统内差错的计算机实现的进程，包含以下步骤：在参照系统（１６）与测试系统（１５）上执行软件程序（１２）的指令序列；在程序（１２）执行过程中在可比较点上检测与记录参照系统（１６）与测试系统（１５）的状态；以及在包括指令序列结束在内的指令序列中比较可选比较点上参照系统（１６）与测试系统（１５）的被检测的状态。在特定实施例中，如果检测到系统比较状态有差异，则自动回放参照系统（１６）与测试系统（１５）可比较点之间指令序列的执行部分。（*该技术在2018年保护过期，可自由使用*）

【技术实现步骤摘要】

本专利技术涉及计算机系统，特别是涉及快速和准确调试计算机系统的系统。
技术介绍
经常需要检测计算机进程或计算机系统内的差错。为此，一种典型的方法是测试被指定系统(“测试系统”)相对已知具有正确功能的系统模型(“参照系统”)的行为。如果测试行为与参照系统一致，则假定系统具有正确的功能。如果系统行为有差异，则检测到差错。比较两种系统行为的方法有多种。一种是使每种系统生成内部或外部事件流，例如过程调用、状态过渡或总线信号，并比较两种流。但是有些事件流可能太难以捕捉而使事件流比较不实用。其它的事件流捕捉起来代价可能非常高。还有其它事件流提供的差错定位可能过于粗略。在一些事件流中，事件可能太依赖于系统的实现方式并且由此导致不兼容的问题。另一种比较技术是运行两种系统，记录运行时的系统状态并进行比较。状态比较可能会遇到与事件流比较同样的问题。访问某些状态可能代价昂贵或者不可能，或者可能太依赖于两种系统的实现细节。不同的方法可以用来完成状态或事件的比较。传统上如果参照系统是非正式的或者非可执行的，则方法属于对各种与参照系统产生的状态或事件不兼容的各种测试状态或事件的特定搜索。因此这种方法很有可本文档来自技高网...

【技术保护点】
一种校正计算机系统内差错的系统，其特征在于包含： 有待校正差错的测试系统； 参照系统；以及 控制机构，用于在参照系统与测试系统上执行程序，所属控制机构包括： 在参照系统与测试系统上执行程序指令序列的装置； 在程序执行过程中在可比较点上检测与记录参照系统与测试系统状态的装置；以及 在包括指令序列结束在内的指令序列中比较可选比较点上参照系统与测试系统的状态的装置。

【技术特征摘要】
...

【专利技术属性】
技术研发人员：A克雷博，R贝迪切克，D坎普尔，
申请(专利权)人：全斯美达有限公司，
类型：发明
国别省市：US[美国]