论文摘要
随着面向对象技术的广泛应用,面向对象测试己越来越被人们所重视。面向对象的软件测试包括方法级、类级、簇级和系统级。其中,方法级和系统级的测试方法与传统过程式程序的测试方法类似,而类级和簇级的测试则面临新的问题。在基于代数规格说明的类级测试中,需要用到范式的生成。本文作者的导师提出了一个基于代数规格说明的GNF方案,用于产生范式。此方案的提出,不仅使范式的生成实现半自动化,还可以在构造范式的过程中随时剔除假范式,这在一定程度上降低了测试用例数,提高了测试效率。GNF方案用逻辑程序设计来实现较方便,对此,它已是个完整生成范式的算法。它也可用面向对象程序设计来实现,对此,它需要补充操作划分、公理分类、条件处理、项匹配展开等若干子算法。本文构造了这些子算法及相应的数据结构。然后,根据这些算法设计与实现了用于面向对象类级测试的范式半自动化辅助生成工具的一个原型系统,并进行了实验和结果分析,从而证实了该方法是可行的,并且阐明了所得范式与人工分析所得范式模式的符合程度。
论文目录
相关论文文献
- [1].一种状态图到B规格说明的自动转换方法研究实现[J]. 计算机工程与应用 2011(35)
- [2].基于问题模式的形式化软件规格说明生成方法[J]. 计算机研究与发展 2013(02)
- [3].基于形式化技术的电梯系统规格说明[J]. 牡丹江大学学报 2011(06)
- [4].形式语言B与OOZS的比较[J]. 经济研究导刊 2011(01)
- [5].OWL-S到Z规格说明的转换[J]. 应用科学学报 2010(03)
- [6].一个Object-Z规格说明的证明责任产生器[J]. 计算机应用与软件 2010(05)
- [7].Radl形式规格说明相对正确性研究[J]. 软件学报 2013(04)
- [8].基于形式化规格说明的UML状态图提取[J]. 计算机应用研究 2011(05)
- [9].一种软件需求规格说明描述质量评价方法[J]. 电子设计工程 2013(07)
- [10].基于Petri网的电梯系统规格说明[J]. 长春大学学报 2011(06)
- [11].基于可扩展有限状态机规格说明的测试数据生成效率因素模型分析[J]. 计算机应用 2013(S2)
- [12].基于LSC模型检验的性质抽取[J]. 上海大学学报(自然科学版) 2012(02)
- [13].Object-Z规格说明测试用例的自动生成器[J]. 软件学报 2011(06)
- [14].一种基于状态规格说明的OBDD测试用例生成方法[J]. 数字技术与应用 2013(01)
- [15].浅谈白盒测试与黑盒测试在软件测试中的应用[J]. 信息与电脑(理论版) 2011(02)
- [16].CMM“六步曲”实施CMM的问题分析[J]. 才智 2010(10)
- [17].OpenGL图形规范的Z形式化描述[J]. 河北省科学院学报 2014(02)
- [18].信息化工程档案评审要点分析——以金教工程为例[J]. 中国教育信息化 2014(13)
- [19].一种基于学分制排课系统的Z规格说明[J]. 现代电子技术 2012(12)
- [20].汽车衡检定的移动式设备(续五)[J]. 衡器 2011(11)
- [21].Ada语言的发展[J]. 计算机科学 2014(01)
- [22].基于Z规格的LR(k)形式化分析及验证[J]. 计算机工程与设计 2013(07)
- [23].一种软件体系结构级测试序列生成技术[J]. 微电子学与计算机 2012(01)
- [24].论软件开发中需求分析的优化措施[J]. 电子制作 2013(15)
- [25].基于规格说明的若干逻辑覆盖测试准则[J]. 软件学报 2010(07)
- [26].浅析软件测试技术与测试管理[J]. 电子技术与软件工程 2013(16)
- [27].论黑盒测试与白盒测试在软件测试中的不同作用[J]. 商场现代化 2010(16)
- [28].基于Z规格的UML模型形式化转换及验证[J]. 计算机工程与设计 2013(06)
- [29].模态逻辑视角下的模型检测理论[J]. 毕节学院学报 2012(01)
- [30].黑盒测试充分性分析[J]. 华北煤炭医学院学报 2010(04)