-
公开(公告)号：CN102841846A
公开(公告)日：2012-12-26
申请号：CN201210309446.3
申请日：2012-08-27
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供了一种基于Hadoop的软件测试方法、装置和系统，所述方法包括：管理服务器接收用户终端发来的待测软件和测试请求，将收到的待测软件发给Hadoop分布式文件系统(HDFS)，并根据收到的测试请求向一个或几个测试服务器发出测试指令；收到测试指令的测试服务器调用自身存储的相应的测试工具，以及从所述HDFS中获取相应的待测软件，控制调用的所述测试工具对获取的所述待测软件进行测试，并将测试结果发送给所述HDFS；管理服务器从所述HDFS获取测试结果，并将获取的测试结果发给用户终端。采用本发明能够使软件测试用户避免购买测试软件，节省测试成本。
-
公开(公告)号：CN102521126A
公开(公告)日：2012-06-27
申请号：CN201110398217.9
申请日：2011-12-05
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开一种基于模块分解技术的软件缺陷检测系统（DTS）的复杂性分析方法，包括：A,根据所述DTS缺陷检测原理，将该分析方法的流程包括由前端输入预处理模块完成的前端输入预处理步骤、由预分析模块完成预分析的步骤、由正式分析模块完成正式分析的步骤；B,对所述的前端输入预处理模块、预分析模块和正式分析模块的内部所有分析单元，按其调用顺序及依赖关系依次分析其复杂度，得到每个分析单元复杂性分布的性质和规律；C,根据步骤B的分析结果，统计得出整个DTS系统的复杂性分布情况。采用本发明，通过对每个模块内部的分析单元的复杂性分析，统计得出DTS的复杂性分布情况，克服了现有复杂性分析方法不够系统全面等的缺点。
-
公开(公告)号：CN102495800A
公开(公告)日：2012-06-13
申请号：CN201110400173.9
申请日：2011-12-05
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供了一种循环语句中变量抽象取值的迭代求精方法，所述方法包括：根据控制流图CFG进行数据流迭代，得到上次迭代区间LastDomain；根据循环头节点LoopHead的循环条件进行循环语句块的数据流迭代，得到本次迭代区间ThisDomain；将LastDomain和ThisDomain进行加宽Widening操作。采用本发明公开的技术方案能够解决循环语句中变量抽象取值迭代计算收敛速度慢或不收敛的技术问题。
-
公开(公告)号：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描述文件；对被测程序进行词法分析和语法分析，构造出抽象语法树；根据抽象语法树，生成控制流图和符号表，并根据控制流图和符号表，进行变量取值区间集的计算与更新；对被测程序进行函数调用关系分析，生成函数调用关系图；根据函数调用关系图以函数为单位对控制流图进行遍历，并计算控制流图上每个节点缺陷状态机的状态变迁，缺陷状态机进入缺陷状态时报告对应的检查点。本发明还公开了一种基于软件缺陷模式的测试系统，包括：输入模块，缺陷模式统一测试框架，和用户界面模块，完成对被测程序的统一测试。
-
Patent Agency Ranking
公开(公告)号：CN101286133B
公开(公告)日：2010-06-16
申请号：CN200810114262.5
申请日：2008-06-02
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及软件测试技术领域，本发明能够在一定程度上解决在程序静态测试中对不可达路径的无效计算以及对变量取值信息未充分利用的技术问题。本发明提出区间集的概念，定义了数值型变量区间集上的集合运算及四则运算，对程序中布尔类型变量及引用类型变量及表达式定义了区间计算方法，本发明所述方法在软件测试过程的前期收集了变量及表达式的取值范围信息，并将其应用在控制流图的语句节点上，实验证明，添加了区间运算的软件测试方法较之未添加区间信息的原方法而言，测试结果的误报率降低，测试的准确率更高。
-
公开(公告)号：CN101106604A
公开(公告)日：2008-01-16
申请号：CN200710099028.5
申请日：2007-05-09
Applicant: 北京邮电大学
Abstract: 本发明公开了一种基于扩展呼叫处理语言(CPL)的翻译器，包括系统总控模块，用于对获取的扩展CPL业务脚本进行翻译，并创建配置模块和翻译总控模块。在本发明系统上采用的方法包括以下步骤：在终端建立业务开发环境，根据预设置的扩展CPL，基于扩展CPL编写扩展CPL业务脚本；终端将封装扩展CPL业务脚本的信息发送给翻译器，翻译器翻译扩展CPL业务脚本并转换成底层代码；翻译器将底层代码发送给业务服务器，并在业务服务器上部署业务，业务服务器执行底层代码实现与其相应的所述业务。采用本发明的翻译器以及系统、方法，提供了对多业务接入的支持，使业务服务器能触发并实现用户的多种业务请求。
-
公开(公告)号：CN1972296A
公开(公告)日：2007-05-30
申请号：CN200610144373.1
申请日：2006-12-05
Applicant: 北京邮电大学
Abstract: 一种基于XPL的综合多种通信手段的业务生成方法和系统，系统包括设有业务开发平台和业务运行平台的应用服务器、Web Services网关和电信网/因特网。业务生成方法是：对呼叫处理语言CPL进行扩展，形成一种既能描述简单呼叫转移类业务，又能描述复杂呼叫类业务和数据类业务的业务描述方法或语言－XPL，业务开发者用图形化开发工具或手工书写XPL业务脚本，再利用该系统和相应的构件模型与构件组装方法，将XPL脚本转换为可以部署运行的程序，即将网络开放的Web Services接口具有的业务能力组织起来，形成满足需求的业务。本发明是一种在较高抽象层次上融合网络条件下开发综合性通信类业务的方法和系统，业务开发人员使用本发明，能以较快速度开发内容较为丰富的通信类业务。
-
公开(公告)号：CN106020913B
公开(公告)日：2019-06-14
申请号：CN201610390646.4
申请日：2016-06-06
Applicant: 北京邮电大学
IPC: G06F8/65
Abstract: 本发明实施例公开了一种缺陷检测工具更新方法及装置，方法包括：根据待测试工程中异常出现的位置和时机，将异常划分为至少一种异常类型；针对每一种异常类型的异常，确定所述异常类型对应的异常解决方案；根据每一种异常解决方案，更新所述缺陷检测工具中的语言分析器，其中所述语言分析器至少包括词法分析器和语法分析器。应用本发明实施例，能规避缺陷检测工具因待检测工程的开发环境及编译器的多样性带来的非预期语法和/或词法的影响而产生的异常，使得后续分析工作顺利进行。
-
公开(公告)号：CN106294156B
公开(公告)日：2018-12-07
申请号：CN201610658272.X
申请日：2016-08-11
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明实施例公开了一种静态代码缺陷检测分析方法及装置，针对现有的对待测源代码文件的代码缺陷检测分析效率低下的问题，其中，检测分析方法包括：获取待测源代码文件，其中，所述待测源代码文件包括：多个待测源代码文件段的测试单元；根据所述待测源代码文件，生成抽象语法树；根据所述抽象语法树，建立每个当前测试单元与其他测试单元的关联，得到关联后的每个当前测试单元与其他测试单元的依赖关系，其中，所述其他测试单元为所述多个测试单元中除所述当前测试单元以外的其他测试单元；根据所述依赖关系，结合串行检测分析与并行检测分析，并对所述待测源代码文件的代码缺陷检测分析，提高待测源代码文件的代码缺陷检测分析效率。
-
-
-
-
-
-
-
-
-
Search Results
118
records
(took 0.041 seconds)
