-
公开(公告)号：CN101005536A
公开(公告)日：2007-07-25
申请号：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两者描述好的业务转换为可以部署运行的程序，快速形成内容丰富、满足需求的通信类业务。
-
公开(公告)号：CN1805485A
公开(公告)日：2006-07-19
申请号：CN200510135100.6
申请日：2005-12-23
Applicant: 北京邮电大学
Abstract: 一种基于呼叫中心坐席与计算机交互的方式为手机用户提供地理信息服务的方法和系统，该系统根据用户位置确定提供服务的呼叫中心坐席，同时为坐席屏幕自动配置与更新地理信息服务数据/图像。实现方法是：根据手机用户拨打的电话，通过手机网络定位用户所在地点，并通过查询GIS数据库获知用户所在区域位置；呼叫中心优先将该呼叫转接至负责该地点的坐席；系统根据该用户当前所在区域及其选择的服务，为坐席预先配置用户需要或感兴趣的数据/图像；当坐席接通用户、提供服务时，系统将预存的数据/图像显示到坐席屏幕，并可向用户发送相关短信/彩信，提供快速响应、个性化、精确化的位置服务，提高基于位置服务的可用性、服务质量。
-
公开(公告)号：CN108563561B
公开(公告)日：2020-06-23
申请号：CN201810215371.X
申请日：2018-03-15
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供一种程序隐性约束提取方法及系统，包括：对于待测程序中的任一函数，将任一路径上的入口节点作为当前节点；获取当前节点与任一函数对应的抽象语法树上对应的当前语法节点，若当前语法节点包含目标变量，获取目标变量类型，根据目标变量类型和作用于目标变量的运算符类型匹配隐性约束规则，提取目标变量的隐性约束；否则，将当前节点的下一个节点重新作为当前节点，重复上述步骤，直到任一路径的出口节点为当前节点。本发明提出一种程序隐性约束提取方法及系统，可以实现隐性约束的提取，可以在一定程度上减小目标变量的搜索空间，保证生成测试数据的正确性，进而确保后续测试数据顺利执行。
-
公开(公告)号：CN104035864B
公开(公告)日：2017-10-20
申请号：CN201310693444.3
申请日：2013-12-17
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于矛盾片段模式的路径生成方法，包括：A、从控制流图中选择本次路径生成的起点作为当前点，然后执行步骤B；B、选择后继点，然后执行步骤C；C、如果成功选到后继点，则执行步骤G；否则执行步骤D；D、查看是否还有前一个点，有则执行步骤E；否则执行步骤F；E、将前一个点设为当前点，然后执行步骤B；F、由于已经回退到起点，所以生成路径失败；G、查看后继点是否是路径的终点，是则成功生成路径；否则执行步骤H；H、将后一个点设置为当前点，然后执行步骤B。采用本发明方法，能够在路径生成过程中快速检测当前路径片段已经是不可达路径，从而大大提高判定不可达路径的效率。
-
公开(公告)号：CN104317708B
公开(公告)日：2017-06-13
申请号：CN201410562727.9
申请日：2014-10-21
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于迭代的区间运算的软件测试用例自动生成方法及系统，包括：S1、读取待测程序中的预定路径，通过遍历所述待测程序的控制流图得到所述预定路径的各个变量的变量取值区间；S2、将所述变量取值区间通过迭代的区间运算遍历所述控制流图，得到各个所述变量的初始稳定变量取值区间；S3、对所述初始稳定变量取值区间中的无穷变量取值区间进行初始化处理，通过迭代的区间运算遍历所述控制流图，并将运算结果保存到所述初始稳定变量取值区间；S4、根据预设的机制对变量进行排序，并确定当前变量；S5、对所述当前变量的初始稳定变量取值区间进行回退运算、迭代的区间运算及回溯运算，生成测试用例；S6、对生成的所述测试用例进行验证。
-
Patent Agency Ranking
公开(公告)号：CN103207833B
公开(公告)日：2016-04-06
申请号：CN201310113328.X
申请日：2013-04-02
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种软件测试中循环代码的处理方法，先依据程序控制流图，查找被测代码的循环体，确定当前循环体的循环体前子路径，再确定当前循环体的所有单条子路径，组合所述单条子路径为组合子路径，所述循环体前子路径与所述组合子路径的集合路径为可达时，确定所述组合子路径为当前循环体的确定子路径，确定所述循环体前子路径与所述确定子路径的集合路径为可达时，生成测试用例，并依据所述测试用例，执行被测代码，捕获所述当前循环体的实际执行路径，重复上述步骤，直至处理完被测代码的所有循环体。同时本发明还公开了一种软件测试中循环代码的处理系统。本发明灵活性高、能够节省人力成本、避免路径爆炸。
-
公开(公告)号：CN102841846B
公开(公告)日：2015-08-19
申请号：CN201210309446.3
申请日：2012-08-27
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供了一种基于Hadoop的软件测试方法、装置和系统，所述方法包括：管理服务器接收用户终端发来的待测软件和测试请求，将收到的待测软件发给Hadoop分布式文件系统(HDFS)，并根据收到的测试请求向一个或几个测试服务器发出测试指令；收到测试指令的测试服务器调用自身存储的相应的测试工具，以及从所述HDFS中获取相应的待测软件，控制调用的所述测试工具对获取的所述待测软件进行测试，并将测试结果发送给所述HDFS；管理服务器从所述HDFS获取测试结果，并将获取的测试结果发给用户终端。采用本发明能够使软件测试用户避免购买测试软件，节省测试成本。
-
公开(公告)号：CN104461864A
公开(公告)日：2015-03-25
申请号：CN201410610811.3
申请日：2014-11-03
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于Eclipse插件的Java源代码缺陷检测方法及其系统，所述方法包括：S1、将检测插件置入到Eclipse平台；S2、在所述检测插件的模式数据库中选择预设的缺陷模式和存储路径；S3、根据所选择的缺陷模式和存储路径，选择所述Eclipse平台中待测试java文件和/或待测试工程并执行检测；S4、分析处理检测结果。该方法可以在Java开发环境下直接进行代码缺陷的检测，从而提高了软件开发测试的效率。
-
公开(公告)号：CN104317710A
公开(公告)日：2015-01-28
申请号：CN201410564233.4
申请日：2014-10-21
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明涉及一种结构测试中被测程序的改造方法及其系统，所述方法包括：S1、根据被测程序的结构生成抽象语法树和控制流图，并得到所述被测程序的输入/输出函数信息；S2、改造被测程序，并在所述被测程序中分别构造驱动函数、桩函数和探针函数；S3、执行所述被测程序，得到所述探针函数的插桩返回信息，根据所述插桩返回信息和所述控制流图分析所述被测程序的路径覆盖情况。该方法通过改造被测函数单元，构造驱动函数，构造桩函数，构造探针函数，使被测程序可独立执行，大大提高了结构测试的自动化程度。
-
-
-
-
-
-
-
-
Search Results
118
records
(took 0.026 seconds)
