-
公开(公告)号：CN102708052A
公开(公告)日：2012-10-03
申请号：CN201210127772.2
申请日：2012-04-27
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供了一种单元测试中软件故障自动定位方法，包括：A、采用一组满足覆盖需求的测试用例，执行被测程序，判断测试用例的执行结果是否和预期结果一致；B、根据各测试用例对应的执行路径，分析路径上的边信息，确定由路径上的边组成的可疑空间；C、统计可疑空间中每条边被通过和未通过的测试用例覆盖的次数，计算指定执行模式下，每条边的可疑度；D、由边的可疑度计算其相邻语句节点的可疑度；E、按照可疑度的大小对故障节点进行排序，并依次映射到被测程序中生成故障定位报告，辅助用户检查故障。采用本方法，能够降低语句分析的计算工作量，并且考虑到语句节点之间的逻辑关系，提高故障定位的效率。
-
公开(公告)号：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为不可达路径，否则，为可达路径。应用本发明的方法，能够提高程序静态分析和测试用例生成的效率，以提高软件测试效率。
-
公开(公告)号：CN100583926C
公开(公告)日：2010-01-20
申请号：CN200710062805.9
申请日：2007-01-18
Applicant: 北京邮电大学
Abstract: 一种基于GDL和XPL、面向位置服务的电信业务生成系统和方法，系统包括：设有相互连接的业务开发平台(包括XPL和GDL的开发环境)和业务运行平台(包括XPL和GDL的运行环境)的应用服务器，与XPL运行环境连接的电信网络，与GDL运行环境连接、支持OpenLS Core Services标准的WebGIS服务器。业务生成方法是：分别对OpenLS Core Services标准和CPL进行改进和扩展，形成描述地理信息服务数据结构的语言GDL和扩展呼叫处理语言XPL，再利用其分别描述电信业务流程和地理信息服务的数据结构，然后分别利用各自业务生成引擎将结合XPL和GDL两者描述好的业务转换为可以部署运行的程序，快速形成内容丰富、满足需求的通信类业务。
-
公开(公告)号：CN100556053C
公开(公告)日：2009-10-28
申请号：CN200510135100.6
申请日：2005-12-23
Applicant: 北京邮电大学
Abstract: 一种基于呼叫中心坐席与计算机交互的方式为手机用户提供地理信息服务的方法和系统，该系统根据用户位置确定提供服务的呼叫中心坐席，同时为坐席屏幕自动配置与更新地理信息服务数据/图像。实现方法是：根据手机用户拨打的电话，通过手机网络定位用户所在地点，并通过查询GIS数据库获知用户所在区域位置；呼叫中心优先将该呼叫转接至负责该地点的坐席；系统根据该用户当前所在区域及其选择的服务，为坐席预先配置用户需要或感兴趣的数据/图像；当坐席接通用户、提供服务时，系统将预存的数据/图像显示到坐席屏幕，并可向用户发送相关短信/彩信，提供快速响应、个性化、精确化的位置服务，提高基于位置服务的可用性、服务质量。
-
Patent Agency Ranking
公开(公告)号：CN101482847A
公开(公告)日：2009-07-15
申请号：CN200910003082.4
申请日：2009-01-19
Applicant: 北京邮电大学
Abstract: 本发明公开了一种基于安全漏洞缺陷模式的检测方法，包括：读取被测程序源代码文件进行预处理，解析安全漏洞模式对应的安全漏洞状态机描述文件；再对被测程序代码进行词法、语法分析，构造出被测程序的抽象语法树；根据抽象语法树构造控制流图，生成符号表；然后进行变量取值区间集的计算与更新，并根据符号表、对被测程序进行函数调用关系分析生成函数调用关系图，再建立ud/du链；通过建立安全漏洞模式状态机并调用ud/du链，对控制流图进行遍历，计算控制流图上每个节点安全漏洞状态机的状态变迁，若安全漏洞状态机进入缺陷状态，则报告对应的检查点，测试完毕后输出安全漏洞测试报表。本发明方法具有自动化程度高、测试精度高的优点。
-
公开(公告)号：CN101436128A
公开(公告)日：2009-05-20
申请号：CN200710177534.1
申请日：2007-11-16
Applicant: 北京邮电大学
Abstract: 本发明提供一种软件测试用例自动生成方法，该方法包括：A.读取待测软件，对待测软件源程序进行词法分析、语法分析及语义分析，生成待测软件的抽象语法树和控制流图；B.通过遍历所生成的抽象语法树，对待测软件源程序进行预处理：识别原始输入、输出变量并对原始输入变量的定义域进行空间压缩；C.通过遍历控制流图，生成当前待测软件程序元素的路径，对该路径中的变量进行赋值运算、蕴涵运算及回溯运算，生成测试用例。本发明还提供了一种软件测试用例自动生成系统。本发明的软件测试用例自动生成方法及系统能够准确地按照给定的待测软件程序元素自动生成测试用例，对生成的测试用例进行验证，提高了测试用例的准确性、效率及自动化程度。
-
公开(公告)号：CN101286133A
公开(公告)日：2008-10-15
申请号：CN200810114262.5
申请日：2008-06-02
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及软件测试技术领域，本发明能够在一定程度上解决在程序静态测试中对不可达路径的无效计算以及对变量取值信息未充分利用的技术问题。本发明提出区间集的概念，定义了数值型变量区间集上的集合运算及四则运算，对程序中布尔类型变量及引用类型变量及表达式定义了区间计算方法，本发明所述方法在软件测试过程的前期收集了变量及表达式的取值范围信息，并将其应用在控制流图的语句节点上，实验证明，添加了区间运算的软件测试方法较之未添加区间信息的原方法而言，测试结果的误报率降低，测试的准确率更高。
-
公开(公告)号：CN101286132A
公开(公告)日：2008-10-15
申请号：CN200810114261.0
申请日：2008-06-02
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于软件缺陷模式的测试方法，包括：读取被测程序源代码文件及缺陷状态机SDSM描述文件，对被测程序进行预处理，解析SDSM描述文件；对被测程序进行词法分析和语法分析，构造出抽象语法树；根据抽象语法树，生成控制流图和符号表，并根据控制流图和符号表，进行变量取值区间集的计算与更新；对被测程序进行函数调用关系分析，生成函数调用关系图；根据函数调用关系图以函数为单位对控制流图进行遍历，并计算控制流图上每个节点缺陷状态机的状态变迁，缺陷状态机进入缺陷状态时报告对应的检查点。本发明还公开了一种基于软件缺陷模式的测试系统，包括：输入模块，缺陷模式统一测试框架，和用户界面模块，完成对被测程序的统一测试。
-
公开(公告)号：CN101072129A
公开(公告)日：2007-11-14
申请号：CN200710117823.2
申请日：2007-06-25
Applicant: 北京邮电大学
Abstract: 本发明公开了一种基于JMX的网络业务管理方法及其应用系统，采用管理者－代理者模式，能够跨越平台对多种电信业务及业务能力进行分布式管理，该方法中管理终端登录管理中心，对系统全局基本设置进行配置；管理中心代理在管理中心注册，接受管理中心的管理；管理中心根据管理终端的命令，调用各管理中心代理，对系统内各个服务器资源进行一种或多种功能的管理；各管理中心代理根据管理中心的调用执行管理操作，将完成情况反馈给管理终端；管理中心能够与第三方应用系统集成。其应用系统包括管理中心、第三方应用系统管理中心、至少一个管理中心代理和至少一个管理终端。本发明还具有支持多种用户界面、多种业务统一计费的优点。
-
-
-
-
-
-
-
-
-
Search Results
118
records
(took 0.031 seconds)
