一种用于循环程序形式化验证的划分归纳方法

• 作者: 宋国新 计春雷 钟杨
• 来源期刊: 华东理工大学学报(自然科学版)
• 学科: 工学
• 关键词: 软件可靠性 形式化验证 划分算法 划分归纳方法
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 信息科学与工程
• 页码范围: 834-836
• 页数: 3页
• 分类号: TP311
• 字数: 2536字
• 语种: 中文

摘要

为了提高软件的可靠性,人们一直在形式化验证和软件测试两个方面进行不懈的努力.本文利用划分测试中的自动分割替代技术,针对循环程序的输入域,提出了一种划分算法,并在此算法的结果上建立一种划分归纳方法,它能简化循环程序的形式化验证过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋国新	华东理工大学信息科学与工程学院	62	256	9.0	12.0
2	计春雷	华东理工大学信息科学与工程学院	6	15	2.0	3.0
6	钟杨	华东理工大学信息科学与工程学院	1	0	0.0	0.0