程序断言相关论文
应用程序生命周期中需要不断进行更新,以修复程序中的错误、添加新的功能、适应环境和需求的变化。传统更新方式需关闭应用程序、......
重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态......
本文主要讨论基于合约的似然程序不变量的内涵，以及通过程序断言动态生成技术来发现程序不变量的意义。在此主要描述基于合约的似然......
如何生成程序断言对于软件验证十分重要。传统方法要求既要对程序结构有深入地把握又要做繁复的Hoare三元式推演工作。为了摆脱这......
程序断言动态侦测技术具有很广的应用范围，如程序测试与排错、程序演进与重构、构件替换与程序容错等领域。相比于传统的程序断言侦......
通过程序不变量动态生成技术，可以分析程序内部的关联属性，从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约......
