%0 Journal Article
%T 一种用于循环程序形式化验证的划分归纳方法
%A 钟杨
%A 宋国新
%A 计春雷
%J 华东理工大学学报
%D 2008
%X 为了提高软件的可靠性,人们一直在形式化验证和软件测试两个方面进行不懈的努力.本文利用划分测试中的自动分割替代技术,针对循环程序的输入域,提出了一种划分算法,并在此算法的结果上建立一种划分归纳方法,它能简化循环程序的形式化验证过程.
%K 软件可靠性
%K 形式化验证
%K 划分算法
%K 划分归纳方法
%U http://journal.ecust.edu.cn/ch/reader/view_abstract.aspx?file_no=200806242&flag=1