-
公开(公告)号：CN102915271A
公开(公告)日：2013-02-06
申请号：CN201210426628.9
申请日：2012-10-31
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于控制流图的单元回归测试用例集合优化方法，包括：A、在被测单元修改前后的控制流图中找出被修改部分对应的修改点；B、筛选出执行路径经过修改点的测试用例，作为回归测试用例集合的一部分即选择测试用例集Tselected，运行集合中的所有测试用例；C、计算修改点的所有可达后继节点，选出步骤B运行过程中未被覆盖的节点子集N；D、若N为空，执行步骤F，否则执行步骤E；E、从N中取出一个节点作为覆盖目标生成测试用例，将其加入新增测试用例集合Tnew并运行完毕，更新N，删除在此次运行中已被覆盖的节点，返回步骤D；F、回归测试用例集合TR构造完毕。应用本发明，能够提高回归测试的效率，并保证回归测试的有效性与充分性。
-
-
公开(公告)号：CN104809067B
公开(公告)日：2017-11-17
申请号：CN201510229658.4
申请日：2015-05-07
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供一种面向等式约束的测试用例生成方法和装置，测试用例生成方法包括：接收测试用例生成请求，生成请求中携带待测程序；获取待测程序的预定路径、表达式列表、预定路径中的各个变量及各个变量的第一取值区间；根据表达式列表中的等式，确定等式约束的第一系数矩阵及第一增广矩阵；判断第一系数矩阵的秩是否小于第一增广矩阵的秩；若否，则对各个变量进行回退运算，确定各个变量的第二取值区间；判断各个变量的第二取值区间的边界值是否相等；若相等，则根据各个变量的第二取值区间生成测试用例。本发明提供的面向等式约束的测试用例生成方法和装置，生成测试用例的过程无需人工干预，速度快，效率高，可对待测程序实现100％覆盖。
-
公开(公告)号：CN104915293B
公开(公告)日：2017-10-20
申请号：CN201510325619.4
申请日：2015-06-12
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供一种基于仿射运算的软件测试方法及系统，该方法包括：确定被测程序的抽象语法树；遍历分析抽象语法树，获取对应的符号表和控制流图；根据符号表确定被测程序的输入变量和全局变量，并分别赋予输入变量和全局变量初始取值范围，输入变量和全局变量的取值范围以数值的区间形式表示；将输入变量和全局变量取值范围的区间表示形式转换为仿射表示形式；根据控制流图确定路径集合，并对路径集合中的每条路径进行逐节点的变量仿射形式运算，输出每条路径对应的变量以及变量取值范围；在每条路径对应的变量的取值范围中取值，生成测试用例，并根据测试用例对被测程序进行测试。提高了变量取值范围和软件测试结果的精确性。
-
公开(公告)号：CN104360938B
公开(公告)日：2017-10-20
申请号：CN201410564479.1
申请日：2014-10-21
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种故障确认方法及其系统，所述方法包括：S1、利用预设故障模式，在静态分析过程中匹配出疑似故障点，对所述疑似故障点进行筛选后标注在被测程序的控制流图中；S2、在所述疑似故障点添加故障触发条件，形成故障节点，构造故障路径，并将新生成的故障节点添加到所述控制流图中，并作标记；S3、通过预设的路径选择策略，计算每个疑似故障点分别在每个节点的权重；S4、遍历控制流图，根据每个故障点在当前节点的权重选择故障路径，并对选择的路径的每个节点提取约束来指导动态执行的取值，对每个疑似故障点进行确认。该方法在执行过程中利用选路策略和动态符号执行技术相结合，指导程序高效的覆盖故障条件节点，从而提高确认故障效率。
-
Patent Agency Ranking
公开(公告)号：CN102708052B
公开(公告)日：2017-10-20
申请号：CN201210127772.2
申请日：2012-04-27
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供了一种单元测试中软件故障自动定位方法，包括：A、采用一组满足覆盖需求的测试用例，执行被测程序，判断测试用例的执行结果是否和预期结果一致；B、根据各测试用例对应的执行路径，分析路径上的边信息，确定由路径上的边组成的可疑空间；C、统计可疑空间中每条边被通过和未通过的测试用例覆盖的次数，计算指定执行模式下，每条边的可疑度；D、由边的可疑度计算其相邻语句节点的可疑度；E、按照可疑度的大小对故障节点进行排序，并依次映射到被测程序中生成故障定位报告，辅助用户检查故障。采用本方法，能够降低语句分析的计算工作量，并且考虑到语句节点之间的逻辑关系，提高故障定位的效率。
-
公开(公告)号：CN103927258B
公开(公告)日：2017-06-23
申请号：CN201410138438.6
申请日：2014-04-08
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于状态分区的静态缺陷检测求精方法，包括：S1：将待检测的缺陷模式属性状态机集合置于待测函数控制流入口；S2：程序通过路径由前置位置执行到目标位置；S3：属性状态机的状态沿程序路径进行传递以及变化，在目标位置处到达预设状态；S4：取控制流当前节点，判断是否为控制流最后节点；S5：如果不为控制流最后节点，则根据当前节点信息更新属性状态条件以及属性状态分区集合信息。本发明提供的基于状态分区技术的缺陷检测求精方法，给出了缺陷模式的定义，缺陷模式状态机的定义，路径条件的定义，状态条件的定义，状态分区的定义，基于状态分区技术，给出缺陷检测求精方法，从而提高缺陷检测的精度。
-
公开(公告)号：CN103559127B
公开(公告)日：2017-03-29
申请号：CN201310516392.2
申请日：2013-10-28
Applicant: 北京邮电大学
Abstract: 本发明公开了一种缺陷处理方法，包括：通过SDDL-EXP，生成语法类缺陷模式；其中，所述SDDL-EXP为预定的值相关缺陷模式语言；根据所述语法类缺陷模式，在被测代码中查找检测点，并将所述语法类缺陷模式中的缺陷发生的条件实例化；根据预设的规范化策略，将所述被测代码中的变量及表达式进行转换；对转换后的被测代码进行后向的数据流分析，根据实例化的条件验证在所述检测点处是否有缺陷发生。本发明还同时公开了一种缺陷处理器。采用本发明的技术方案，能够便捷地扩充与用户相关的缺陷模式，并且通过该缺陷模式进行有效的缺陷检测，提升了用户的体验。
-
公开(公告)号：CN103176905B
公开(公告)日：2016-11-09
申请号：CN201310128097.X
申请日：2013-04-12
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种缺陷关联方法，包括：从缺陷报告中提取缺陷对应的代码块，根据所提取的代码块生成缺陷相关代码块序列信息库；获取所述缺陷相关代码块序列信息库的基本频繁子序列，并消除所述基本频繁子序列中不满足约束条件的频繁子序列；依据当前频繁子序列对应的缺陷，对缺陷报告中的缺陷进行分组；根据预设的缺陷关联模式，精化分组的缺陷。本发明同时还公开了一种缺陷关联装置。采用本发明的技术方案，可以对缺陷进行精确的分组。
-
公开(公告)号：CN103914380B
公开(公告)日：2016-10-19
申请号：CN201410115157.9
申请日：2014-03-26
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种结构测试中的边界值测试方法及其系统，所述方法包括：S1，根据被测文件中的语句的语义和表达式的语义选择特定的边界覆盖准则；S2，根据所述边界覆盖准则获取所述被测文件的语句边界值和表达式边界值；S3，为所述语句边界值和所述表达式边界值选择对应的可达路径；S4，根据所述可达路径生成测试用例，并对所述测试用例进行比较，从而得到边界值测试结果。本发明的结构测试中的边界值测试方法及其系统，通过对不同的语句以及表达式选择特定的边界值覆盖准则，可以快速地找到对应的边界值，从而可以在结构测试中对语句以及表达式的边界值进行测试。
-
-
-
-
-
-
-
-
-
Search Results
74
records
(took 0.023 seconds)
