基于断言的程序正确性检测工具

刘杰; 余童兰

首页> 中文期刊> 《电脑与信息技术》 >基于断言的程序正确性检测工具

基于断言的程序正确性检测工具

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

文章提出了程序断言检测工具设计方案和基于断言的程序正确性检测步骤.该工具的基本原理是Floyd提出的"用断言式方法"证明程序的正确性的方法,通过一个断言发现工兵从程序中发现该程序断言,然后与程序要求满足的断言条件比较,判明其正确性.该工具在复杂条件下对程序正确性判断和大量重复程序检测上能发挥重要的作用.

著录项

来源
《电脑与信息技术》 |2007年第5期|14-16,21|共4页
作者
刘杰; 余童兰;
展开▼
作者单位

南华大学计算机科学与技术学院,湖南,衡阳,421001;

南华大学计算机科学与技术学院,湖南,衡阳,421001;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计;
关键词
程序正确性; 检测; 断言;

相似文献

中文文献
外文文献
专利

1. 程序断言动态检测工具的设计与实现 [J] . 刘树锟 ,阳小华 ,陈继锋 . 计算机应用研究 . 2009,第011期
2. 基于最弱前置条件的程序正确性分析 [J] . 郭莎莎 ,侯春燕 ,王劲松 . 高技术通讯 . 2019,第006期
3. 基于符号约束的PLC程序正确性验证 [J] . 张晔 ,陆余良 . 计算机科学 . 2017,第0z2期
4. 基于Kripke结构的程序正确性证明 [J] . 林杰 ,余建坤 . 计算机应用 . 2011,第005期
5. 基于程序正确性的演算方法 [J] . 任彦芳 ,杨静 ,索丙芮 . 计算机工程与设计 . 2009,第017期
6. 一种基于语境的程序正确性验证算法的研究与实现 [C] . 尹顺顺 ,马殿富 ,赵永望 . 全国抗恶劣环境计算机第二十四届学术年会 . 2014
7. 基于Petri网的软件解析工具实现和程序正确性测试 [A] . 陈泉源 . 2014

基于断言的程序正确性检测工具

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅