欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
为了提高软件的可靠性，人们一直在形式化验证和软件测试两个方面进行不懈的努力。本文利用划分测试中的自动分割替代技术，针对循环程序的输入域，提出了一种划分算法，并在此算法的结果上建立一种划分归纳方法，它能简化循环程序的形式化验证过程。
英文摘要：
In order to improve software reliability, an unremitting effort has been made on researching fields of formal verification and software test. By using the automatic partition technique in partition test, this paper presents a partition algorithm and constructs a partition induction based on the results that the algorithm generates. This partition induction can simplify the process of formal verification on a loop procedure.
同期刊论文项目
同项目期刊论文
期刊信息
位置：