首页 | 本学科首页   官方微博 | 高级检索  
     

基于抽象状态的类的行为规格化方法
引用本文:王伟,丁二玉,骆斌.基于抽象状态的类的行为规格化方法[J].计算机科学,2016,43(Z6):457-460.
作者姓名:王伟  丁二玉  骆斌
作者单位:南京大学软件学院 南京210093 计算机软件新技术国家重点实验室 南京210093,南京大学软件学院 南京210093 计算机软件新技术国家重点实验室 南京210093,南京大学软件学院 南京210093 计算机软件新技术国家重点实验室 南京210093
摘    要:为独立方法定义严谨的规格可以保证程序的正确性。但是在面向对象的程序中,方法之间因为共享属性而相互影响,这就需要能够反映方法间影响的规格化方法。研究者们使用抽象变量、状态抽象、堆、查询等多种方法进行了尝试。文中给出一种基于抽象状态的类的行为规格方法,该方法基于抽象状态解决了类方法间的共享依赖和相互影响,同时实现了规格与实现的独立描述与运行时自动化验证。

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

Behavior Specification Method of Class Based on Abstract State
WANG Wei,DING Er yu and LUO Bin.Behavior Specification Method of Class Based on Abstract State[J].Computer Science,2016,43(Z6):457-460.
Authors:WANG Wei  DING Er yu and LUO Bin
Affiliation:Software Institute,Nanjing University,Nanjing 210093,China State Key Laboratory for Novel Software Technology,Nanjing 210093,China,Software Institute,Nanjing University,Nanjing 210093,China State Key Laboratory for Novel Software Technology,Nanjing 210093,China and Software Institute,Nanjing University,Nanjing 210093,China State Key Laboratory for Novel Software Technology,Nanjing 210093,China
Abstract:
Keywords:Abstract state  Sharing dependency  Specification method
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号