论文摘要
Contract是一种形式化规格说明语言,用于说明相互协作完成某种功能的一组对象间的行为依赖关系。在面向对象软件开发中可用于作为系统的簇级规格说明,说明系统中类间的交互。它显式地说明了对象之间的消息传递,方便于用来进行面向对象的软件测试。一种系统性的面向对象软件测试方法——TACCLE,就基于它作为簇级规格说明,进行面向对象软件的簇级测试。但作为形式化规格说明,它要求使用者(包括系统分析员、设计员和测试员)的数学训练较好,因此在产业界较难普及。UML是当前主流的建模语言,比较直观,方便理解,正在被越来越多的开发人员掌握。UML交互图(包括Sequence图和collaboration图)说明了系统中的对象之间的交互,通过从UML交互图到Contract规格说明的转换,就可以使用TACCLE方法对以UML为规格说明的软件系统进行测试。 本文给出了从UML交互图到Contract规格说明的转换算法。考虑到目前各UML工具都没有完全实现UML所有语法,本文也同时给出了在UML的普遍实现形式下的转换算法,以及在此实现形式下,用XML表示的UML模型的交互图到Contract规格说明的转换算法和这个算法的原型实现及实例验证。
论文目录
相关论文文献
- [1].Z规格说明的推理与验证[J]. 微型电脑应用 2016(11)
- [2].一种基于Z规格说明的测试用例复用机制[J]. 计算机应用与软件 2009(12)
- [3].布尔规格说明测试中的错误类[J]. 计算机工程与应用 2009(18)
- [4].面向对象的需求规格说明文档研究[J]. 软件导刊 2020(04)
- [5].Z规格说明自动生成器[J]. 计算机系统应用 2016(04)
- [6].一种状态图到B规格说明的自动转换方法研究实现[J]. 计算机工程与应用 2011(35)
- [7].基于问题模式的形式化软件规格说明生成方法[J]. 计算机研究与发展 2013(02)
- [8].一种自动验证Web应用预期页面的方法[J]. 计算机与数字工程 2008(05)
- [9].使用Object-Z获取形式需求[J]. 计算机辅助工程 2008(01)
- [10].基于形式化技术的电梯系统规格说明[J]. 牡丹江大学学报 2011(06)
- [11].基于XML的用例规格说明实现[J]. 西安工程大学学报 2009(01)
- [12].形式语言B与OOZS的比较[J]. 经济研究导刊 2011(01)
- [13].OWL-S到Z规格说明的转换[J]. 应用科学学报 2010(03)
- [14].一个Object-Z规格说明的证明责任产生器[J]. 计算机应用与软件 2010(05)
- [15].关于LOTOS并发操作符行为特性的探讨[J]. 数字技术与应用 2014(09)
- [16].Radl形式规格说明相对正确性研究[J]. 软件学报 2013(04)
- [17].基于形式化规格说明的UML状态图提取[J]. 计算机应用研究 2011(05)
- [18].基于ESHLEP-N印染生产线的仿真[J]. 机电工程 2008(11)
- [19].面向对象软件概要设计过程[J]. 福建电脑 2008(06)
- [20].Z规格说明函数映射的C++STL实现[J]. 沈阳工业大学学报 2008(03)
- [21].一种软件需求规格说明描述质量评价方法[J]. 电子设计工程 2013(07)
- [22].基于Petri网的电梯系统规格说明[J]. 长春大学学报 2011(06)
- [23].面向对象类测试方法研究[J]. 华东交通大学学报 2009(04)
- [24].基于可扩展有限状态机规格说明的测试数据生成效率因素模型分析[J]. 计算机应用 2013(S2)
- [25].基于C++STL技术实现Z模式自动求精的研究[J]. 数字通信世界 2019(01)
- [26].空间完备性理论及其测试[J]. 计算机工程 2009(09)
- [27].用Z语言描述排课问题的形式化模型[J]. 西安工业大学学报 2008(04)
- [28].基于LSC模型检验的性质抽取[J]. 上海大学学报(自然科学版) 2012(02)
- [29].Object-Z规格说明测试用例的自动生成器[J]. 软件学报 2011(06)
- [30].FUSION——实现业务与技术熔合的利器[J]. 金融电子化 2009(05)