基于优化模型的类级测试数据自动生成研究

研究了一种基于优化使用模型的类级测试用例的自动生成方法。首先使用基于约束的非线性规划问题的求解方法获得Markov链使用模型的状态转移概率,建立优化的使用模型;然后以使用模型的概率转移为约束采用轮盘赌算法自动生成测试用例;最后以Euclidean Distane方法度量测试的充分性。实验表明此方法能够提高测试自动化水平,提高软件的可靠性。

面向状态图的类级测试方法研究

面向对象软件是由类及其类之间的关联所实现,类测试是面向对象软件测试的关键。本文研究一种将包含层次和并发结构的状态图转化为可扩展有限状态机(EFSM)并获得相应的测试生成树,由测试树产生软件测试数据的类级软件测试方法。实验证明,该测试方法是有效可行的,在实践中能够取得较好的效果。

一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.

面向对象簇级测试中类间测试序确定方法研究

通过对传统的对象关系图进行扩展,提出了EORD图和WORD图的概念.在确定类间测试序时,把需要生成的存根数目作为优化目标,还定义了联系强度、成环权重、边向因子等启发式规则,并将此作为剪去关联边破除环路的重要准则.分析目前已有算法的优缺点,提出了我们的确定类间测试序的AICTO算法.该算法首先着重处理环偶对中的关联边,较大地提高了算法效率,还具有创建存根时涉及到的类的数目少、能保留关联强度大的边和稳定性好等优点,并在原型系统CppTest中进行了实现.

基于软件节点重要性的集成测试序列生成方法

集成测试序列是软件集成测试的重要问题之一.不同的集成测试顺序对测试成本以及测试效率的影响很大.为降低测试成本,传统的类级集成测试顺序研究策略大多围绕如何减少构建测试桩数量和降低测试桩总体复杂度2个方面.若能将复杂程度高、出错概率大的类和发生错误后传播范围较大的类优先进行测试,不仅可以使得错误被尽早发现,还可以有效减小错误对系统的破坏性.为此,将上述思想应用到生成集成测试序列的算法当中,提出一种软件节点重要度的评估方法(Class-HITS).该方法利用复杂网络理论,将软件抽象为网络的形式,并结合所提出的重要度评估方法,打破软件网络中的环路,然后针对网络的无环链路逆向拓扑排序,最终得到类的集成测试序列.通过实验分析证明,利用该方法得出的集成测试序列既能够保证重要节点优先被测试,又确保了构造的测试桩的总复杂度较小.

一种基于ORG的破除环路改进算法

对象关系图是一种描述对象关系的工具。类簇测试的一个重要问题是确定类间测试顺序,其核心问题是删除对象关系图中的关联边来破除环路。本文对传统的对象关系图进行扩展,提出了带权值的对象关系图的概念。在其基础上,定义了关联边对、类平均复杂度、测试桩代价、一层序号差值四个判断规则,将此作为剪边破环的重要准则。最终提出了三元组形式的WORG图,该图能直观量化地给出剪边顺序。