-
公开(公告)号：CN102110051B
公开(公告)日：2014-02-05
申请号：CN201010624200.6
申请日：2010-12-31
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开一种应用程序切片技术的静态缺陷检测方法，包括：A.获取待检测缺陷模式的缺陷特征；B.根据所述的缺陷特征，计算所有分支节点的路径条件，并生成切片准则；C.按照所述的切片准则，遍历控制流图进行程序切片，对控制流图进行重构，得到已重构的控制流图；D.利用所述已重构的控制流图，应用缺陷状态迭代算法，进行缺陷模式状态机计算；E.若当前控制流图节点为非汇合节点，则将所有缺陷状态中的状态条件进行汇聚及更新操作；F.如果当前控制流图节点为汇合节点，则按照当前缺陷状态的状态条件进行状态合并。采用该方法能够在一定程度上提高缺陷检测的效率，并减少基于路径合并策略的路径敏感检测方法的误报。
-
公开(公告)号：CN102073587B
公开(公告)日：2013-07-03
申请号：CN201010622214.4
申请日：2010-12-27
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开一种程序中不可达路径的静态检测方法，该方法包括：A、对待测试程序的函数单元进行词法分析、语法分析及语义分析，生成函数的控制流图；B、通过所述待测试程序中变量值范围的函数间分析得到被调用函数单元的函数摘要；C、在控制流图的入口和出口节点之间选取一条路径p，如果路径中含有循环语句节点，则采用进入循环体0次或1次的策略；D、从所述路径p的入口节点开始，计算各语句节点处的上下文状态；如果存在某节点的上下文状态中有变量取值为空的情况，则表示所述路径p为不可达路径，否则，为可达路径。应用本发明的方法，能够提高程序静态分析和测试用例生成的效率，以提高软件测试效率。
-
公开(公告)号：CN101894064B
公开(公告)日：2013-01-02
申请号：CN200910084547.3
申请日：2009-05-21
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种应用跨函数分析的软件测试方法，解决软件静态测试中函数调用对区间精度的影响、对环境约束信息未充分利用以及由异常处理导致的控制流变更等问题。通过定义函数摘要信息及其前置信息、后置信息、约束信息和特征信息，对程序中不同类型的缺陷检测相应地规定了判定方法；而且在软件测试过程中通过收集函数摘要信息，并将其应用在控制流图的语句节点上和缺陷模式的判定过程中，在测试完成后输出被测程序中所有函数的摘要信息。通过实验证明，应用本发明方法的测试软件比现有测试软件的测试结果相比，具有更高的函数间分析准确度和更低的测试结果误报率和漏报率。
-
公开(公告)号：CN101534292B
公开(公告)日：2012-05-02
申请号：CN200810101763.X
申请日：2008-03-11
Applicant: 北京邮电大学
Abstract: 本发明公开了一种文件接收的方法，包括：a、向管理服务器发送互联交换请求；b、对来自管理服务器的交换信息进行解析；c、根据解析得到的交换信息参数对来自文件发送网关的文件进行接收；d、对文件的接收过程进行监控并生成文件接收结果；e、将文件接收结果上报给管理服务器。本发明还提供了一种互联与交换系统和互联与交换网关，由互联与交换网关对数字媒体内容的传输过程进行控制，采用断点续传机制，提高了数字媒体内容传输的可靠性；对传输过程中的数字媒体内容进行加密，提高了数字媒体内容传输的安全性。
-
公开(公告)号：CN102073588A
公开(公告)日：2011-05-25
申请号：CN201010622570.6
申请日：2010-12-28
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供一种基于代码静态分析的多线程死锁检测方法及系统，该方法包括：对待测软件源程序进行词法、语法及语义分析，生成抽象语法树和控制流图；通过遍历抽象语法树，生成程序的指向分析图，对程序中的线程类进行分析，生成线程类并发特征集合；通过对控制流图的遍历，对程序进行可达分析，生成线程并发特征集并进行分析，生成占有请求特征集和锁图并进行分析，检测潜在的死锁，找到锁对象的门锁集合，删除不同线程锁对象存在相同门锁情况的死锁，更新潜在死锁集合；通过并发与逃逸分析，删除不可能的死锁情况，得到最终的死锁集合。应用本发明的方法及系统能够有效检测两个或多个线程产生死锁的情况，提高测试精度和自动化程度。
-
Patent Agency Ranking
公开(公告)号：CN101847122A
公开(公告)日：2010-09-29
申请号：CN201010188376.1
申请日：2010-06-01
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种应用异常控制流集的软件测试方法及系统。本发明所提供的软件测试方法及系统，是通过异常模式状态机描述运行时异常行为，可以支持对控制流的扩展和故障的自动检测；通过运行时异常控制流扩展传统异常控制流，将抛出运行时异常的边加入其中，以支持对新故障的检测；结合现有静态测试技术，通过迭代方程生成运行时异常控制流集，以实现控制流扩展和新故障检测的交替迭代执行。通过以上方法扩展传统分析路径，达到提高故障报告率的目的。
-
公开(公告)号：CN101840372A
公开(公告)日：2010-09-22
申请号：CN201010185904.8
申请日：2010-05-28
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开一种应用符号分析的软件测试方法，该方法包括：A、给出一个符号运算系统，包括符号表达式的表示、化简、运算和计算符号表达式的取值区间；B、给出将程序中各变量间的具体运算映射为符号运算的方法；C、给出程序分支语句对符号取值限定区间的计算方法；D、给出符号分析在程序控制流图上的计算方法。应用本发明的应用符号分析的软件测试方法，能够处理软件静态测试中的变量相关性问题，精确地计算每个程序位置上的变量取值信息，提高软件静态测试的准确性。
-
公开(公告)号：CN101436128B
公开(公告)日：2012-10-31
申请号：CN200710177534.1
申请日：2007-11-16
Applicant: 北京邮电大学
Abstract: 本发明提供一种软件测试用例自动生成方法，该方法包括：A、读取待测软件，对待测软件源程序进行词法分析、语法分析及语义分析，生成待测软件的抽象语法树和控制流图；B、通过遍历所生成的抽象语法树，对待测软件源程序进行预处理：识别原始输入、输出变量并对原始输入变量的定义域进行空间压缩；C、通过遍历控制流图，生成当前待测软件程序元素的路径，对该路径中的变量进行赋值运算、蕴涵运算及回溯运算，生成测试用例。本发明还提供了一种软件测试用例自动生成系统。本发明的软件测试用例自动生成方法及系统能够准确地按照给定的待测软件程序元素自动生成测试用例，对生成的测试用例进行验证，提高了测试用例的准确性、效率及自动化程度。
-
公开(公告)号：CN102110051A
公开(公告)日：2011-06-29
申请号：CN201010624200.6
申请日：2010-12-31
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开一种应用程序切片技术的静态缺陷检测方法，包括：A、获取待检测缺陷模式的缺陷特征；B、根据所述的缺陷特征，计算所有分支节点的路径条件，并生成切片准则；C、按照所述的切片准则，遍历控制流图进行程序切片，对控制流图进行重构，得到已重构的控制流图；D、利用所述已重构的控制流图，应用缺陷状态迭代算法，进行缺陷模式状态机计算；E、若当前控制流图节点为非汇合节点，则将所有缺陷状态中的状态条件进行汇聚及更新操作；F、如果当前控制流图节点为汇合节点，则按照当前缺陷状态的状态条件进行状态合并。采用该方法能够在一定程度上提高缺陷检测的效率，并减少基于路径合并策略的路径敏感检测方法的误报。
-
公开(公告)号：CN102073587A
公开(公告)日：2011-05-25
申请号：CN201010622214.4
申请日：2010-12-27
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开一种程序中不可达路径的静态检测方法，该方法包括：A、对待测试程序的函数单元进行词法分析、语法分析及语义分析，生成函数的控制流图；B、通过所述待测试程序中变量值范围的函数间分析得到被调用函数单元的函数摘要；C、在控制流图的入口和出口节点之间选取一条路径p，如果路径中含有循环语句节点，则采用进入循环体0次或1次的策略；D、从所述路径p的入口节点开始，计算各语句节点处的上下文状态；如果存在某节点的上下文状态中有变量取值为空的情况，则表示所述路径p为不可达路径，否则，为可达路径。应用本发明的方法，能够提高程序静态分析和测试用例生成的效率，以提高软件测试效率。
-
-
-
-
-
-
-
-
-
Search Results
24
records
(took 0.036 seconds)
