首页> 中国专利> 概率有限状态机变异测试用例生成方法

概率有限状态机变异测试用例生成方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明公开了一种概率有限状态机变异测试用例生成方法，包括：定义PFSM原始状态机，并获得PFSM原始状态机的测试用例集；再定义多种变异操作及对应的变异体；所述变异操作至少包括：改变概率、改变迁移目标状态；利用假设检验方法从PFSM原始状态机的测试用例集中选出能够杀死对应变异体的测试用例，生成新的用于杀死变异体的测试用例集。本发明的方法得到的测试用例能够有效地杀死变异体，变异充分度高；同时由于对每个变异体无需判定其是否与原PFSM等价，因此测试时间少。

著录项

公开/公告号CN111930631A

专利类型发明专利
公开/公告日2020-11-13

原文格式PDF
申请/专利权人南宁师范大学;
展开▼

申请/专利号CN202010825454.8
发明设计人陆建波;廖伟志;李松钊;
展开▼

申请日2020-08-17
分类号G06F11/36(20060101);
代理机构11369 北京远大卓悦知识产权代理事务所(普通合伙);
代理人邓雪明
地址 530001 广西壮族自治区南宁市西乡塘区明秀东路175号
入库时间 2023-06-19 08:53:32

法律信息

法律状态公告日

法律状态信息

法律状态
2022-09-09

授权

发明专利权授予

相似文献

专利
中文文献
外文文献

1. 概率有限状态机变异测试用例生成方法 [P] . 中国专利： CN111930631A . 2020-11-13
2. 基于有限状态机网络协议半合法化模糊测试用例生成方法 [P] . 中国专利： CN105095075B . 2017.12.08
3. Effluent e.g. drinking water, composition variability qualifying method for chemical industry, involves attributing probabilities corresponding to total domains of assembly constituted by derivatives and qualifying composition variability [P] . 法国专利： FR2911960A1 . 2008-08-01

机译：废水例如饮用水，化学工业的成分变异性鉴定方法，涉及归因于与由衍生物组成的装配总域和鉴定成分变异性相对应的概率
4. Test case generation device, test case generation method and test case generation program [P] . 德国专利： DE112018006331T5 . 2020-08-27

机译：测试用例生成装置，测试用例生成方法和测试用例生成程序
5. Test case generation device, test case generation method, and test case generation program [P] . 日本专利： JPWO2019142266A1 . 2020-04-16

机译：测试用例生成装置，测试用例生成方法以及测试用例生成程序