-
公开(公告)号：CN104915293A
公开(公告)日：2015-09-16
申请号：CN201510325619.4
申请日：2015-06-12
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供一种软件测试方法及系统，该方法包括：确定被测程序的抽象语法树；遍历分析抽象语法树，获取对应的符号表和控制流图；根据符号表确定被测程序的输入变量和全局变量，并分别赋予输入变量和全局变量初始取值范围，输入变量和全局变量的取值范围以数值的区间形式表示；将输入变量和全局变量取值范围的区间表示形式转换为仿射表示形式；根据控制流图确定路径集合，并对路径集合中的每条路径进行逐节点的变量仿射形式运算，输出每条路径对应的变量以及变量取值范围；在每条路径对应的变量的取值范围中取值，生成测试用例，并根据测试用例对被测程序进行测试。本发明提供的软件测试方法及系统，提高了变量取值范围和软件测试结果的精确性。
-
公开(公告)号：CN103914379B
公开(公告)日：2016-10-26
申请号：CN201410114863.1
申请日：2014-03-25
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种故障自动注入与故障检测的方法及其系统，该方法包括：S1，对被测文件进行故障自动化注入，进行分析并生成多个故障文件；S2，对所述多个故障文件分别进行处理，生成多个可执行文件；S3，根据所述被测文件选择特定的用例库，将所述用例库中的用例逐一在所述每个可执行文件上运行，进行故障检测，并计算故障检测率。本发明使用源代码故障注入的方法，可以加速错误的发生，进而判断出软件中是否存在故障，并且检错能力强，尤其对于一些小概率错误具有较好的测试效果。
-
公开(公告)号：CN104915293B
公开(公告)日：2017-10-20
申请号：CN201510325619.4
申请日：2015-06-12
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供一种基于仿射运算的软件测试方法及系统，该方法包括：确定被测程序的抽象语法树；遍历分析抽象语法树，获取对应的符号表和控制流图；根据符号表确定被测程序的输入变量和全局变量，并分别赋予输入变量和全局变量初始取值范围，输入变量和全局变量的取值范围以数值的区间形式表示；将输入变量和全局变量取值范围的区间表示形式转换为仿射表示形式；根据控制流图确定路径集合，并对路径集合中的每条路径进行逐节点的变量仿射形式运算，输出每条路径对应的变量以及变量取值范围；在每条路径对应的变量的取值范围中取值，生成测试用例，并根据测试用例对被测程序进行测试。提高了变量取值范围和软件测试结果的精确性。
-
公开(公告)号：CN103914379A
公开(公告)日：2014-07-09
申请号：CN201410114863.1
申请日：2014-03-25
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种故障自动注入与故障检测的方法及其系统，该方法包括：S1，对被测文件进行故障自动化注入，进行分析并生成多个故障文件；S2，对所述多个故障文件分别进行处理，生成多个可执行文件；S3，根据所述被测文件选择特定的用例库，将所述用例库中的用例逐一在所述每个可执行文件上运行，进行故障检测，并计算故障检测率。本发明使用源代码故障注入的方法，可以加速错误的发生，进而判断出软件中是否存在故障，并且检错能力强，尤其对于一些小概率错误具有较好的测试效果。
-
-
-
Search Results
4
records
(took 0.029 seconds)
