UMLTGF:一个基于灰盒方法从UML活动图生成测试用例的工具

UML已经成为建模语言的事实标准,如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战·为了从UML设计模型中的活动图直接生成测试用例,给出了UML活动图的形式化定义和灰盒测试方法·该方法首先分析UML活动图上的所有执行路径(每条路径称为一个测试场景),然后根据测试场景中的节点和转换所代表的活动及其输入/输出变量、相关约束条件等生成测试用例·并根据该方法实现了一个自动生成测试用例的工具UMLTGF,它可以从Rational Rose的规约文件中提取活动图信息并生成相应的测试用例·该工具能够提高软件测试的效率,降低测试成本·

灰盒测试方法的实践与研究

从测试是否针对系统的内部结构和具体实现的角度来看,软件测试可分为白盒测试和黑盒测试。而灰盒测试是近年来提出的一种新的软件测试方法,它兼顾了白盒测试和黑盒测试方法的优点。本文在实践的基础上,对灰盒测试方法进行了研究,介绍了灰盒测试基本知识和一种灰盒测试方法的实现过程。

灰盒测试方法在软件可靠性测试中的应用

文章对软件可靠性测试的概念以及在软件可靠性测试当中回合测试方法的应用进行了阐述,并提出了软件可靠性测试中灰盒测试方法的应用工作流程,对回合测试方法的优越性以及局限性进行了分析,并对灰盒测试方法未来的研究方向进行了展望。

一种基于代数规约的面向服务集成方法

面向服务集成是应用SOA思想实现软件重用的重要基础。目前以黑盒和白盒为主的面向服务集成方法都有它们的局限性:白盒方法侵入系统内部,侵入系统后稳定性方面存在问题,而黑盒方法虽然避免了侵入系统内部,但会增加系统维护和管理工作。因此论文提出一种基于代数规约的面向服务集成灰盒方法,该方法首先通过代数规约技术描述的类子模型和数据流分析对系统进行理解与分析,其次应用改进的聚类分析算法获取服务的架构信息并识别相关模块,然后应用服务封装技术封装服务,最终通过实际的应用案例验证了论文方法的有效性。