收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

代数规格说明的半自动化辅助构造工具的设计和实现

谭琳  
【摘要】: 形式化方法是目前兴起的一种很重要的软件开发方法。代数规格说明可以应用于形式化方法。它用一组代数公理来刻画对类操作行为的需求,它提供了一种形式化的手段,使人们能够把类的实体的需求说明较严谨地描述出来。在基于代数规格说明的面向对象类级的软件测试研究中,代数规格说明作为一个基本的已知条件必须首先构造出来。公理系统是一个代数规格说明的最主要部分,它描述需求的语义,它必须具有独立性、一致性和完整性。本课题基于代数规格说明的独立性、一致性和完整性来完成代数规格说明中公理的辅助构造工具的设计和实现,包括对原有方案CLA作了某些局部性修改;较详细地分析和阐述了方案CLA所枚举的公理左边的所有可能的模式的理由;在代数规格说明公理系统一致性和独立性原有的形式化定义和命题的基础上,提出了判断这种公理系统一致性和独立性的一个半自动化近似算法;对这两者作了实现和实验。以期提高构造代数规格说明的效率,节约形式化软件开发的成本,舒缓产业界人士对构造公理的困难。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 曾晓勤;韩秀清;邹阳;;一种基于边的上下文相关图文法形式化框架[J];软件学报;2008年08期
2 李琳;夏学知;;海上信息栅格资源形式化描述的研究[J];舰船电子工程;2009年06期
3 杨洋;;一个适用于转换X-machine模型为Java代码的框架的设计与实现[J];苏州大学学报(自然科学版);2007年04期
4 赵波;冯洁;;本体中继承关系的形式化表示及其应用[J];计算机工程与设计;2008年01期
5 陈海波;邱剑锋;;多态性构件及其代数规范[J];计算机工程与设计;2009年22期
6 孙栋栋;王玉斌;马争先;张净;;基于NS2软件验证随机早期检测算法RED的优越性[J];广西科学院学报;2010年04期
7 John Guttay;章萃;;关于将形式规格说明用于软件生产的几点评注[J];计算机科学;1986年01期
8 宋立彤,金成植;代数规格说明语言ASL及到PROLOG的转换[J];吉林大学自然科学学报;1994年03期
9 李中华,李玉茜;抽象数据类型的代数规格说明[J];计算机研究与发展;1991年07期
10 陈意云,郭青;程序设计语言的代数规格说明方法[J];计算机学报;1990年08期
11 ;本期导读[J];电子产品可靠性与环境试验;2006年06期
12 张保卫,张毅坤,赵明,崔杜武;基于UML的面向对象软件测试系统[J];计算机工程;2005年06期
13 郑国樑,蓬颖;代数规格说明及其转换系统[J];计算机学报;1988年12期
14 钟珞,吴锡琪,盛苏华;抽象数据类型形式变换系统[J];小型微型计算机系统;1993年07期
15 刘定飞,夏红霞,钟珞;抽象数据类型条件方程的求取[J];小型微型计算机系统;1994年04期
16 顾玉良;王立福;吕慧颖;;面向对象软件测试的关键问题及对策[J];计算机科学;1999年11期
17 谭支鹏;冯丹;;对象存储系统形式化研究[J];计算机科学;2006年12期
18 张志祥;李庆华;贲可荣;;行为抽象方法及其在设计模式中的应用[J];计算机科学;2004年09期
19 巨志斌;;面向对象的白盒测试技术的研究与分析[J];软件工程师;2010年05期
20 荀维;;面向对象软件测试技术研究[J];科技风;2009年06期
中国重要会议论文全文数据库 前10条
1 张红霞;;基于着色Petri网的类测试方法研究[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(上册)[C];2007年
2 宋春明;徐拾义;;C++类测试中的测控技术[A];第十届全国容错计算学术会议论文集[C];2003年
3 马垣;崔丽;刘鸿雁;梁材;;关系中的概念与命题[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
4 张正兰;张明;;多媒体元计算中虚拟媒体的形式化[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
5 鲁志兵;胡金柱;胡燕;焦金丹;舒江波;;门户网自助系统的扩展有色Petri网建模与分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
6 刘刚;郑力;孙远运;朱涛;;基于活动的BDI主体形成机制及应用[A];2009年中国智能自动化会议论文集(第六分册)[中南大学学报(增刊)][C];2009年
7 蒋序平;;一种面向网络管理的语义网络模型[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集(下)[C];2008年
8 王勇;翟建设;;基于人员-时间Petri网的气象业务保障流程模型研究[A];信息技术在气象领域的开发应用论文集(二)[C];2006年
9 张忠平;余靖;朱扬勇;;基于函数依赖的XML键的推理及其求解算法[A];第二十一届中国数据库学术会议论文集(研究报告篇)[C];2004年
10 刘秉毅;;面向文本数据库管理系统FIMS的复杂对象数据模型[A];1994中国控制与决策学术年会论文集[C];1994年
中国博士学位论文全文数据库 前10条
1 翁健;基于身份的密钥泄漏保护机制的研究[D];上海交通大学;2008年
2 任传伦;分布环境下身份认证和授权管理的研究[D];北京邮电大学;2007年
3 苗德成;共享系统数据模型研究与应用[D];华南理工大学;2012年
4 秦德生;学生对导数的理解水平及其发展规律研究[D];东北师范大学;2007年
5 张昭理;基于Petri网的安全策略分析与验证方法研究[D];华中科技大学;2007年
6 赵健;概念元空间的结构与范畴研究[D];吉林大学;2012年
7 邹德清;具有QoS保障的服务网格关键理论与技术研究[D];华中科技大学;2004年
8 明洋;广义指定验证者签名体制的研究和设计[D];西安电子科技大学;2008年
9 孙迅;若干基于身份签名体制的研究与设计[D];上海交通大学;2009年
10 周勇;E-learning过程能力成熟度模型研究[D];华东师范大学;2009年
中国硕士学位论文全文数据库 前10条
1 谭琳;代数规格说明的半自动化辅助构造工具的设计和实现[D];暨南大学;2008年
2 何美玲;用于面向对象类级测试的范式生成半自动化工具的研究[D];暨南大学;2008年
3 顾莹莹;基于OSD模型的面向对象软件类测试方法研究[D];上海师范大学;2005年
4 康维;基于UML模型的类簇级测试用例生成方法研究[D];中南大学;2009年
5 沈红富;面向对象类级测试用例生成的一种辅助工具的研究与实现[D];暨南大学;2008年
6 年晓玲;基于扩展有限状态机软件测试用例自动生成的研究[D];西南交通大学;2005年
7 谢丽丽;基于UML的面向对象软件测试方法的研究[D];大连海事大学;2007年
8 杨林;基于UML的实时系统建模及顺序图时间约束研究[D];湖南大学;2007年
9 刘烁;基于UML的CPN模型在软件测试中的应用[D];太原理工大学;2007年
10 唐春艳;基于模型检测的类测试自动生成技术研究[D];广西大学;2007年
中国重要报纸全文数据库 前2条
1 卢思宇;“名实不符”的尴尬[N];中国经营报;2002年
2 ;从Quicksort到程序设计语言的公理化[N];计算机世界;2000年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978