首页> 中国专利> 一种数值程序蜕变关系的自动识别方法

一种数值程序蜕变关系的自动识别方法

页面导航

摘要
著录项
相似文献

摘要

本发明提出了一种数值程序蜕变关系(Metamorphic Relation，MR)的自动识别方法，包括以下步骤：(1)基于问题域的输入模式分析；(2)基于随机方法的初始测试输入生成；(3)基于基因表达式编程(Gene Expression Programming，GEP)的输出模式挖掘。本发明将蜕变关系的识别分解为输入模式分析和输出模式挖掘两个步骤，降低了蜕变关系识别难度。依据数值程序特点，给出四种输入模式的识别途径，避免随意地构造蜕变关系的问题；运用领域知识建立对验证有意义的输入模式，克服解空间庞大，求解效率低的问题；引入GEP自动搜索输出模式，克服MR识别结果随机性大、有效性低的问题。

著录项

公开/公告号CN113792878A

专利类型发明专利
公开/公告日2021-12-14

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

申请/专利号CN202110950800.X
发明设计人李萌;王丽君;阳小华;闫仕宇;刘杰;万亚平;李丰源;任长安;陈珍平;谢金森;赵鹏程;于涛;
展开▼

申请日2021-08-18
分类号G06N5/00(20060101);G06N5/02(20060101);
代理机构43210 长沙新裕知识产权代理有限公司;
代理人刘加
地址 421001 湖南省衡阳市蒸湘区常胜西路28号
入库时间 2023-06-19 13:43:30

相似文献

专利
中文文献
外文文献

1. 一种数值程序蜕变关系的自动识别方法 [P] . 中国专利： CN113792878A . 2021-12-14
2. 用于并行程序蜕变测试的蜕变关系优先级排序方法 [P] . 中国专利： CN105843744A . 2016-08-10
3. NUMERICAL VALUE RECOGNITION APPARATUS, NUMERICAL VALUE RECOGNITION METHOD, AND NUMERICAL VALUE RECOGNITION PROGRAM [P] . 日本专利： JP2016173760A . 2016-09-29

机译：数值识别装置，数值识别方法和数值识别程序
4. MARK TYPE NUMERAL RECOGNIZING METHOD FOR ADAPTATION TO AUTOMATIC NUMERAL PROCESSING [P] . 日本专利： JP2002032725A . 2002-01-31

机译：适应自动数值处理的标记型数值识别方法
5. JAPANESE ABACUS RECOGNIZER, NUMERIC VALUE RECOGNITION METHOD FOR ABACUS, ABACUS RECOGNITION SYSTEM, NUMERIC VALUE RECOGNITION PROGRAM FOR ABACUS, AND COMPUTER READABLE MEDIUM [P] . 日本专利： JP2008123421A . 2008-05-29

机译：日语ABACUS识别器，ABACUS的数值识别方法，ABACUS识别系统，ABACUS的数值识别程序和计算机可读介质