CAJ | 학술논문

当程序的执行过程中出现运行时异常,控制流动态地变更可能会产生非预期的执行逻辑,由此引入的缺陷将给软件静态测试工作带来巨大的挑战.针对这一问题,提出一种结合运行时异常的静态测试方法,将缺陷检测及控制流扩展交替执行,通过扩展分析路径达到提高测试充分度的目的.以异常模式状态机描述运行时异常行为,在包含运行时异常的控制流上,应用迭代方程得到运行时异常控制流序列,将在传统控制流上的一次缺陷检测过程扩展为在异常控制流序列上的多次检测.实验结果表明,结合运行时异常的静态测试方法虽然增加了时间开销,且引入一定的误报,但却可以发现传统测试方法所遗漏的缺陷,这点在航空、航天等高可信领域尤为重要.
당정서적집행과정중출현운행시이상,공제류동태지변경가능회산생비예기적집행라집,유차인입적결함장급연건정태측시공작대래거대적도전.침대저일문제,제출일충결합운행시이상적정태측시방법,장결함검측급공제류확전교체집행,통과확전분석로경체도제고측시충분도적목적.이이상모식상태궤묘술운행시이상행위,재포함운행시이상적공제류상,응용질대방정득도운행시이상공제류서렬,장재전통공제류상적일차결함검측과정확전위재이상공제류서렬상적다차검측.실험결과표명,결합운행시이상적정태측시방법수연증가료시간개소,차인입일정적오보,단각가이발현전통측시방법소유루적결함,저점재항공、항천등고가신영역우위중요.