-
公开(公告)号：CN101534292A
公开(公告)日：2009-09-16
申请号：CN200810101763.X
申请日：2008-03-11
Applicant: 北京邮电大学
Abstract: 本发明公开了一种文件接收的方法，包括：a.向管理服务器发送互联交换请求；b.对来自管理服务器的交换信息进行解析；c.根据解析得到的交换信息参数对来自文件发送网关的文件进行接收；d.对文件的接收过程进行监控并生成文件接收结果；e.将文件接收结果上报给管理服务器。本发明还提供了一种互联与交换系统和互联与交换网关，由互联与交换网关对数字媒体内容的传输过程进行控制，采用断点续传机制，提高了数字媒体内容传输的可靠性；对传输过程中的数字媒体内容进行加密，提高了数字媒体内容传输的安全性。
-
公开(公告)号：CN101309441A
公开(公告)日：2008-11-19
申请号：CN200710099324.5
申请日：2007-05-16
Applicant: 北京邮电大学
Abstract: 本发明公开了一种基于用户位置及呼叫中心的信息搜索系统，包括：用户注册管理单元，提供用户的注册信息；呼叫接入单元，用于用户的呼叫接入，接收用户选择的业务请求；地图单元，连接于地图服务器；地图服务器，用于提供电子地图信息，接收地图单元的调用并向其返回地图信息；终端适配单元，根据呼叫接入单元发送的用户终端相关信息获得终端显示特性信息；业务逻辑单元，接收业务搜索请求和用户定位请求，生成相应的请求信息并分发对应网关；接收响应数据和用户位置信息、地图信息和终端显示信息，向用户返回搜索结果；网关及网络支持单元，向业务逻辑单元提供业务数据和定位信息。本发明实现简单并方便了移动用户的生活。
-
公开(公告)号：CN101271421A
公开(公告)日：2008-09-24
申请号：CN200710086933.7
申请日：2007-03-22
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 一种软件故障测试系统及方法，该系统包括软件读取模块、控制模块、故障检测模块和确认与统计模块；控制模块根据用户的输入信息向软件读取模块发出指令；软件读取模块读取待测软件并根据控制模块发出的指令将读取的软件程序传送至故障检测模块，故障检测模块对所述程序进行故障检测并将检测结果传送至确认与统计模块进行故障的确认和统计。本发明还同时公开了一种软件故障测试方法。由于本发明的软件测试方法与系统能够对特定的故障类型实施测试，所以能够准确地检测模型中定义的故障，准确地评价故障测试效果，并且能够测试出传统测试方法难以检测的故障。
-
公开(公告)号：CN101237333A
公开(公告)日：2008-08-06
申请号：CN200710002988.5
申请日：2007-01-31
Applicant: 北京邮电大学
Abstract: 本发明公开了一种基于多网络融合的支持多种业务的通用业务平台，包括：业务接入单元，连接于各网络运营商的通信网络，用于接入各种通信业务，提供协议支持并与消息处理单元进行数据交互；消息处理单元，接收业务接入单元的业务请求，判断请求的类型，调用业务引擎单元中的业务实例；接收业务引擎单元发送的业务指令并转发至业务接入单元；业务引擎单元，用于向各通信业务提供运行支持，根据消息处理单元发送的业务调用请求而执行业务，根据执行结果触发新业务请求，并将新请求返回至消息处理单元；管理单元，分别连接于上述各单元并完成对其的协调管理。本发明为各网络运营商提供一共用的平台而实现不同网络服务的融合；该平台更新、维护方便。
-
公开(公告)号：CN108664391A
公开(公告)日：2018-10-16
申请号：CN201810204976.9
申请日：2018-03-13
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供一种面向程序状态的故障分类方法、变异测试方法及设备。所述方法包括：基于待测源程序的语法对应的变异算子，为所述待测源程序的每条语句构造故障节点集和状态变异点集；基于所述故障节点集、所述状态变异点集、所述每条语句的状态变异之间的触发关系和传播关系，构造所述待测源程序的变异流图；根据所述变异流图的直接后向支配关系，构造故障类支配树，以对所述待测源程序进行故障分类。本发明从一般性的故障测试原理出发，对故障程序进行分类排序，同时支持多种类型的变异算子，具有较好的可扩展性，进而减少测试次数、优化故障集、简化故障分析成本，可以提升变异测试效率。
-
Patent Agency Ranking
公开(公告)号：CN108563561A
公开(公告)日：2018-09-21
申请号：CN201810215371.X
申请日：2018-03-15
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供一种程序隐性约束提取方法及系统，包括：对于待测程序中的任一函数，将任一路径上的入口节点作为当前节点；获取当前节点与任一函数对应的抽象语法树上对应的当前语法节点，若当前语法节点包含目标变量，获取目标变量类型，根据目标变量类型和作用于目标变量的运算符类型匹配隐性约束规则，提取目标变量的隐性约束；否则，将当前节点的下一个节点重新作为当前节点，重复上述步骤，直到任一路径的出口节点为当前节点。本发明提出一种程序隐性约束提取方法及系统，可以实现隐性约束的提取，可以在一定程度上减小目标变量的搜索空间，保证生成测试数据的正确性，进而确保后续测试数据顺利执行。
-
公开(公告)号：CN104809067B
公开(公告)日：2017-11-17
申请号：CN201510229658.4
申请日：2015-05-07
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供一种面向等式约束的测试用例生成方法和装置，测试用例生成方法包括：接收测试用例生成请求，生成请求中携带待测程序；获取待测程序的预定路径、表达式列表、预定路径中的各个变量及各个变量的第一取值区间；根据表达式列表中的等式，确定等式约束的第一系数矩阵及第一增广矩阵；判断第一系数矩阵的秩是否小于第一增广矩阵的秩；若否，则对各个变量进行回退运算，确定各个变量的第二取值区间；判断各个变量的第二取值区间的边界值是否相等；若相等，则根据各个变量的第二取值区间生成测试用例。本发明提供的面向等式约束的测试用例生成方法和装置，生成测试用例的过程无需人工干预，速度快，效率高，可对待测程序实现100％覆盖。
-
公开(公告)号：CN104915293B
公开(公告)日：2017-10-20
申请号：CN201510325619.4
申请日：2015-06-12
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供一种基于仿射运算的软件测试方法及系统，该方法包括：确定被测程序的抽象语法树；遍历分析抽象语法树，获取对应的符号表和控制流图；根据符号表确定被测程序的输入变量和全局变量，并分别赋予输入变量和全局变量初始取值范围，输入变量和全局变量的取值范围以数值的区间形式表示；将输入变量和全局变量取值范围的区间表示形式转换为仿射表示形式；根据控制流图确定路径集合，并对路径集合中的每条路径进行逐节点的变量仿射形式运算，输出每条路径对应的变量以及变量取值范围；在每条路径对应的变量的取值范围中取值，生成测试用例，并根据测试用例对被测程序进行测试。提高了变量取值范围和软件测试结果的精确性。
-
公开(公告)号：CN104360938B
公开(公告)日：2017-10-20
申请号：CN201410564479.1
申请日：2014-10-21
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种故障确认方法及其系统，所述方法包括：S1、利用预设故障模式，在静态分析过程中匹配出疑似故障点，对所述疑似故障点进行筛选后标注在被测程序的控制流图中；S2、在所述疑似故障点添加故障触发条件，形成故障节点，构造故障路径，并将新生成的故障节点添加到所述控制流图中，并作标记；S3、通过预设的路径选择策略，计算每个疑似故障点分别在每个节点的权重；S4、遍历控制流图，根据每个故障点在当前节点的权重选择故障路径，并对选择的路径的每个节点提取约束来指导动态执行的取值，对每个疑似故障点进行确认。该方法在执行过程中利用选路策略和动态符号执行技术相结合，指导程序高效的覆盖故障条件节点，从而提高确认故障效率。
-
公开(公告)号：CN102708052B
公开(公告)日：2017-10-20
申请号：CN201210127772.2
申请日：2012-04-27
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供了一种单元测试中软件故障自动定位方法，包括：A、采用一组满足覆盖需求的测试用例，执行被测程序，判断测试用例的执行结果是否和预期结果一致；B、根据各测试用例对应的执行路径，分析路径上的边信息，确定由路径上的边组成的可疑空间；C、统计可疑空间中每条边被通过和未通过的测试用例覆盖的次数，计算指定执行模式下，每条边的可疑度；D、由边的可疑度计算其相邻语句节点的可疑度；E、按照可疑度的大小对故障节点进行排序，并依次映射到被测程序中生成故障定位报告，辅助用户检查故障。采用本方法，能够降低语句分析的计算工作量，并且考虑到语句节点之间的逻辑关系，提高故障定位的效率。
-
-
-
-
-
-
-
-
-
Search Results
118
records
(took 0.021 seconds)
