【摘 要】
：
软件测试是软件开发过程中为了保证软件产品质量而进行的一项十分重要的工作.面向对象软件方法的继承性、复用性,提高了软件开发的效益和质量,同时为防止缺陷因为模块复用而
论文部分内容阅读
软件测试是软件开发过程中为了保证软件产品质量而进行的一项十分重要的工作.面向对象软件方法的继承性、复用性,提高了软件开发的效益和质量,同时为防止缺陷因为模块复用而蔓延,增加了对复用模块的可靠性要求,提高了软件测试的强度.面向对象方法的多态性在给软件开发带来高度的灵活性的同时,又带来了不确定性,增加了系统运行中可能的执行路径,加大了测试用例的选取难度和数量.这些都导致了面向对象软件测试必须在继承传统软件测试的基础上,开发面向对象系统的特有的一套软件测试理论.面向对象软件测试遵循的是尽早开始测试的原则,把测试融入到开发的各个阶段.该文采用扩大的软件测试视角,强调面向对象分析、设计与需求的一致性的测试.该文在研究形式化的面向对象测试方法的基础上,重点分析了面向对象设计UML图与形式化规约测试的关系,对形式化方法-软件工程工业严格方法RAISE及其规范语言RSL[3]进行了较为深入的研究,提出了基于UML类图和状态图的RSL的描述方法.该描述方法采用严格的数理逻辑方法,增强了对类操作关系和状态转换描述的精确性和完整性.在RAISE规范语言RSL描述的基础上,结合传统的测试方法,提出基于类操作相关语义的测试用例生成方法,改进了基于类UML状态图的形式化描述的消息序列测试用例生成树的算法[4,5].并在一个实际的开发系统中实现了基于上述形式化方法的软件测试.
其他文献
宽带综合业务数字网(B-ISDN)是未来通信技术的发展趋势,ATM网络已被国际电信联盟作为一项典型传输技术加以推广.在ATM网络中,信息的拥塞及丢失是影响网络业务服务质量的主要
互联网已经成为人们生活中不可分割的一部分,但随着网络规模的扩大,数据中心、云计算等技术服务的应用,当前互联网体系结构的不足也日益突显出来。网络虚拟化技术(Network Vi
该文研究了智能交通ITS(Intelligent Transportation System)领域的重要组成部分——汽车牌照自动识别技术.经过大量的调研工作,并对当前国内外该技术的研究成果和发展方向进
中国城市供水系统普遍存在着漏失严重、维修困难等问题,传统的人工管理模式越来越难以满足城市不断发展的需要.为了节约水资源,保证正常用水,将地理信息技术与供水管网知识相
随着Internet在全球的普及,集群计算和网格计算环境日渐成熟,新应用类型不断涌现,所有这些都对操作系统的可扩展性提出了更高要求.当前国内外对操作系统的扩展性研究主要集中
Internet在各个领域的广泛应用,推动了网络测量领域的飞速发展.而作为跟踪并定量刻画Internet网络行为特性的基本工具,网络测量系统已成为当前网络测量领域中的研究重点.目前
该文在对当前的入侵检测研究成果进行分析和总结的基础上,提出了一个新型的入侵检测体系结构(DCIDS).该体系结构采用新的设计思想将分布式的体系结构与CIDF规范相结合,能够对
随着电力系统网络的改造和升级,现代通信技术、现代网络技术及计算机自动控制技术的长足进步,变电站对自动化程度和分布式应用的需求日益迫切,与之配套的配电监控软件也向着
计费管理作为网络管理的五大功能之一,对网络来说是不可缺少的重要组成部分.计费管理通过记录网络资源的使用情况来监控用户对网络的操作,从而加强对网络的管理,更好的发挥网
随着全球信息化的飞速发展,正在建设的各种信息化系统已成为各国关键基础设施,人们在享受网络带来的巨大便利的同时,网络信息安全问题也越来越突出地摆在我们面前.信息安全保