摘要
文章提出了程序断言检测工具设计方案和基于断言的程序正确性检测步骤。该工具的基本原理是Floyd提出的"用断言式方法"证明程序的正确性的方法,通过一个断言发现工具从程序中发现该程序断言,然后与程序要求满足的断言条件比较,判明其正确性。该工具在复杂条件下对程序正确性判断和大量重复程序检测上能发挥重要的作用。
This paper proposes a scheme of program assertion detecting tool base on "by assertion"( proposed by Floyd), which is used to verify program validity.The tool compares the detected assertion with the expected assertion and then judge the validity of one program.The tool is very useful when applied in compound condition or batch process.
出处
《电脑与信息技术》
2007年第5期14-16,21,共4页
Computer and Information Technology
基金
湖南省自然科学基金项目(编号:05JJ30117)
湖南省教育厅科研项目(编号:04C552)
关键词
程序正确性
检测
断言
program validity
verify
assertion