【摘 要】
：
本文首先逐步深入地对软件测试、面向对象软件测试、自动化软件测试和面向对象软件单元测试进行了介绍和分析。最后主要集中精力于基于设计模型规格描述的自动化单元测试技术
论文部分内容阅读
本文首先逐步深入地对软件测试、面向对象软件测试、自动化软件测试和面向对象软件单元测试进行了介绍和分析。最后主要集中精力于基于设计模型规格描述的自动化单元测试技术研究。提出了一种使用经过扩充的状态图规格描述作为输入的自动化单元测试方法。该方法直接存取被测试对象状态变量，可以实现充分测试。我设计开发了该方法的一个原型实现。该方法还存在须要解决的问题，状态定义对状态变量的取值规律要求很可能是具有复杂规律的离散分布。如果没有其它机制的支持，不可能建模出这种复杂的分布规律。解决这个问题对该方法的实用化和产品化很重要，是我下一步的研究方向。
其他文献
该文的研究,其创新点可以概括为:1、在研究入侵特征的分析和提取的基础上,研究出一种性能良好的入侵特征形式化描述语言ISITL,并对其描述的语法、语义、相应的逻辑系统以及描
随着计算机图形学的高速发展,实时渲染技术在军事、娱乐、医学等众多领域上扮演着越来越重要的角色。在实时渲染技术中,渲染效果和渲染速度是一对不可兼得的矛盾体,如何有着
Web服务是一个崭新的分布式计算模型，它由一系列相关技术和标准所组成：XML、SOAP、WSDL和UDDI。其中，XML提供数据的描述，SOAP负责Web服务调用，WSDL负责Web服务描述，而UDDI则负责Web
人工神经网络从着手研究到现在,已有五十多年的发展史.虽然几经坎坷,但随着众多学者的不懈努力,不但在理论上为神经网络的发展打下了坚实的基础,而且在信号处理、计算机视觉
自从计算机问世以来,让机器具有模式识别能力一直是计算机科学家们的努力方向.研究表明,对视觉和听觉信息的处理过程,不仅仅是一个感知过程,也是一个认知过程.因此,研究模式
随着信息技术的发展,文档图像在办公自动化、数字图书馆、电子商务、电子政务等项目中获得广泛的应用。在这些应用中,纸质文档通常采用扫描方式形成数字化文档图像进行存储、
数据库安全理论和技术不仅是数据库理论研究的重要方向，而且也是信息安全的重要研究方向。本文提出采用主从结构表的方法对BLP模型加以改造，使得改造后的BLP模型具有较高的可用
本论文分析并研究了电信管理网的功能体系结构、物理体系结构和信息体系结构；研究了电信统一网管平台的功能体系结构；完成了统一网管平台之系统管理子系统的需求分析和设计；采用
本课题所开发的用户界面代码自动生成系统(AUI-Automatic UserInterface),是在大量相关研究的基础上加以实现的.大量基于模型用户界面生成工具证明了自动生成用户界面源代码
该论文主要研究C/C++中的类型转换,特别是隐式类型转换的静态安全性检测.通过分析各数据类型的特性,研究它们之间不安全的转换,根据产生机制进行了分类,借鉴文法的表述形式对