-
公开(公告)号：CN101482847B
公开(公告)日：2011-06-29
申请号：CN200910003082.4
申请日：2009-01-19
Applicant: 北京邮电大学
Abstract: 本发明公开了一种基于安全漏洞缺陷模式的检测方法，包括：读取被测程序源代码文件进行预处理，解析安全漏洞模式对应的安全漏洞状态机描述文件；再对被测程序代码进行词法、语法分析，构造出被测程序的抽象语法树；根据抽象语法树构造控制流图，生成符号表；然后进行变量取值区间集的计算与更新，并根据符号表、对被测程序进行函数调用关系分析生成函数调用关系图，再建立ud/du链；通过建立安全漏洞模式状态机并调用ud/du链，对控制流图进行遍历，计算控制流图上每个节点安全漏洞状态机的状态变迁，若安全漏洞状态机进入缺陷状态，则报告对应的检查点，测试完毕后输出安全漏洞测试报表。本发明方法具有自动化程度高、测试精度高的优点。
-
公开(公告)号：CN101286132B
公开(公告)日：2010-09-08
申请号：CN200810114261.0
申请日：2008-06-02
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于软件缺陷模式的测试方法，包括：读取被测程序源代码文件及缺陷状态机SDSM描述文件，对被测程序进行预处理，解析SDSM描述文件；对被测程序进行词法分析和语法分析，构造出抽象语法树；根据抽象语法树，生成控制流图和符号表，并根据控制流图和符号表，进行变量取值区间集的计算与更新；对被测程序进行函数调用关系分析，生成函数调用关系图；根据函数调用关系图以函数为单位对控制流图进行遍历，并计算控制流图上每个节点缺陷状态机的状态变迁，缺陷状态机进入缺陷状态时报告对应的检查点。本发明还公开了一种基于软件缺陷模式的测试系统，包括：输入模块，缺陷模式统一测试框架，和用户界面模块，完成对被测程序的统一测试。
-
公开(公告)号：CN101286133B
公开(公告)日：2010-06-16
申请号：CN200810114262.5
申请日：2008-06-02
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及软件测试技术领域，本发明能够在一定程度上解决在程序静态测试中对不可达路径的无效计算以及对变量取值信息未充分利用的技术问题。本发明提出区间集的概念，定义了数值型变量区间集上的集合运算及四则运算，对程序中布尔类型变量及引用类型变量及表达式定义了区间计算方法，本发明所述方法在软件测试过程的前期收集了变量及表达式的取值范围信息，并将其应用在控制流图的语句节点上，实验证明，添加了区间运算的软件测试方法较之未添加区间信息的原方法而言，测试结果的误报率降低，测试的准确率更高。
-
公开(公告)号：CN102073588B
公开(公告)日：2013-11-20
申请号：CN201010622570.6
申请日：2010-12-28
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供一种基于代码静态分析的多线程死锁检测方法及系统，该方法包括：对待测软件源程序进行词法、语法及语义分析，生成抽象语法树和控制流图；通过遍历抽象语法树，生成程序的指向分析图，对程序中的线程类进行分析，生成线程类并发特征集合；通过对控制流图的遍历，对程序进行可达分析，生成线程并发特征集并进行分析，生成占有请求特征集和锁图并进行分析，检测潜在的死锁，找到锁对象的门锁集合，删除不同线程锁对象存在相同门锁情况的死锁，更新潜在死锁集合；通过并发与逃逸分析，删除不可能的死锁情况，得到最终的死锁集合。应用本发明的方法及系统能够有效检测两个或多个线程产生死锁的情况，提高测试精度和自动化程度。
-
公开(公告)号：CN102073589B
公开(公告)日：2013-07-03
申请号：CN201010622730.7
申请日：2010-12-29
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于代码静态分析的数据竞争检测方法及系统，该方法包括：读取待测软件，对待测软件源程序进行静态分析，生成待测软件的抽象语法树、控制流图、全局函数调用图；在此基础之上计算每个函数内部的别名信息、函数间出口别名信息、锁集合信息、函数内部访问可逃逸变量的访问链以及线程创建关系图；根据访问链计算每两个线程之间访问节点的初始化语句对集合；根据别名信息、锁集合信息、并发关系对该集合进行逐步删减得到最终可能发生数据竞争的语句对。本发明提供的检测方法与检测系统能对C/C++编写的多线程程序进行有效的数据竞争检测，具有测试精度高和自动化程度高的特点，适用于对两个线程或多个线程导致的数据竞争的检测。
-
Patent Agency Ranking
公开(公告)号：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++编写的多线程程序进行有效的数据竞争检测，具有测试精度高和自动化程度高的特点，适用于对两个线程或多个线程导致的数据竞争的检测。
-
公开(公告)号：CN101894064A
公开(公告)日：2010-11-24
申请号：CN200910084547.3
申请日：2009-05-21
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种应用跨函数分析的软件测试方法，解决软件静态测试中函数调用对区间精度的影响、对环境约束信息未充分利用以及由异常处理导致的控制流变更等问题。通过定义函数摘要信息及其前置信息、后置信息、约束信息和特征信息，对程序中不同类型的缺陷检测相应地规定了判定方法；而且在软件测试过程中通过收集函数摘要信息，并将其应用在控制流图的语句节点上和缺陷模式的判定过程中，在测试完成后输出被测程序中所有函数的摘要信息。通过实验证明，应用本发明方法的测试软件比现有测试软件的测试结果相比，具有更高的函数间分析准确度和更低的测试结果误报率和漏报率。
-
公开(公告)号：CN101534292A
公开(公告)日：2009-09-16
申请号：CN200810101763.X
申请日：2008-03-11
Applicant: 北京邮电大学
Abstract: 本发明公开了一种文件接收的方法，包括：a.向管理服务器发送互联交换请求；b.对来自管理服务器的交换信息进行解析；c.根据解析得到的交换信息参数对来自文件发送网关的文件进行接收；d.对文件的接收过程进行监控并生成文件接收结果；e.将文件接收结果上报给管理服务器。本发明还提供了一种互联与交换系统和互联与交换网关，由互联与交换网关对数字媒体内容的传输过程进行控制，采用断点续传机制，提高了数字媒体内容传输的可靠性；对传输过程中的数字媒体内容进行加密，提高了数字媒体内容传输的安全性。
-
-
-
-
-
-
-
-
-
Search Results
24
records
(took 0.028 seconds)
