公开(公告)号：CN102789419A

公开(公告)日：2012-11-21

申请号：CN201210251704.7

申请日：2012-07-20

Applicant: 中国人民解放军信息工程大学

Inventor： 魏强 ,  彭建山 ,  尹中旭 ,  王振兴 ,  方圆 ,  张咪 ,  杨欣 ,  任栋

IPC: G06F11/36

Abstract: 本发明涉及一种计算机技术领域的软件分析方法，特别是涉及一种使用多样本差异比对的软件故障分析方法。其步骤包括：1）将被分析程序进行反汇编和动态插桩；2）追踪和记录待分析程序的执行指令流，构建程序的以基本块为最小单位的控制流图；3）选取数据处理入口点作为对比的基点，构建多样本差异树模型，将多个样本两两分组做控制流图对比，找到其中的关键指令流分支点，获得错误数据输入点到各个差异点之间的关键路径。本发明软件故障分析方法有效解决了双样本差异比对方法对复杂故障无法定位的问题，使软件故障分析工作效率显著提高。

公开(公告)号：CN102789419B

公开(公告)日：2015-04-15

申请号：CN201210251704.7

申请日：2012-07-20

Applicant: 中国人民解放军信息工程大学

Inventor： 魏强 ,  彭建山 ,  尹中旭 ,  王振兴 ,  方圆 ,  张咪 ,  杨欣 ,  任栋

IPC: G06F11/36

Abstract: 本发明涉及一种计算机技术领域的软件分析方法，特别是涉及一种使用多样本差异比对的软件故障分析方法。其步骤包括：1）将被分析程序进行反汇编和动态插桩；2）追踪和记录待分析程序的执行指令流，构建程序的以基本块为最小单位的控制流图；3）选取数据处理入口点作为对比的基点，构建多样本差异树模型，将多个样本两两分组做控制流图对比，找到其中的关键指令流分支点，获得错误数据输入点到各个差异点之间的关键路径。本发明软件故障分析方法有效解决了双样本差异比对方法对复杂故障无法定位的问题，使软件故障分析工作效率显著提高。