公开(公告)号：CN101847122A

公开(公告)日：2010-09-29

申请号：CN201010188376.1

申请日：2010-06-01

Applicant: 北京邮电大学

Inventor： 金大海 ,  宫云战 ,  杨朝红 ,  肖庆 ,  黄俊飞 ,  王雅文

IPC: G06F11/36

Abstract: 本发明公开了一种应用异常控制流集的软件测试方法及系统。本发明所提供的软件测试方法及系统，是通过异常模式状态机描述运行时异常行为，可以支持对控制流的扩展和故障的自动检测；通过运行时异常控制流扩展传统异常控制流，将抛出运行时异常的边加入其中，以支持对新故障的检测；结合现有静态测试技术，通过迭代方程生成运行时异常控制流集，以实现控制流扩展和新故障检测的交替迭代执行。通过以上方法扩展传统分析路径，达到提高故障报告率的目的。

公开(公告)号：CN101840372A

公开(公告)日：2010-09-22

申请号：CN201010185904.8

申请日：2010-05-28

Applicant: 北京邮电大学

Inventor： 宫云战 ,  肖庆 ,  杨朝红 ,  金大海 ,  黄俊飞 ,  王雅文 ,  赵云山 ,  宋颖

IPC: G06F11/36

Abstract: 本发明公开一种应用符号分析的软件测试方法，该方法包括：A、给出一个符号运算系统，包括符号表达式的表示、化简、运算和计算符号表达式的取值区间；B、给出将程序中各变量间的具体运算映射为符号运算的方法；C、给出程序分支语句对符号取值限定区间的计算方法；D、给出符号分析在程序控制流图上的计算方法。应用本发明的应用符号分析的软件测试方法，能够处理软件静态测试中的变量相关性问题，精确地计算每个程序位置上的变量取值信息，提高软件静态测试的准确性。