分割图描述的正确性验证

摘要：

提出了针对决定性应用程序分割图描述的一种程序正确性验证方法.该方法把经过验证的分割图描述自动转换成C语言程序,在分割图级别上能够比较容易地构造程序模块的验证条件.

关键词：模块验证、程序正确性、分割图

分类号：TN91

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：25-29