系统运行正确性的检测方法

摘要

一种系统运行正确性的检测方法，首先，读取某一待测程序的原始数据，并以此建立一可运行集合，接着，据可运行集合分析待测程序的运行正确性，若知运行有误，则产生错误报告。建立可运行集合的步骤，是先对待测程序的文件系统进行扫描，并以此建立一数据库，其包括动态链接库、动态链接库及冗余调用文件等信息。然后，据文件信息选取待测程序可行及所需的文件。最后，经选取档案而对应的结构表组成可运行集合。

主权项

1.一种系统运行正确性的检测方法，其特征在于，包括下列步骤：(a)读取一程序的原始数据；(b)根据该原始数据建立一可运行集合；(c)根据该可运行集合分析该程序的运行正确性；(d)若于步骤(c)知运行有错误，则产生一错误报告；(e)根据该错误报告逐一修正，其中，步骤(b)还包括：扫描该程序的文件系统，并以此建立一数据库，该数据库包括该程序直接调用的动态链接库、间接调用的动态链接库、以及冗余调用文件等的信息；根据该各文件信息，选取该程序可行及所需的文件；根据每一该经选取文件产生一对应结构表，而由该各对应结构表组成该可运行集合，步骤(C)包括：检验当前该应用程序与当前系统程序的交集是否包括于标准系统程序；以及运行后的该应用程序相关记录集合是否可包括于该应用程序在该系统程序中的原始记录集合。