基于覆盖率量化指标确定软件测试过程充分性的方法

摘要

本发明提供一种基于覆盖率量化指标确定软件测试过程充分性的方法，包括：A.对被测程序进行预编译、词法分析和语法分析，得到程序的抽象语法树、控制流图和函数之间的调用关系图，并根据用户测试需求，自动生成被测单元；B.根据覆盖准则，从所述抽象语法树和控制流图中提取被测单元中相应的待覆盖元素集合；C.根据所述的覆盖准则，在被测单元的程序中插入相应的探针函数；D.根据用户测试需求，选择系统自动执行或用户手动执行的方式对插入探针函数的被测单元进行动态测试；E.根据动态测试执行的返回信息，得到测试单元的被覆盖元素集合，并计算被测单元的覆盖率。应用该方法，能够提高软件评估测试的效率和准确性。