[发明专利]一种基于蜕变关系的整数溢出故障检测方法

摘要

本发明公开了一种基于蜕变关系的整数溢出故障检测方法，首先，采用静态测试工具对被测程序进行静态检测，初步确定其中可能会发生整数溢出的整数变量，并将其标识为整数溢出检查点；然后，基于包含造成整数溢出故障相关的整数定义语句表和整数使用语句表的“定义‑使用”模型来确定上述整数溢出检查点的被整数定义语句和整数使用语句所引用的整数标识为溢出整数，溢出整数若存在整数危险使用语句表中表述的整数危险使用，则将其标识为危险整数；最后，在被测程序源代码引用所述危险整数的语句被执行前，采用蜕变测试法检测所述危险整数是否会发生整数溢出故障。通过本发明的方法，为整数溢出故障的检测提供了精确、有效的方法。

主权项

一种基于蜕变关系的整数溢出故障检测方法，其特征在于，包括以下步骤：步骤1采用静态测试工具对被测程序源代码进行静态检测，对被测程序源代码中引用的可能会发生整数溢出的整数的程序源代码语句标识为整数溢出检查点；步骤2所述整数溢出检查点的整数若存在被“定义—使用”模型中的整数定义语句或整数使用语句所引用，则将其标识为溢出整数，所述“定义—使用”模型包含造成整数溢出故障的整数定义语句表和整数使用语句表；被整数危险使用语句表中的整数危险使用语句所引用的由于整数溢出造成被测程序安全故障的所述溢出整数标识为危险整数；步骤3在引用所述危险整数的语句被执行前采用蜕变测试方法检测所述危险整数是否发生整数溢出故障；所述蜕变测试方法包括针对所述危险整数构造的用于检测危险整数溢出故障的蜕变关系集，对危险整数构造的满足蜕变关系集中的蜕变关系的输入关系r的测试用例，测试用例所对应的被测程序的输出若不满足蜕变关系的输出关系rf，则所述危险整数在后续使用语句的引用中发生整数溢出故障。