专利详情

专利名称	一种快速的循环扩展检测方法
申请号	CN201110137793.8	专利类型	发明专利
公开（公告）号	CN102799517A	公开（授权）日	2012.11.28
申请（专利权）人	中国科学院软件研究所	发明（设计）人	易秋萍;刘剑;沈武威;汪孙律;李斌
主分类号	G06F11/36(2006.01)I	IPC主分类号	G06F11/36(2006.01)I
专利有效期	一种快速的循环扩展检测方法至一种快速的循环扩展检测方法	法律状态	实质审查的生效
说明书摘要	本发明公开了一种快速的循环扩展检测方法，属于软件模型检测技术领域。本方法为：1)限定测试空间中各个变量的取值范围，并将测试空间中的状态初始化为被测程序限定范围内所有满足被测程序的前置条件的状态；2)随机挑选一个未检测的状态s，调用被测程序，记录该状态s经过被测程序的执行路径p以及动态执行信息；3)根据动态执行信息，依次计算并检测执行路径p的循环扩展相似路径p’，检查路径p’的路径约束条件表示的所有状态是否正确；如果正确则将这些通过检测的状态从测试空间中裁剪掉；如果未通过检测，则打印出错状态并给出反例；4)迭代检查测试空间中的所有状态。本方法减少了执行的测试用例个数，加快检测速度。