【摘 要】
：
基于面向对象的类测试,该文提出了一种生成类的合理的有限方法序列集和选取测试数据的方法.对于方法序列的确定,该文利用统一建模语言UML的状态图来自动生成类的合理的有限的
论文部分内容阅读
基于面向对象的类测试,该文提出了一种生成类的合理的有限方法序列集和选取测试数据的方法.对于方法序列的确定,该文利用统一建模语言UML的状态图来自动生成类的合理的有限的方法序列集.为生成有限的方法序列集,我们给出了的5个状态转换图覆盖准则,以便产生符合不同覆盖准则的各种测试路径集.由测试路径集确定了相应的方法序列集.对于测试数据的选取,采用测试数据空间划分的思想,分两步将每个方法序列的测试数据空间划分成有效和无效等多个数据子空间,确定了各子空间划分的约束条件,为进一步在各数据子空间中选取方法序列的测试数据提供了很好的依据.根据上述思想,该文设计和实现了相应的3个类测试工具;测试路径集及方法序列生成吕,满足循环N次路径覆盖准则的数据空间划分约束条件生成器以及图形编辑工具.
其他文献
电子数据交换（EDI）是商业企业内部、贸易伙伴之间，将按标准、协议规范化和格式规范化的经济信息通过电子数据网络，在单位的计算机系统之间进行自动交换和处理。在发达国家经历了
论文首先叙述了分布式系统的基本概念及发展历程,指出当前分布式系统的发展特点是多层分布式体系结构.论文还对分布式对象技术的两个主流技术CORBA和COM/DCOM进行了介绍和比
该学位论文首先介绍了局域网和以太网的基本理论,以及以太网的高速发展充分奠定了它在局域网中的技术优势.接着介绍了中国课题组自行设计的信息化小区以太网交换机的总体设计
该文首先论述p-HPF多范式并行编程方法,包括p-HPF与F77+MPI的混合编程、支持混合编程的内部函数、p-HPF与不同运行方式的串行程序以及并行算法库的混合编程等,给出了若干编程
该文描述了一个基于XML数据库的,可作为数字资产管理子系统的图片内容管理系统的设计和实现.数字资产管理是企业存储、检索和发布数字资产的过程.数字资产通常含义上是指包括
随着网络规模的扩大和用户数量的急剧增加,使得互联网的流量急剧增加,给网络的带宽造成极大的压力,也加大了服务器的负担,导致服务不稳定。当前C/S架构网络将信息的传输中转
该文第二、三章简单介绍了软件度量研究及一些经验试题模型.该文第四章利用《广东省公安厅消防局计算机办公辅助系统》项目所采用的详细设计规范研究数据库系统复杂度;并探讨
该文针对焊接过程动态位移场的ESPI测量,研究了散斑干涉条纹图像的有效处理方法.该文描述基于双光束法的面内位移测量系统的数学模型,并给出了采集焊接过程中包含试件变形信
该论文主要研究生命周期工作流的相关理论与技术,包括生命周期工作流的表示与驱动、系统实现的体系结构和存储结构、系统对象的定义和实现(IDL)等.下面具体介绍各章的内容.第
随着Internet的不断发展,网站越来越多,网站的制作技术也日新月异,但目前国内人们对网站的评价往往是基于内容的,对网站的一些性能的指标,比如下载的速度或链接的有效率,并无