【摘 要】
：
面向对象的软件测试包括方法级、类级、簇级和系统级。基于代数规格说明,本文描述了生成基本等价对及其所诱导出的非等价对作为面向对象类级测试用例的一个辅助工具的研究与
论文部分内容阅读
面向对象的软件测试包括方法级、类级、簇级和系统级。基于代数规格说明,本文描述了生成基本等价对及其所诱导出的非等价对作为面向对象类级测试用例的一个辅助工具的研究与实现。本文的具体工作是,在给出的范式和公理的基础上,将GFT算法实现为半自动化辅助工具,包括范式的代入与预备基本对的生成、子域的划分、公理条件的处理和变量的随机取值以及相应的数据结构的设计。另一方面,对导师提出的由基本等价对诱导生成非等价对的一种方案进行细化,包括构造所需的若干子算法及相应的数据结构,并实现相应的辅助工具和分析其有效性问题。最后,对辅助工具进行实验与结果分析。
其他文献
应用服务是GB/T 22080-2016 idt ISO/IEC27001:2013的A.14.1.2;A.14.1.3条款适用的管理对象,但应用服务是什么、如何操作、在何种情况下可以删减,给即将导入GB/T 22080-2016
新疆乌鲁木齐国际大巴扎这一具有民族文化特征的商业市场,2003年开业以来已成为乌鲁木齐文化与商业的中心,它以其独特的魅力吸引人们前往,而其作为买卖的市场和旅游的观光地
随着时代的发展,我国社会在不断进步,但也出现了些新的矛盾,应时代的要求,我党在十六届三中全会上提出了“科学发展观”这一指导思想,随后又在党的十六届四中全会上提出了“
我国的汽车产业经过50多年的发展取得了巨大成就,汽车产销量世界排名节节攀升,汽车产业已进入加速发展阶段,初步形成“3+X”的市场格局,国内汽车市场被十余家汽车集团所垄断
该文基于该研究者多年从事测绘产品生产质量检验的相关工作经验,以4D数字测绘产品的生产质量管理为研究对象,研究探讨了＂4D＂产品质量控制的必要性,分析了＂4D＂产品在质量管理方面
从我国当前的科技项目管理情况来看,其是一种多重的委托管理关系,在这种多重的委托关系中,也必然会衍生出很多的问题,进而导致机会主义行为的发生,所以,还需要加强对科技项目
新课程改革背景下,对于小学体育课堂教学中,教师要要构建合理的学生评价体系,让学生通过科学评价,激发兴趣,增强自信,正确认识自我,提高体育运动素质,使之和谐健康发展。因此
可持续发展已经成为我国乃至全世界关注的焦点,绿色管理是为了帮助企业将对环境的关注导入到企业管理过程中,使企业能够达到可持续发展的要求。对于企业而言,尤其是其生产和
<正>研究目的:3-5岁是幼儿成长的关键时期。长期以来,我们对学前幼儿体育教育研究的重视不够,使得幼儿体育教育实践在开展中缺乏相应的理论指导。本文对济南地区幼儿园体育教
<正>经典现代化是民族国家本位,以本国发展和利益最大化为最高目标。"一带一路"倡议突破了这个局限性,明确提出了以"共同利益"为目标。例如,"努力扩大亚洲国家共同利益""将给