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

• 作者: 丁二玉 王伟 骆斌
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 抽象状态 共享依赖 规格化方法
• 年，卷（期）: 2016,（z1）
• 所属期刊栏目: 软件工程与数据库技术
• 页码范围: 457-460
• 页数: 4页
• 分类号: TP311.1
• 字数: 3993字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	骆斌	南京大学软件学院	55	1120	14.0	32.0
2	王伟	南京大学软件学院	36	233	8.0	15.0
3	丁二玉		1	0	0.0	0.0