| 一种用于循环程序形式化验证的划分归纳方法 |
| |
| 引用本文： | 钟杨,宋国新,计春雷. 一种用于循环程序形式化验证的划分归纳方法[J]. 华东理工大学学报(自然科学版), 2008, 34(6): 834-836 |
| |
| 作者姓名： | 钟杨 宋国新 计春雷 |
| |
| 作者单位： | 华东理工大学信息科学与工程学院,上海,200237;华东理工大学信息科学与工程学院,上海,200237;上海电机学院,上海,200240 |
| |
| 基金项目： | 国家自然科学基金 |
| |
| 摘 要： | 为了提高软件的可靠性,人们一直在形式化验证和软件测试两个方面进行不懈的努力.本文利用划分测试中的自动分割替代技术,针对循环程序的输入域,提出了一种划分算法,并在此算法的结果上建立一种划分归纳方法,它能简化循环程序的形式化验证过程.
|
| 关 键 词： | 软件可靠性 形式化验证 划分算法 划分归纳方法 |
A Partition Induction for the Formal Verification of Loop Programs |
| |
| ZHONG Yang,SONG Guo-xin,JI Chun-lei. A Partition Induction for the Formal Verification of Loop Programs[J]. Journal of East China University of Science and Technology, 2008, 34(6): 834-836 |
| |
| Authors: | ZHONG Yang SONG Guo-xin JI Chun-lei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
