-
公开(公告)号：CN103678128A
公开(公告)日：2014-03-26
申请号：CN201310687844.3
申请日：2013-12-13
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于抽象解释技术的缺陷警报分组方法，所述方法包括：获取函数控制流图上节点的抽象语义，并获取函数控制流图上所述节点的求精的抽象语义；当在所述节点上报告一个以上缺陷警报时，依据所述缺陷警报间的抽象依赖关系，对所述缺陷警报进行分组。本发明同时还公开了一种基于抽象解释技术的缺陷警报分组装置。采用本发明的技术方案，大大减少了部分缺陷警报的识别工作，提高了测试工作效率。
-
公开(公告)号：CN101436128B
公开(公告)日：2012-10-31
申请号：CN200710177534.1
申请日：2007-11-16
Applicant: 北京邮电大学
Abstract: 本发明提供一种软件测试用例自动生成方法，该方法包括：A、读取待测软件，对待测软件源程序进行词法分析、语法分析及语义分析，生成待测软件的抽象语法树和控制流图；B、通过遍历所生成的抽象语法树，对待测软件源程序进行预处理：识别原始输入、输出变量并对原始输入变量的定义域进行空间压缩；C、通过遍历控制流图，生成当前待测软件程序元素的路径，对该路径中的变量进行赋值运算、蕴涵运算及回溯运算，生成测试用例。本发明还提供了一种软件测试用例自动生成系统。本发明的软件测试用例自动生成方法及系统能够准确地按照给定的待测软件程序元素自动生成测试用例，对生成的测试用例进行验证，提高了测试用例的准确性、效率及自动化程度。
-
公开(公告)号：CN102708052A
公开(公告)日：2012-10-03
申请号：CN201210127772.2
申请日：2012-04-27
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供了一种单元测试中软件故障自动定位方法，包括：A、采用一组满足覆盖需求的测试用例，执行被测程序，判断测试用例的执行结果是否和预期结果一致；B、根据各测试用例对应的执行路径，分析路径上的边信息，确定由路径上的边组成的可疑空间；C、统计可疑空间中每条边被通过和未通过的测试用例覆盖的次数，计算指定执行模式下，每条边的可疑度；D、由边的可疑度计算其相邻语句节点的可疑度；E、按照可疑度的大小对故障节点进行排序，并依次映射到被测程序中生成故障定位报告，辅助用户检查故障。采用本方法，能够降低语句分析的计算工作量，并且考虑到语句节点之间的逻辑关系，提高故障定位的效率。
-
公开(公告)号：CN102073587A
公开(公告)日：2011-05-25
申请号：CN201010622214.4
申请日：2010-12-27
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开一种程序中不可达路径的静态检测方法，该方法包括：A、对待测试程序的函数单元进行词法分析、语法分析及语义分析，生成函数的控制流图；B、通过所述待测试程序中变量值范围的函数间分析得到被调用函数单元的函数摘要；C、在控制流图的入口和出口节点之间选取一条路径p，如果路径中含有循环语句节点，则采用进入循环体0次或1次的策略；D、从所述路径p的入口节点开始，计算各语句节点处的上下文状态；如果存在某节点的上下文状态中有变量取值为空的情况，则表示所述路径p为不可达路径，否则，为可达路径。应用本发明的方法，能够提高程序静态分析和测试用例生成的效率，以提高软件测试效率。
-
公开(公告)号：CN101436128A
公开(公告)日：2009-05-20
申请号：CN200710177534.1
申请日：2007-11-16
Applicant: 北京邮电大学
Abstract: 本发明提供一种软件测试用例自动生成方法，该方法包括：A.读取待测软件，对待测软件源程序进行词法分析、语法分析及语义分析，生成待测软件的抽象语法树和控制流图；B.通过遍历所生成的抽象语法树，对待测软件源程序进行预处理：识别原始输入、输出变量并对原始输入变量的定义域进行空间压缩；C.通过遍历控制流图，生成当前待测软件程序元素的路径，对该路径中的变量进行赋值运算、蕴涵运算及回溯运算，生成测试用例。本发明还提供了一种软件测试用例自动生成系统。本发明的软件测试用例自动生成方法及系统能够准确地按照给定的待测软件程序元素自动生成测试用例，对生成的测试用例进行验证，提高了测试用例的准确性、效率及自动化程度。
-
Patent Agency Ranking
公开(公告)号：CN101286133A
公开(公告)日：2008-10-15
申请号：CN200810114262.5
申请日：2008-06-02
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及软件测试技术领域，本发明能够在一定程度上解决在程序静态测试中对不可达路径的无效计算以及对变量取值信息未充分利用的技术问题。本发明提出区间集的概念，定义了数值型变量区间集上的集合运算及四则运算，对程序中布尔类型变量及引用类型变量及表达式定义了区间计算方法，本发明所述方法在软件测试过程的前期收集了变量及表达式的取值范围信息，并将其应用在控制流图的语句节点上，实验证明，添加了区间运算的软件测试方法较之未添加区间信息的原方法而言，测试结果的误报率降低，测试的准确率更高。
-
公开(公告)号：CN101286132A
公开(公告)日：2008-10-15
申请号：CN200810114261.0
申请日：2008-06-02
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于软件缺陷模式的测试方法，包括：读取被测程序源代码文件及缺陷状态机SDSM描述文件，对被测程序进行预处理，解析SDSM描述文件；对被测程序进行词法分析和语法分析，构造出抽象语法树；根据抽象语法树，生成控制流图和符号表，并根据控制流图和符号表，进行变量取值区间集的计算与更新；对被测程序进行函数调用关系分析，生成函数调用关系图；根据函数调用关系图以函数为单位对控制流图进行遍历，并计算控制流图上每个节点缺陷状态机的状态变迁，缺陷状态机进入缺陷状态时报告对应的检查点。本发明还公开了一种基于软件缺陷模式的测试系统，包括：输入模块，缺陷模式统一测试框架，和用户界面模块，完成对被测程序的统一测试。
-
公开(公告)号：CN108563561B
公开(公告)日：2020-06-23
申请号：CN201810215371.X
申请日：2018-03-15
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供一种程序隐性约束提取方法及系统，包括：对于待测程序中的任一函数，将任一路径上的入口节点作为当前节点；获取当前节点与任一函数对应的抽象语法树上对应的当前语法节点，若当前语法节点包含目标变量，获取目标变量类型，根据目标变量类型和作用于目标变量的运算符类型匹配隐性约束规则，提取目标变量的隐性约束；否则，将当前节点的下一个节点重新作为当前节点，重复上述步骤，直到任一路径的出口节点为当前节点。本发明提出一种程序隐性约束提取方法及系统，可以实现隐性约束的提取，可以在一定程度上减小目标变量的搜索空间，保证生成测试数据的正确性，进而确保后续测试数据顺利执行。
-
公开(公告)号：CN104035864B
公开(公告)日：2017-10-20
申请号：CN201310693444.3
申请日：2013-12-17
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于矛盾片段模式的路径生成方法，包括：A、从控制流图中选择本次路径生成的起点作为当前点，然后执行步骤B；B、选择后继点，然后执行步骤C；C、如果成功选到后继点，则执行步骤G；否则执行步骤D；D、查看是否还有前一个点，有则执行步骤E；否则执行步骤F；E、将前一个点设为当前点，然后执行步骤B；F、由于已经回退到起点，所以生成路径失败；G、查看后继点是否是路径的终点，是则成功生成路径；否则执行步骤H；H、将后一个点设置为当前点，然后执行步骤B。采用本发明方法，能够在路径生成过程中快速检测当前路径片段已经是不可达路径，从而大大提高判定不可达路径的效率。
-
公开(公告)号：CN104317708B
公开(公告)日：2017-06-13
申请号：CN201410562727.9
申请日：2014-10-21
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于迭代的区间运算的软件测试用例自动生成方法及系统，包括：S1、读取待测程序中的预定路径，通过遍历所述待测程序的控制流图得到所述预定路径的各个变量的变量取值区间；S2、将所述变量取值区间通过迭代的区间运算遍历所述控制流图，得到各个所述变量的初始稳定变量取值区间；S3、对所述初始稳定变量取值区间中的无穷变量取值区间进行初始化处理，通过迭代的区间运算遍历所述控制流图，并将运算结果保存到所述初始稳定变量取值区间；S4、根据预设的机制对变量进行排序，并确定当前变量；S5、对所述当前变量的初始稳定变量取值区间进行回退运算、迭代的区间运算及回溯运算，生成测试用例；S6、对生成的所述测试用例进行验证。
-
-
-
-
-
-
-
-
-
Search Results
91
records
(took 0.029 seconds)
