【摘 要】
：
在该文中,研究人员给出了一个层次化的,并行的,通信的对象状态测试模型——对象状态图(OSD),用以捕捉面向对象软件中的对象状态和状态依赖行为.OSD中的状态和转换概念是与特
论文部分内容阅读
在该文中,研究人员给出了一个层次化的,并行的,通信的对象状态测试模型——对象状态图(OSD),用以捕捉面向对象软件中的对象状态和状态依赖行为.OSD中的状态和转换概念是与特定的编程概念相结合的,它的层次结构模仿了对象类的继承和聚集的层次结构.OSD能够很好的表现面向对象的特征,帮助测试者理解对象的动态行为.根据C++代码来构造OSD的逆向工程方法是基于象征性执行来提取对象状态和状态转换的,在文中研究人员简述了这个方法的全过程.构造出来的OSD可以应用于对象状态测试和故障分析.该文给出了基于OSD模型的对象状态测试的测试策略、测试标准以及测试用例的生成方法.传统的状态测试在测试类的状态行为和类之间的相互作用时具有一定局限性,该文给出了一种构造OSD的测试树,并根据得到测试树来生成测试类的状态行为和类之间的相互作用的测试用例的方法.虽然故障树分析和复合对象状态测试是应用于软件测试的不同方面的两种技术,但是通过该文设计的"恒温器"的例子可以看出修改后的复合对象状态测试能够用来模拟故障树分析,而且有其特有的优点.
其他文献
公共对象请求代理结构CORBA（Common Object Request Broker Architecture）充分体现了分布对象计算的异构性、互操作性、灵活性和可扩充性，能方便地将不同环境的计算资源无缝地集
MPEG-2(Moving Picture Experts Group Phase 2)作为"运动图像及基伴音信息的通用编码"标准在数字广播、传输、宽带通信以及多媒体技术中取得了广泛的应用.另外随着微处理器
随着Internet的迅速发展，特别是随着政府上网工程的启动，网络安全问题越来越受到重视。怎样建立一个安全网站是网络建设中的一个重要的课题。虽然防火墙技术、加密技术、身份认
移动社会网络结合了社会科学和无线网络技术,是一个为具有紧密社会联系的移动用户提供数据递送服务的通信系统。内容分发技术是保证数据投递服务可靠性和有效性的重要手段。
随着网络技术、多媒体技术、数据库技术的日趋成熟,全世界的远程教育开展得如火如荼;同时人工智能技术又逐渐实用化,这些技术的发展极大地刺激了能因材施教、师生共同参与的
运动目标的检测与跟踪技术是计算机视觉研究的核心,序列图像分析方法研究有了很大发展.主动轮廓线模型已广泛应用于边缘检测、图像匹配、刚性与非刚性目标的跟踪.1991年,Curw
在21世纪里,信息爆炸给人们带来了海量信息管理的需要,如何有效地管理这些海量数据信息,成为当前需要我们研究的课题.海量信息管理中一个首当其冲地问题就是如何解决海量信息
随着下一代网络的发展,人们对媒体服务的需求也逐渐提高,从简单的双方语音通信到多方视频会议通信。然而传统的媒体服务器是硬件实体机器,在灵活性和可控性方面不能给用户带
在该文的第一章中,作者简要说明了当前网络通信面临的有关威胁并提出了相庆的解决方案,接着第二章简要介绍了现在比较常见的网络安全协议和安全系统.第三章重点论述了用于网
该论文主要涉及金融电子化在国内外的发展和现状、自助银行平台研究的重要性和应用前景,以及自助银行平台的设计思想和实现方法.论文的第一部分介绍了金融电子化的基本概念、