【摘 要】
：
文章提出了程序断言检测工具设计方案和基于断言的程序正确性检测步骤。该工具的基本原理是Floyd提出的＂用断言式方法＂证明程序的正确性的方法,通过一个断言发现工具从程序中发
【基金项目】
：
湖南省自然科学基金项目（编号：05JJ30117）湖南省教育厅科研项目（编号：04C552）.
论文部分内容阅读
文章提出了程序断言检测工具设计方案和基于断言的程序正确性检测步骤。该工具的基本原理是Floyd提出的＂用断言式方法＂证明程序的正确性的方法,通过一个断言发现工具从程序中发现该程序断言,然后与程序要求满足的断言条件比较,判明其正确性。该工具在复杂条件下对程序正确性判断和大量重复程序检测上能发挥重要的作用。
其他文献
热电行业作为我国经济的基础,在近几年得到迅猛发展,用于贸易结算的蒸汽流量计伴随热电行业发展达到历史之最,而涡街流量计以其独有的特点在众多流量计中,发展最为迅速.涡街
大部分气体的计量以往大多采用孔板作为一次计量元件,差压变送器作为一次表,信号远传.最近两三年,我厂引进一些新的计量气体的仪表,使用了一些新的气体计量技术.其中,FCI气体
由于石化企业生产设备和工艺特点不同,且我厂所处的地理位置冬夏温差较大,造成在实际生产中对蒸汽大幅度的调整(冬季(60～90)t/h、夏季(5～15)t/h).针对上述情况,选择适宜的蒸汽
主持人:首先,非常感谢<中国计量>杂志给森迈公司和我本人这次机会来主持这一话题的讨论.同时也感谢谢博士和韩处长接受我们的邀请,参加<校准三人行>对话栏目.
北京市朝阳区北三环东路18号，这是一个熟悉计量工作的人差不多都知道的地址。
西门子威迪欧汽车电子(长春)有限公司(简称:SVCC)经过多方考虑和调研,决定采用新的测量方法,结合虚拟仪器技术制作崭新的汽车传感器测试系统:ACPS&ACAM传感器测试系统.
在衡器行业,近几年出现了高科技犯罪.我区近几年共出现了6起此类事件,我衡器检定人员配合公安机关成功破获了一起破坏电子汽车衡计量准确度的案件,犯罪分子受到了法律的制裁.
会计信息失真有广义会计信息失真和狭义会计信息失真之分,但不论哪种失真都违背了客观事实.会计信息失真有其内部原因和外部原因,主要是单位负责人为达到某种目的而采取的违
个人计算机近期最主要的发展之一是使用多处理器以提高计算能力.为了分析个人计算机额外处理器所获得的性能,研究操作系统性能与计算机体系结构的相关性,我们用功能模块设计
《中国计量》“知识竞赛题库”自年第一期刊登截至第六期刊登完,我们所的职工,在所长带领下认翻阅、积极组织学习。我所职工的大部分时间和精力在检定/校准工作上,时间紧、业