基于抽象状态的类的行为规格化方法

摘要：

为独立方法定义严谨的规格可以保证程序的正确性.但是在面向对象的程序中,方法之间因为共享属性而相互影响,这就需要能够反映方法间影响的规格化方法.研究者们使用抽象变量、状态抽象、堆、查询等多种方法进行了尝试.文中给出一种基于抽象状态的类的行为规格方法,该方法基于抽象状态解决了类方法间的共享依赖和相互影响,同时实现了规格与实现的独立描述与运行时自动化验证.

关键词：抽象状态、共享依赖、规格化方法

所属期刊栏目：43

分类号：TP311.1(计算技术、计算机技术)

在线出版日期：2016-08-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：457-460