-
公开(公告)号：CN104809067A
公开(公告)日：2015-07-29
申请号：CN201510229658.4
申请日：2015-05-07
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供一种面向等式约束的测试用例生成方法和装置，测试用例生成方法包括：接收测试用例生成请求，生成请求中携带待测程序；获取待测程序的预定路径、表达式列表、预定路径中的各个变量及各个变量的第一取值区间；根据表达式列表中的等式，确定等式约束的第一系数矩阵及第一增广矩阵；判断第一系数矩阵的秩是否小于第一增广矩阵的秩；若否，则对各个变量进行回退运算，确定各个变量的第二取值区间；判断各个变量的第二取值区间的边界值是否相等；若相等，则根据各个变量的第二取值区间生成测试用例。本发明提供的面向等式约束的测试用例生成方法和装置，生成测试用例的过程无需人工干预，速度快，效率高，可对待测程序实现100％覆盖。
-
公开(公告)号：CN104778642A
公开(公告)日：2015-07-15
申请号：CN201510125846.2
申请日：2015-03-20
Applicant: 北京邮电大学
Abstract: 本发明公开了一种基于WiFi的校园用户数据处理方法、服务器和监测系统。该方法包括：通过设置在监测区域的WiFi探针获取包括网卡MAC地址、信号强度、时间戳和WiFi探针地理位置的原始用户数据记录；对原始用户数据记录进行预处理，去除无效用户数据后获得有效用户数据记录；基于有效用户数据记录形成监测场所的实时到访记录，所述实时到访记录中包括由所述时间戳生成的到访开始时间和到访结束时间；根据WiFi探针地理位置和监测场所的实时到访记录中的到访开始时间统计用户进入以及/或者离开监控区域的次数。本发明利用部署在校园内典型监测场所的WiFi探针收集到的实时校园数据进行数据挖掘，判断用户的具体行为。
-
公开(公告)号：CN103176905A
公开(公告)日：2013-06-26
申请号：CN201310128097.X
申请日：2013-04-12
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种缺陷关联方法，包括：从缺陷报告中提取缺陷对应的代码块，根据所提取的代码块生成缺陷相关代码块序列信息库；获取所述缺陷相关代码块序列信息库的基本频繁子序列，并消除所述基本频繁子序列中不满足约束条件的频繁子序列；依据当前频繁子序列对应的缺陷，对缺陷报告中的缺陷进行分组；根据预设的缺陷关联模式，精化分组的缺陷。本发明同时还公开了一种缺陷关联装置。采用本发明的技术方案，可以对缺陷进行精确的分组。
-
公开(公告)号：CN102841846A
公开(公告)日：2012-12-26
申请号：CN201210309446.3
申请日：2012-08-27
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供了一种基于Hadoop的软件测试方法、装置和系统，所述方法包括：管理服务器接收用户终端发来的待测软件和测试请求，将收到的待测软件发给Hadoop分布式文件系统(HDFS)，并根据收到的测试请求向一个或几个测试服务器发出测试指令；收到测试指令的测试服务器调用自身存储的相应的测试工具，以及从所述HDFS中获取相应的待测软件，控制调用的所述测试工具对获取的所述待测软件进行测试，并将测试结果发送给所述HDFS；管理服务器从所述HDFS获取测试结果，并将获取的测试结果发给用户终端。采用本发明能够使软件测试用户避免购买测试软件，节省测试成本。
-
公开(公告)号：CN104778642B
公开(公告)日：2018-04-13
申请号：CN201510125846.2
申请日：2015-03-20
Applicant: 北京邮电大学
Abstract: 本发明公开了一种基于WiFi的校园用户数据处理方法、服务器和监测系统。该方法包括：通过设置在监测区域的WiFi探针获取包括网卡MAC地址、信号强度、时间戳和WiFi探针地理位置的原始用户数据记录；对原始用户数据记录进行预处理，去除无效用户数据后获得有效用户数据记录；基于有效用户数据记录形成监测场所的实时到访记录，所述实时到访记录中包括由所述时间戳生成的到访开始时间和到访结束时间；根据WiFi探针地理位置和监测场所的实时到访记录中的到访开始时间统计用户进入以及/或者离开监控区域的次数。本发明利用部署在校园内典型监测场所的WiFi探针收集到的实时校园数据进行数据挖掘，判断用户的具体行为。
-
Patent Agency Ranking
公开(公告)号：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、对生成的所述测试用例进行验证。
-
公开(公告)号：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开发环境下直接进行代码缺陷的检测，从而提高了软件开发测试的效率。
-
-
-
-
-
-
-
-
-
Search Results
74
records
(took 0.03 seconds)
