-
公开(公告)号：CN103218296A
公开(公告)日：2013-07-24
申请号：CN201310141769.0
申请日：2013-04-22
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种充分检测空指针引用缺陷的方法，包括：基于抽象语法树识别出被测应用的全部可寻址表达式；根据控制流图对被测应用进行保守的区间运算与指针分析并根据区间运算与指针分析的结果，生成函数摘要；根据所述函数摘要以及抽象语法树识别出全部的指针引用以及被引用的指针，并对每个被引用的指针创建空指针引用缺陷状态机实例；基于控制流图运行空指针引用缺陷状态机实例，在控制流图的每个节点上，根据区间运算、指针分析的结果对每个缺陷状态机实例进行状态迁移，进行空指针引用检测。采用本发明，能有效解决空指针引用缺陷的漏报问题，实现空指针引用缺陷检测零漏报及低误报。
-
公开(公告)号：CN103207833A
公开(公告)日：2013-07-17
申请号：CN201310113328.X
申请日：2013-04-02
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种软件测试中循环代码的处理方法，先依据程序控制流图，查找被测代码的循环体，确定当前循环体的循环体前子路径，再确定当前循环体的所有单条子路径，组合所述单条子路径为组合子路径，所述循环体前子路径与所述组合子路径的集合路径为可达时，确定所述组合子路径为当前循环体的确定子路径，确定所述循环体前子路径与所述确定子路径的集合路径为可达时，生成测试用例，并依据所述测试用例，执行被测代码，捕获所述当前循环体的实际执行路径，重复上述步骤，直至处理完被测代码的所有循环体。同时本发明还公开了一种软件测试中循环代码的处理系统。本发明灵活性高、能够节省人力成本、避免路径爆炸。
-
公开(公告)号：CN102073589B
公开(公告)日：2013-07-03
申请号：CN201010622730.7
申请日：2010-12-29
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于代码静态分析的数据竞争检测方法及系统，该方法包括：读取待测软件，对待测软件源程序进行静态分析，生成待测软件的抽象语法树、控制流图、全局函数调用图；在此基础之上计算每个函数内部的别名信息、函数间出口别名信息、锁集合信息、函数内部访问可逃逸变量的访问链以及线程创建关系图；根据访问链计算每两个线程之间访问节点的初始化语句对集合；根据别名信息、锁集合信息、并发关系对该集合进行逐步删减得到最终可能发生数据竞争的语句对。本发明提供的检测方法与检测系统能对C/C++编写的多线程程序进行有效的数据竞争检测，具有测试精度高和自动化程度高的特点，适用于对两个线程或多个线程导致的数据竞争的检测。
-
公开(公告)号：CN102915271A
公开(公告)日：2013-02-06
申请号：CN201210426628.9
申请日：2012-10-31
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于控制流图的单元回归测试用例集合优化方法，包括：A、在被测单元修改前后的控制流图中找出被修改部分对应的修改点；B、筛选出执行路径经过修改点的测试用例，作为回归测试用例集合的一部分即选择测试用例集Tselected，运行集合中的所有测试用例；C、计算修改点的所有可达后继节点，选出步骤B运行过程中未被覆盖的节点子集N；D、若N为空，执行步骤F，否则执行步骤E；E、从N中取出一个节点作为覆盖目标生成测试用例，将其加入新增测试用例集合Tnew并运行完毕，更新N，删除在此次运行中已被覆盖的节点，返回步骤D；F、回归测试用例集合TR构造完毕。应用本发明，能够提高回归测试的效率，并保证回归测试的有效性与充分性。
-
公开(公告)号：CN101309441B
公开(公告)日：2012-11-14
申请号：CN200710099324.5
申请日：2007-05-16
Applicant: 北京邮电大学
Abstract: 本发明公开了一种基于用户位置及呼叫中心的信息搜索系统，包括：用户注册管理单元，提供用户的注册信息；呼叫接入单元，用于用户的呼叫接入，接收用户选择的业务请求；地图单元，连接于地图服务器；地图服务器，用于提供电子地图信息，接收地图单元的调用并向其返回地图信息；终端适配单元，根据呼叫接入单元发送的用户终端相关信息获得终端显示特性信息；业务逻辑单元，接收业务搜索请求和用户定位请求，生成相应的请求信息并分发对应网关；接收响应数据和用户位置信息、地图信息和终端显示信息，向用户返回搜索结果；网关及网络支持单元，向业务逻辑单元提供业务数据和定位信息。本发明实现简单并方便了移动用户的生活。
-
Patent Agency Ranking
-
公开(公告)号：CN102419728A
公开(公告)日：2012-04-18
申请号：CN201110338915.X
申请日：2011-11-01
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供一种基于覆盖率量化指标确定软件测试过程充分性的方法，包括：A、对被测程序进行预编译、词法分析和语法分析，得到程序的抽象语法树、控制流图和函数之间的调用关系图，并根据用户测试需求，自动生成被测单元；B、根据覆盖准则，从所述抽象语法树和控制流图中提取被测单元中相应的待覆盖元素集合；C、根据所述的覆盖准则，在被测单元的程序中插入相应的探针函数；D、根据用户测试需求，选择系统自动执行或用户手动执行的方式对插入探针函数的被测单元进行动态测试；E、根据动态测试执行的返回信息，得到测试单元的被覆盖元素集合，并计算被测单元的覆盖率。应用该方法，能够提高软件评估测试的效率和准确性。
-
公开(公告)号：CN101106604B
公开(公告)日：2010-12-01
申请号：CN200710099028.5
申请日：2007-05-09
Applicant: 北京邮电大学
Abstract: 本发明公开了一种基于扩展呼叫处理语言(CPL)的翻译器，包括系统总控模块，用于对获取的扩展CPL业务脚本进行翻译，并创建配置模块和翻译总控模块。在本发明系统上采用的方法包括以下步骤：在终端建立业务开发环境，根据预设置的扩展CPL，基于扩展CPL编写扩展CPL业务脚本；终端将封装扩展CPL业务脚本的信息发送给翻译器，翻译器翻译扩展CPL业务脚本并转换成底层代码；翻译器将底层代码发送给业务服务器，并在业务服务器上部署业务，业务服务器执行底层代码实现与其相应的所述业务。采用本发明的翻译器以及系统、方法，提供了对多业务接入的支持，使业务服务器能触发并实现用户的多种业务请求。
-
公开(公告)号：CN101068243B
公开(公告)日：2010-05-19
申请号：CN200710065357.8
申请日：2007-04-12
Applicant: 北京邮电大学
Abstract: 本发明公开了一种处理网关层与业务层的消息交互系统以及发送、接收方法，所述系统包括协议网关层与业务应用层，其中该系统还包括消息分发层，用于实现协议网关层与业务应用层之间进行消息交互时消息的处理及转发；消息分发层中进一步包括用于实现协议网关层上报的统一接口、以及业务应用层调用的统一返回地址的接口模块，所述消息分发层通过所述接口模块与所述协议网关层、所述业务应用层相连。采用本发明处理网关层与业务层的消息交互系统以及发送、接收方法，能通过设置消息分发层，并与设置在该消息分发层中的接口模块相匹配，实现统一接口以及调用的返回地址，更好的提供对多业务以及网络承载能力的支持。
-
公开(公告)号：CN101022377A
公开(公告)日：2007-08-22
申请号：CN200710002989.X
申请日：2007-01-31
Applicant: 北京邮电大学
Abstract: 本发明公开了一种基于服务关系本体的交互式服务创建方法，从至少三个视角分析服务的关联关系，以分析出的关联关系创建服务关系本体；包括：A.收到用户的服务请求后，解析服务请求中输入参数的语义，根据所解析的语义确定服务涉及的主题；B.根据步骤A中确定的服务主题在服务关系本体中确定匹配的候选服务；C.将匹配候选服务的结果及结束服务确认返回至用户，若用户选择候选服务，则将所选择的候选服务作为新的服务请求，返回步骤A；若用户选择结束服务，则结束服务创建流程。本发明可向用户提供与其服务请求主题相关的系列服务，服务提供智能化，缩小了匹配服务的搜索空间，向用户提供精确服务的同时，节约了处理资源，提升了处理效率。
-
-
-
-
-
-
-
-
-
Search Results
118
records
(took 0.025 seconds)
