[发明专利]概率有限状态机变异测试用例生成方法有效
| 申请号： | 202010825454.8 | 申请日： | 2020-08-17 |
| 公开（公告）号： | CN111930631B | 公开（公告）日： | 2022-09-09 |
| 发明（设计）人： | 陆建波;廖伟志;李松钊 | 申请（专利权）人： | 南宁师范大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京远大卓悦知识产权代理有限公司 11369 | 代理人： | 邓雪明 |
| 地址： | 530001 广西壮族*** | 国省代码： | 广西;45 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种概率有限状态机变异测试用例生成方法，包括：定义PFSM原始状态机，并获得PFSM原始状态机的测试用例集；再定义多种变异操作及对应的变异体；所述变异操作至少包括：改变概率、改变迁移目标状态；利用假设检验方法从PFSM原始状态机的测试用例集中选出能够杀死对应变异体的测试用例，生成新的用于杀死变异体的测试用例集。本发明的方法得到的测试用例能够有效地杀死变异体，变异充分度高；同时由于对每个变异体无需判定其是否与原PFSM等价，因此测试时间少。 | ||
| 搜索关键词： | 概率 有限状态机 变异 测试 生成 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南宁师范大学，未经南宁师范大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010825454.8/，转载请声明来源钻瓜专利网。
- 上一篇：中红外飞秒光纤激光光源系统
- 下一篇：一种用于柴油机发电机组的安装机构
