Class Tester:一个基于状态转换的类测试工具的设计与实现

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:jay36890
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
面向对象软件测试类测试方法有三种:基于规约说明的类测试方法、基于类流图的类测试方法、基于状态转换的类测试方法.本文描述了一个针对C++语言的基于状态的类测试工具的设计和实现,介绍了该工具的体系结构和主要算法.对测试驱动器的自动生成的方法作了详细介绍.最后通过一个实例描述了该工具的工作流程.
其他文献
连续两年对104个葡萄品种果实中糖酸组分的测定表明:葡萄果实中糖的主要组分是葡萄糖和果糖,蔗糖含量较少,葡萄糖的含量变化范围为46.26~120.86mg ml-1;果糖的含量变化范围为48
教师评价语不是教师的脱口秀,而是在整体深刻理解文本和学生实际情况后产生的教学语言。在课堂教学过程中,教师的评价语是不可或缺的,而且教师也不能漫无目的、毫无针对性地
针对传统的粒度支持向量机(granular support vector machine,GSVM)将训练样本在原空间粒化后再映射到核空间,导致数据与原空间的分布不一致,从而降低GSVM的泛化能力的问题,
随着Web服务数量的增加,根据Web服务的非功能属性(Q0s)度量web服务质量成为研究热点之一.目前对Web服务QoS的研究主要集中在QoS信息管理、Qos度量方法及基于QoS驱动的服务选取上,
我国民族传统体育作为一种具有中国特色的民族文化现象,具有厚重而悠远的社会属性。中国特色社会主义进入了新时代,民族传统体育文化的传承和创新意义重大。民族传统体育中最
自2017年9月起,江苏一年级的同学们迎来了部编版语文教材,对比延用多年的苏教版教材,部编版教材变化甚大。学生们面对的是全新的教材,教师也是如此。面对新教材,教师应该教什
目的:探析MRI同相位反相位成像用于肾上腺腺瘤诊断的临床价值。方法:选择2012年7月-2013年7月笔者所在医院收治的肾上腺腺瘤患者20例为观察组,再选择同期收治的肾上腺其他肿
为了完善我国职业运动员人力资本产权交易制度,该研究以人力资本理论、产权理论、微观经济学、新制度经济学、法学理论为研究基础,结合我国职业体育实践以及国外职业体育的成
尿道重建组织工程学是将尿道重建与细胞移植学、材料学以及器官生理学等多个领域相结合的新兴学科.组织工程学的蓬勃发展为泌尿生殖系统的修复重建提供了一个崭新的前景[1].
人力资源会计是现在的新兴研究领域,基本还停留在理论部分,而且人力资源成本计量的方法适合的领域还是比较狭窄,只对个别具有典型代表的经济实体,才能实施推广和应用。球员与