-
公开(公告)号：CN104598381B
公开(公告)日：2018-01-02
申请号：CN201510039889.9
申请日：2015-01-26
申请人： 中国人民解放军理工大学
IPC分类号： G06F11/36
摘要： 本发明属于软件测试领域，具体地公开了一种蜕变测试中失效测试用例的定位方法，首先从测试用例集中选择一个测试用例作为原始测试用例，再由前述原始测试用例根据蜕变关系集中的蜕变关系的输入关系，生成附加测试用例，根据被测软件的输出结果来验证蜕变关系的输出关系是否满足，并记录不满足的蜕变关系的测试用例并用非零值对其标记；然后，根据蜕变关系的验证结果标记值，计算该测试用例的可疑度。接着，以同样的方法对其它测试用例进行逐个遍历验证，并且计算其可疑度值。最后，可疑度最大的测试用例为失效测试用例。本发明提供的蜕变测试中失效测试用例的定位技术简单明了、易实现，通过可疑度的定量计算，为失效测试用例提供精准、有效的定位。
-
公开(公告)号：CN106547696A
公开(公告)日：2017-03-29
申请号：CN201610957561.X
申请日：2016-10-28
申请人： 中国人民解放军理工大学
IPC分类号： G06F11/36
CPC分类号： G06F11/3684 , G06F11/3688
摘要： 本发明提供一种面向工作流系统的测试用例生成方法及装置，其中，所述方法包括：基于带输入输出约束的工作流系统，建立Petri网模型；根据分支‑聚合对，将所述Petri网模型划分为多个片段；若划分的片段中存在分支‑聚合对，继续对该片段进行划分，以得到所述Petri网模型对应的模型分解树；遍历所述模型分解树，生成与所述模型分解树相对应的测试序列集合；根据所述测试序列集合中每条测试序列包含的输入输出信息，生成测试用例。本发明提供的一种面向工作流系统的测试用例生成方法及装置，能够解决现有技术中测试技术针对性不强、工作流系统测试充分性低的问题，以提高系统的测试效率。
-
公开(公告)号：CN103713997B
公开(公告)日：2016-08-24
申请号：CN201310556853.9
申请日：2013-11-08
申请人： 中国人民解放军理工大学
IPC分类号： G06F11/36
摘要： 本发明公开了一种蜕变关系形式化描述与分解方法，包括如下步骤：（1）根据目标被测软件，抽取和设计软件必须满足的蜕变关系，创建蜕变关系；（2）基于符号逻辑对得到的蜕变关系进行形式化建模：首先确定蜕变关系成立的约束条件，并进行形式化描述；然后基于符号逻辑描述蜕变关系的输入参数和输出参数，建立蜕变关系形式化描述模型；（3）基于形式化模型，分别提取出构成蜕变关系的子关系以及蜕变关系构成模型的集合描述形式，建立蜕变关系分解模型。本发明简单明了，通过符号逻辑描述，保证了形式化模型的描述能力和适用范围，为蜕变关系描述提供了精确、规范、有效的方法，更有助于后续的蜕变测试的自动化实施。
-
公开(公告)号：CN106547696B
公开(公告)日：2019-05-28
申请号：CN201610957561.X
申请日：2016-10-28
申请人： 中国人民解放军理工大学
IPC分类号： G06F11/36
摘要： 本发明提供一种面向工作流系统的测试用例生成方法及装置，其中，所述方法包括：基于带输入输出约束的工作流系统，建立Petri网模型；根据分支‑聚合对，将所述Petri网模型划分为多个片段；若划分的片段中存在分支‑聚合对，继续对该片段进行划分，以得到所述Petri网模型对应的模型分解树；遍历所述模型分解树，生成与所述模型分解树相对应的测试序列集合；根据所述测试序列集合中每条测试序列包含的输入输出信息，生成测试用例。本发明提供的一种面向工作流系统的测试用例生成方法及装置，能够解决现有技术中测试技术针对性不强、工作流系统测试充分性低的问题，以提高系统的测试效率。
-
公开(公告)号：CN103713999B
公开(公告)日：2016-07-27
申请号：CN201310611663.2
申请日：2013-11-27
申请人： 中国人民解放军理工大学
IPC分类号： G06F11/36
摘要： 本发明公开了一种基于定量度量的蜕变关系测试优先级排序方法，首先基于测试覆盖，从蜕变关系输入关系的入度进行度量，然后从输出关系的复杂性进行度量，最后从输入关系中相关测试输入之间的距离进行度量。最终，得到蜕变关系的三个有效性度量元。当三者之间的结果不一致时，按照PIR(InD(IR))>PIR(AC(OR))>PIR(Dis(IR))顺序进行排序。通过这三个度量元，无须先验测试执行，就可以实现对蜕变关系测试优先级的快速排序。本发明提供的蜕变关系测试优先级排序的方法，为蜕变关系有效性度量提供了定量依据，并且为测试优先级的设定提供了可行的手段。通过定量度量，相对于传统的经验结论更加简单明了、精确、可行，保证了优先级设计的适用范围，为蜕变关系的选择和排序提供了精确、有效的方法。
-
公开(公告)号：CN103713999A
公开(公告)日：2014-04-09
申请号：CN201310611663.2
申请日：2013-11-27
申请人： 中国人民解放军理工大学
IPC分类号： G06F11/36
摘要： 本发明公开了一种基于定量度量的蜕变关系测试优先级排序方法，首先基于测试覆盖，从蜕变关系输入关系的入度进行度量，然后从输出关系的复杂性进行度量，最后从输入关系中相关测试输入之间的距离进行度量。最终，得到蜕变关系的三个有效性度量元。当三者之间的结果不一致时，按照PIR(InD(IR))＞PIR(AC(OR))＞PIR(Dis(IR))顺序进行排序。通过这三个度量元，无须先验测试执行，就可以实现对蜕变关系测试优先级的快速排序。本发明提供的蜕变关系测试优先级排序的方法，为蜕变关系有效性度量提供了定量依据，并且为测试优先级的设定提供了可行的手段。通过定量度量，相对于传统的经验结论更加简单明了、精确、可行，保证了优先级设计的适用范围，为蜕变关系的选择和排序提供了精确、有效的方法。
-
公开(公告)号：CN103713997A
公开(公告)日：2014-04-09
申请号：CN201310556853.9
申请日：2013-11-08
申请人： 中国人民解放军理工大学
IPC分类号： G06F11/36
摘要： 本发明公开了一种蜕变关系形式化描述与分解方法，包括如下步骤：（1）根据目标被测软件，抽取和设计软件必须满足的蜕变关系，创建蜕变关系；（2）基于符号逻辑对得到的蜕变关系进行形式化建模：首先确定蜕变关系成立的约束条件，并进行形式化描述；然后基于符号逻辑描述蜕变关系的输入参数和输出参数，建立蜕变关系形式化描述模型；（3）基于形式化模型，分别提取出构成蜕变关系的子关系以及蜕变关系构成模型的集合描述形式，建立蜕变关系分解模型。本发明简单明了，通过符号逻辑描述，保证了形式化模型的描述能力和适用范围，为蜕变关系描述提供了精确、规范、有效的方法，更有助于后续的蜕变测试的自动化实施。
-
公开(公告)号：CN106528815B
公开(公告)日：2019-07-02
申请号：CN201611020547.3
申请日：2016-11-14
申请人： 中国人民解放军理工大学
IPC分类号： G06F16/22 , G06F16/2458 , G06F16/2455
摘要： 本发明提供一种路网移动对象概率聚集查询方法及系统，其中，所述方法包括：对采样数据分别进行流处理和批处理；根据批处理后的采样数据构建时空索引；构建非重复计数聚集索引结构；在所述非重复计数聚集索引结构中查找与用户的查询请求中的查询区域相交的所有目标bucket；确定各个所述目标bucket对应的sketch数量以及所述查询区域对应的sketch数量；生成所述查询区域中各个路段对应的sketch值；计算所述查询区域的全局sketch值，并将所述全局sketch值转换为与所述查询请求相对应的移动车辆的近似聚集值。本发明提供的路网移动对象概率聚集查询方法及系统，能够将存储移动对象个体轨迹的批处理技术融入到路网数据流近似聚集查询中，以提高查询精度。
-
公开(公告)号：CN106528815A
公开(公告)日：2017-03-22
申请号：CN201611020547.3
申请日：2016-11-14
申请人： 中国人民解放军理工大学
IPC分类号： G06F17/30
CPC分类号： G06F16/24568 , G06F16/2264 , G06F16/2462
摘要： 本发明提供一种路网移动对象概率聚集查询方法及系统，其中，所述方法包括：对采样数据分别进行流处理和批处理；根据批处理后的采样数据构建时空索引；构建非重复计数聚集索引结构；在所述非重复计数聚集索引结构中查找与用户的查询请求中的查询区域相交的所有目标bucket；确定各个所述目标bucket对应的sketch数量以及所述查询区域对应的sketch数量；生成所述查询区域中各个路段对应的sketch值；计算所述查询区域的全局sketch值，并将所述全局sketch值转换为与所述查询请求相对应的移动车辆的近似聚集值。本发明提供的路网移动对象概率聚集查询方法及系统，能够将存储移动对象个体轨迹的批处理技术融入到路网数据流近似聚集查询中，以提高查询精度。
-
公开(公告)号：CN106570062B
公开(公告)日：2021-01-05
申请号：CN201610878510.8
申请日：2016-10-08
申请人： 中国人民解放军理工大学
IPC分类号： G06F16/2458 , G06Q10/04
摘要： 本发明提供一种路网轨迹不确定移动对象范围查询系统及方法，所述系统与定位设备相连，所述系统包括相连的数据存储与索引模块以及查询处理模块，其中：所述数据存储与索引模块用于将所述定位设备获取的路网移动对象的位置数据存储至交通路网资源库并构建时空索引；所述查询处理模块用于接收用户的查询请求，并将所述查询请求进行剪枝处理、路径查询以及位置概率计算后，将处理的结果返回给所述用户。本发明提供的一种路网轨迹不确定移动对象范围查询系统及方法，能够具有更高查准率和查全率，同时查询效率更高。
-
-
-
-
-
-
-
-
-
搜索结果
12 条记录 (耗时 0.029 秒)