【摘 要】
：
该文主要对面向对象软件中的类测试和类簇测试进行研究.首先研究类测试,重点在利用扩展的OSD图,产生有效的方法调用序列,来进行类内数据流的测试.接下来,考虑面向对象技术中
论文部分内容阅读
该文主要对面向对象软件中的类测试和类簇测试进行研究.首先研究类测试,重点在利用扩展的OSD图,产生有效的方法调用序列,来进行类内数据流的测试.接下来,考虑面向对象技术中继承关系的测试.我们研究了针对面向对象语言的缺陷/故障模型,并从增量式的角度来看待继承关系;根据对继承和多态关系的故障的分析,提出一些旨在提高软件质量的编码规范.文章的最后,对类簇中各个测试级别的测试优先级进行了研究.我们综合考虑了静态依赖,动态依赖和抽象类对测试优先级的影响,并设计了一个以UML类图为输入,自动产生测试级别并计算他们的优先级的Java实现框架.
其他文献
当今世界存在着人口、环境、资源三大问题。我国幅员辽阔，自然水资源丰富且分布广阔，非常适合发展水电。西方发达国家从20世纪80年代后期开始，大中型水电站的计算机监控系统已发展较好。随着CPU、MCU、DSP等制造技术的提高，国外发达国家的中小型水电站也普遍采用了微机自动控制。而我国中小水电站设备陈旧、自动化水平低、管理水平相对落后。随着我国改革开放和地方经济的进一步发展，迫切需要发展中小水电。因此，
GIS已经发展成为一种产业。与其它工业产品一样，GIS产品也必须有质量管理和质量控制，使未来的GIS在向用户提供产品的同时，附带提供该产品的质量指标。在GIS图形中，质量信息的封装
办公自动化系统从提出到现在,共发展经历了三代,即实现个体工作自动化的第一代办公自动化系统,实现工作流程自动化的第二代办公自动化系统和以知识管理为核心的第三代办公自
并行处理系统中的可容错技术是当今计算机科学研究的热点之一，它是指在互连网络中某些处理器发生故障的情形下仍能保证网络中无故障的处理器之间进行可靠的信息传送(可靠是指
该文的目的是研究能够准确模拟不可压流体流动的格子Boltzmann模型以及其他相关的问题,包括热流动模型、非均匀网格模型以及LBM的边界处理方法,从而为流体运动的计算机仿真模
全文共分为五章,第一章简单介绍了VPN的概况,从功能和协议角度对其进行了阐述.第二章主要介绍了IPSec的基本原理.第三、四、五章是该文的重点.第三章提出了对VPN的各种实现方
B.Preneel等人将完全非线性函数(Bent函数)和满足严格雪崩准则的布尔函数(SAC函数)进行了推广,提出了k次扩散准则(PC(k))的布尔函数.由于扩散准则在密码学上,尤其是在分组密
近年来,随着计算机及互联网技术的不断发展,数以百万计千万计的计算机节点组成分布式协作系统网络,它们可以提供计算能力、可以提供资源。在这样一个规模巨大的分布式协作系
计算机集群系统的广泛应用，对作业管理系统产生了迫切的需求。国外一些大型研究机构和公司都将作业管理系统作为提高生产效率和资源利用率的一项技术保证，并面向实际需求开展了
近年来,互联网技术不断发展,网络攻击技术的发展也日新月异,攻击行为已经从零碎的小规模的攻击发展成为大规模的、分布式的攻击.这些大规模分布式攻击严重妨碍了计算机互联网