【摘 要】
：
针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合"爆炸"和测试用例"爆炸"等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试
【机 构】
：
湖南大学计算机与通信学院,清华大学信息科学技术学院
【基金项目】
：
国家高技术研究发展计划(863计划)，国家自然科学基金
论文部分内容阅读
针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合"爆炸"和测试用例"爆炸"等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯一输入输出(UIO)测试用例的自动生成方法,生成状态转移路径序列,测试类的状态;提出了基于扩展的EDPN的状态组合的标记关联递推法,生成扩展的正交阵列表,测试类的交互;提出了基于扩展的EMDPN的协同路径(copaths)测试用例的生成方法,生
其他文献
各种视频压缩编码标准都是根据人们在不同领域中对声像数据的要求所制定的,并且随着人们的需求不断地发展。目前,视频压缩编码研究主要分为两个方向:一是基于传统的DCT 混合编码方案;另一个是基于第二代图像编码技术而提出的基于对象的编码方案。其中,基于对象的编码方法不仅能满足进一步获得更大的图像数据压缩比的要求,而且能够实现人机对话的功能,所以,我们认为它将是未来视频压缩编码的发展方向。本文对基于对象的编
本文对软件测试的系统状态进行分析,提出了系统位态与预期位态的概念,并分析了它们间的差异,利用这一差异的模糊性,建立了参数值与位态的作用关系,证明了模糊集交集的模糊推
数据立方的计算是数据仓库和OLAP研究的一个重要方向,同时又是数据仓库中代价很大的操作.针对在生物信息、统计分析、文本处理等领域中存在的基数较小的高维数据集,X.L.Li等
最新的 MPEG-21标准定义了一个统一的多媒体框架,其目标是使多媒体资源能在异构网络和终端上进行透明传输和得到充分利用。多媒体适配(Multimedia Adaptation)技术作为实现上述目标的关键技术得到了越来越多的研究。本文将感知运动能量模型与MPEG-21数字项适配框架相结合,研究和实现了基于感知运动能量的H.264/AVC视频丢帧适配技术。本文的研究工作有两个方面的优点:一方面,感知
本文在分析了移动agent系统的访问控制机制研究现状之后,提出了一种基于属性证书的访问控制机制.该机制的核心思想是将相关安全属性信息集成在外部实体--属性证书.
介绍了在Linux平台上实现VPN安全网关的总体设计思想以及通过IKE动态协商安全关联SA的主要过程,重点讨论了所采用的椭圆曲线密钥交换方案,并给出了有效的点乘运算快速实现算