-
公开(公告)号：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，根据所述可达路径生成测试用例，并对所述测试用例进行比较，从而得到边界值测试结果。本发明的结构测试中的边界值测试方法及其系统，通过对不同的语句以及表达式选择特定的边界值覆盖准则，可以快速地找到对应的边界值，从而可以在结构测试中对语句以及表达式的边界值进行测试。
-
公开(公告)号：CN103914382B
公开(公告)日：2016-06-29
申请号：CN201410115369.7
申请日：2014-03-25
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种充分识别指针引用检测对象的方法，包括：对被分析函数进行词法分析和语法分析，生成被分析函数的抽象语法树；从所述抽象语法树上识别所述被分析函数内的指针引用表达式，根据所述指针引用表达式识别出被引用指针，并将被引用指针添加到被引用指针集合中；从所述抽象语法树上识别所述被分析函数内的函数调用，根据被调用函数的函数摘要的空指针引用前置约束识别出在调用点处的被引用指针，并将被引用指针添加到被引用指针集合中；如果存在未判断是不是指针引用检测对象的指针，识别出被其引用的外部指针，并将所述外部指针添加到被调用函数的函数摘要的空指针引用前置约束中，进一步提高了空指针引用缺陷检测的精度。
-
Patent Agency Ranking
公开(公告)号：CN105224455A
公开(公告)日：2016-01-06
申请号：CN201510628462.2
申请日：2015-09-28
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种自动生成字符串类型测试用例的方法，首先，使用一个字符数组和一个长度属性作为字符串类型的数据模型，定义了三个原子函数，使用三个原子函数的组合表示C语言标准库中的字符串函数，然后，利用符号执行技术得到一条程序路径的约束提取过程中，对于字符串和字符串函数进行约束提取，得到包含原子函数表示的字符串约束；最后，针对源程序的执行路径，对每条路径的字符串约束进行约束求解，约束求解过程中，根据原子函数的参数的确定值，对于原子函数进行解释得到字符串的结构和取值，直到得到满足路径所有约束的测试用例。优点在于，应用于处理各种字符串函数，减少人工测试耗费的代价，提高软件测试的自动化程度。
-
公开(公告)号：CN105005530A
公开(公告)日：2015-10-28
申请号：CN201510416680.X
申请日：2015-07-15
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于四值逻辑的位运算测试用例生成方法，属于软件测试中测试用例生成技术领域，具体步骤包括：步骤一、分别设定四值逻辑运算的方法和四值逻辑运算的逆运算方法；步骤二、将位运算约束分解为逻辑运算约束；步骤三、将逻辑运算约束对应为约束满足问题；步骤四、依据四值逻辑运算和逆运算的方法使用搜索算法求解逻辑运算约束；步骤五、将逻辑运算约束的解合成为位运算约束的解。优点在于：应用多值逻辑来计算变量的值域，从而提高搜索空间和位运算的搜索效率，进一步提高了位运算的测试用例生成效率。
-
公开(公告)号：CN104536883A
公开(公告)日：2015-04-22
申请号：CN201410736842.3
申请日：2014-12-05
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种静态缺陷检测方法及其系统，该方法包括：S1、构造被测程序的抽象语法树和控制流图；S2、根据预设的缺陷模式，建立所述缺陷模式的状态机实例，并将所述状态机实例置于待测程序的控制流入口；S3、依路径遍历控制流图，并计算在遍历过程中每个控制流节点的变量的区间信息；S4、根据每个所述控制流节点的变量的区间取值信息，实时地更新所述状态机实例的状态，直到检测到所述状态机实例的缺陷或遍历完成所有路径上的控制流节点。该方法基于符号化的区间分析技术，通过综合采用矛盾的变量取值判断和条件约束验证方法判断程序中的不可达路径，从而提高了缺陷检测的精确性。
-
公开(公告)号：CN104360938A
公开(公告)日：2015-02-18
申请号：CN201410564479.1
申请日：2014-10-21
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种故障确认方法及其系统，所述方法包括：S1.利用预设故障模式，在静态分析过程中匹配出疑似故障点，对所述疑似故障点进行筛选后标注在被测程序的控制流图中；S2.在所述疑似故障点添加故障触发条件，形成故障节点，构造故障路径，并将新生成的故障节点添加到所述控制流图中，并作标记；S3.通过预设的路径选择策略，计算每个疑似故障点分别在每个节点的权重；S4.遍历控制流图，根据每个故障点在当前节点的权重选择故障路径，并对选择的路径的每个节点提取约束来指导动态执行的取值，对每个疑似故障点进行确认。该方法在执行过程中利用选路策略和动态符号执行技术相结合，指导程序高效的覆盖故障条件节点，从而提高确认故障效率。
-
公开(公告)号：CN103914382A
公开(公告)日：2014-07-09
申请号：CN201410115369.7
申请日：2014-03-25
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种充分识别指针引用检测对象的方法，包括：对被分析函数进行词法分析和语法分析，生成被分析函数的抽象语法树；从所述抽象语法树上识别所述被分析函数内的指针引用表达式，根据所述指针引用表达式识别出被引用指针，并将被引用指针添加到被引用指针集合中；从所述抽象语法树上识别所述被分析函数内的函数调用，根据被调用函数的函数摘要的空指针引用前置约束识别出在调用点处的被引用指针，并将被引用指针添加到被引用指针集合中；如果存在未判断是不是指针引用检测对象的指针，识别出被其引用的外部指针，并将所述外部指针添加到被调用函数的函数摘要的空指针引用前置约束中，进一步提高了空指针引用缺陷检测的精度。
-
-
-
-
-
-
-
-
-
Search Results
118
records
(took 0.026 seconds)
