程序正确性相关论文
本文利用程序设计方法学的断言,逐步推导论证了一个正确的程序设计,并修正了McCarthy91函数的定义,严密地叙述该定义的函数值的范......
软件开发过程需要保证程序满足正确性规约。目前主要有软件测试、模型检验等技术用于程序的正确性保证。软件测试通过测试用例集来......
随着计算机技术特别是网络技术的迅速发展及其在教育领域中的广泛应用,CAI(ComputerAssisted Instruction)和 e-Learning 得到了飞......
目前计算机软件的发展受着多种因素的影响,它滞后于硬件,其安全性、可靠性和稳定性一直是人们关注的几个重要问题。随着软件的大型......
动态更新的研究已变得越来越重要，应用程序生命周期中需要不断进行更新，以修复程序中的错误或者为其添加新的功能。一般更新方式是关......
类型系统能检出合法程序的语义错误，可以缩短调试时间，在执行程序之前捕获代码中的错误。类型系统的理论基础是类型化的λ演算。带子......
随着软件的不断更新迭代,软件正确性检测的必要性愈加凸显,软件正确性检测的处理时间直接决定软件的维护成本。动态测试的断言编写......
介绍了数控代码语法检查及图形仿真系统的实现方法以及有关的技术,并使用VisualC++和OpenGL技术研制了一个数控代码语法检查及图形......
这篇文章指出了违反刑事诉讼司法程序的程序正确性法律结果的定义。作者觉得,程序正确性法律结果使得刑事诉讼法变为具有完备和自......
介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程......
文章提出了程序断言检测工具设计方案和基于断言的程序正确性检测步骤。该工具的基本原理是Floyd提出的＂用断言式方法＂证明程序的正......
程序的完全正确性包括程序的部分正确性和终止性，为了提高程序验证的正确性，介绍了程序正确性的验证方法，包括基于公理化验证程序的完......
进行多轴加工时，NC程序正确性无法通过人力来识别。试件加工中NC程序的正确性对机床安全有重要影响。基于VERICUT平台，构建数控机床......
With在《算法+数据结构=程序》一书中关于“对半检索”程序中给出了一个不变式，但该不变式是不完善的。本文对此予以了修正，并通过一......
介绍了 Dijkstra 的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行，先确定好描述程序功能的断言，再......
对三维复杂曲面的数控加工,除了对数控机床要求多轴联动外,程序的编制是加工中的关键问题之一,在很大程度上决定了零件的加工精度......
契约式编程在数控宏程序中被广泛应用，以保证复杂条件下的程序正确性，是一个非常有用的编程手段。但是如何正确有效地制订程序契约却......
许多程序验证问题都可以被归结为精化验证,即证明一个较具体的程序不会比一个较抽象的程序产生更多的行为。本文发掘了在并发环境......
重点讨论了与程序验证相关的问题，并结合已有的求取循环不变式的方法给出了求已知循环程序的循环不变式的原则。......
随着计算机技术的快速发展和普及,软件系统已经成为这个社会不可缺少的一部分。与此同时,软件质量的问题也日益突出,特别的,对于用......
