-
公开(公告)号：CN104317710A
公开(公告)日：2015-01-28
申请号：CN201410564233.4
申请日：2014-10-21
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种结构测试中被测程序的改造方法及其系统，所述方法包括：S1、根据被测程序的结构生成抽象语法树和控制流图，并得到所述被测程序的输入/输出函数信息；S2、改造被测程序，并在所述被测程序中分别构造驱动函数、桩函数和探针函数；S3、执行所述被测程序，得到所述探针函数的插桩返回信息，根据所述插桩返回信息和所述控制流图分析所述被测程序的路径覆盖情况。该方法通过改造被测函数单元，构造驱动函数，构造桩函数，构造探针函数，使被测程序可独立执行，大大提高了结构测试的自动化程度。
-
-
公开(公告)号：CN103914380A
公开(公告)日：2014-07-09
申请号：CN201410115157.9
申请日：2014-03-26
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种结构测试中的边界值测试方法及其系统，所述方法包括：S1，根据被测文件中的语句的语义和表达式的语义选择特定的边界覆盖准则；S2，根据所述边界覆盖准则获取所述被测文件的语句边界值和表达式边界值；S3，为所述语句边界值和所述表达式边界值选择对应的可达路径；S4，根据所述可达路径生成测试用例，并对所述测试用例进行比较，从而得到边界值测试结果。本发明的结构测试中的边界值测试方法及其系统，通过对不同的语句以及表达式选择特定的边界值覆盖准则，可以快速地找到对应的边界值，从而可以在结构测试中对语句以及表达式的边界值进行测试。
-
公开(公告)号：CN102023923B
公开(公告)日：2014-07-02
申请号：CN201010622568.9
申请日：2010-12-28
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开一种基于别名分析技术的软件测试方法，通过在控制流上对一些涉及别名关系的语句进行特殊分析，利用空间抽象三元模型将变量声明、值和内存空间进行关联，这个过程迭代到控制流不再扩展为止；并通过定义别名分析的三元模型，区别于传统的二元变量-值模型，增加了内存空间抽象；该方法在软件静态测试过程的前期收集了同一抽象内存空间中所有互为别名的变量，将其值进行有效的关联，并将其应用在控制流图的语句节点上。通过实验证明，本发明的软件测试方法相比未应用别名分析技术的现有测试方法，具有有效解决由别名关系造成变量值不同步所产生的漏报问题，能在一定程度上提高静态测试的精度。
-
公开(公告)号：CN103744776A
公开(公告)日：2014-04-23
申请号：CN201310538362.1
申请日：2013-11-04
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于符号化函数摘要的静态分析方法，该方法包括：利用RSTVL模型，描述当前函数的控制流图的节点的变量的存储状态；确定函数的当前节点为非最后节点且当前节点存在函数调用时，将被当前函数调用的函数的函数摘要进行实例化，并更新当前函数中受函数调用影响的变量；确定函数的当前节点为最后节点且确定当前函数具有函数返回值时，获得所述函数返回值的符号表达式，查找出存储状态发生变化的变量，并获取存储状态发生变化的变量的符号表达式；将所述函数返回值的符号表达式与存储状态发生变化的变量中的外部变量的符号表达式添加到当前函数的函数摘要中；同时，本发明还公开了基于符号化函数摘要的静态分析系统。利用本发明实施例的技术方案，可有效提高静态分析的精度效率。
-
Patent Agency Ranking
公开(公告)号：CN103559127A
公开(公告)日：2014-02-05
申请号：CN201310516392.2
申请日：2013-10-28
Applicant: 北京邮电大学
Abstract: 本发明公开了一种缺陷处理方法，包括：通过SDDL-EXP，生成语法类缺陷模式；其中，所述SDDL-EXP为预定的值相关缺陷模式语言；根据所述语法类缺陷模式，在被测代码中查找检测点，并将所述语法类缺陷模式中的缺陷发生的条件实例化；根据预设的规范化策略，将所述被测代码中的变量及表达式进行转换；对转换后的被测代码进行后向的数据流分析，根据实例化的条件验证在所述检测点处是否有缺陷发生。本发明还同时公开了一种缺陷处理器。采用本发明的技术方案，能够便捷地扩充与用户相关的缺陷模式，并且通过该缺陷模式进行有效的缺陷检测，提升了用户的体验。
-
-
公开(公告)号：CN101847122B
公开(公告)日：2012-05-02
申请号：CN201010188376.1
申请日：2010-06-01
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种应用异常控制流集的软件测试方法及系统。本发明所提供的软件测试方法及系统，是通过异常模式状态机描述运行时异常行为，可以支持对控制流的扩展和故障的自动检测；通过运行时异常控制流扩展传统异常控制流，将抛出运行时异常的边加入其中，以支持对新故障的检测；结合现有静态测试技术，通过迭代方程生成运行时异常控制流集，以实现控制流扩展和新故障检测的交替迭代执行。通过以上方法扩展传统分析路径，达到提高故障报告率的目的。
-
公开(公告)号：CN101840372B
公开(公告)日：2012-03-14
申请号：CN201010185904.8
申请日：2010-05-28
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开一种应用符号分析的软件测试方法，该方法包括：A、给出一个符号运算系统，包括符号表达式的表示、化简、运算和计算符号表达式的取值区间；B、给出将程序中各变量间的具体运算映射为符号运算的方法；C、给出程序分支语句对符号取值限定区间的计算方法；D、给出符号分析在程序控制流图上的计算方法。应用本发明的应用符号分析的软件测试方法，能够处理软件静态测试中的变量相关性问题，精确地计算每个程序位置上的变量取值信息，提高软件静态测试的准确性。
-
公开(公告)号：CN102073589A
公开(公告)日：2011-05-25
申请号：CN201010622730.7
申请日：2010-12-29
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于代码静态分析的数据竞争检测方法及系统，该方法包括：读取待测软件，对待测软件源程序进行静态分析，生成待测软件的抽象语法树、控制流图、全局函数调用图；在此基础之上计算每个函数内部的别名信息、函数间出口别名信息、锁集合信息、函数内部访问可逃逸变量的访问链以及线程创建关系图；根据访问链计算每两个线程之间访问节点的初始化语句对集合；根据别名信息、锁集合信息、并发关系对该集合进行逐步删减得到最终可能发生数据竞争的语句对。本发明提供的检测方法与检测系统能对C/C++编写的多线程程序进行有效的数据竞争检测，具有测试精度高和自动化程度高的特点，适用于对两个线程或多个线程导致的数据竞争的检测。
-
-
-
-
-
-
-
-
-
Search Results
74
records
(took 0.031 seconds)
