基于Markov链使用模型组件复用统计测试.docVIP

基于Markov链使用模型组件复用统计测试 　　摘要：提出了用Markov链使用模型来模拟具体环境中组件的使用方式，对组件的复用进行统计测试，详细论述了提出的组件复用统计测试的思想框架和测试步骤，并进一步指出了每个测试步骤具体的研究细节。最后给出了提出的方法与现有方法的对比分析，说明提出的方法是组件复用自动化测试的一种经济可行的方法。 　　关键词：Markov链使用模型； 组件复用； 统计测试； 自动化测试 　　中图分类号：TP311文献标志码：A 　　文章编号：1001－3695(2008)04－1051－03 　　 　　组件软件系统的开发已经成为当今软件开发方法中的研究热点。对于复杂、大型软件系统的开发，不再是单纯地从头开始进行开发，而是从现有组件库中选用或购买满足要求的组件，按照已经定义好的软件体系结构，通过基于组件的软件工程过程对这些组件进行装配来开发一个软件系统。今天，虽然通过复用现有的组件可以节省软件开发的时间和工作量，但是在大部分情况下，组件用户对商用组件没有进行分析和测试就进行复用。由于以下三个原因，如果对组件不进行一定程度的测试，组件的复用可能存在潜在的危险：a)组件被开发时，测试集中于它们假定的目标环境，而组件被复用时，它们新的使用环境可能不同于它们最初的目标环境；b)组件被复用时，接受标准也可能不同，如组件被复用在有严格安全性要求的环境中，组件的可靠性要求较高；c)在具体的环境中使用的可能是组件的一个功能子集。欧洲的Ariane 5发射失败的例子就是一个很好的教训。Ariane 5发射失败的原因就是复用了Ariane 4系统中的组件，而没有重新进行测试。所以，即使组件在最初的环境下已经通过了测试，在新的环境下复用组件仍然可能存在问题。?? 　　虽然目前CORBA、EJB、COM等组件技术在工业界得到了广泛的应用，但这一领域的研究还远没有完善，很多研究课题有待解决[1]。例如，文献[2]提出了组件复用测试的技术挑战，即在新的复用环境下，如何产生组件复用的测试用例？如何完成组件的充分性测试？当复用的组件升级或部分修改时，如何高效地测试更新的部分而减少冗余测试？软件工程师手工分析和完成组件复用的测试是非常耗时的工作，如何用一种经济可行的方法使组件复用的自动化测试成为可能？只有很好地解决了这些问题，组件软件系统的可靠性得到了保证，组件复用带来的优势才会得到充分地体现。?? 　　由于大量商用组件的源代码不公开，这给组件复用的测试带来很大困难。目前，已有一些文献专注于组件复用的测试，而现有的组件复用的测试方法都没有很好地解决这些问题，本文在第3章进行了讨论。?? 　　 　　1基于Markov链使用模型的统计测试原理?? 　　 　　在软件统计测试中，软件测试被看做是一个统计方法的问题。它产生软件所有可能使用的一个子集，并以这个子集所表现的性能作为依据来考虑软件的整体使用性能，以度量软件的可靠性，即通过样本推断总体。?? 　　统计测试最成功的就是基于Markov链使用模型的统计测试。基于使用模型的统计测试更经济有效，并且能获得软件的高可靠性[3]。在实际项目中的应用表明，基于Markov链使用模型的统计测试方法可以成功地测试软件。文献[4]给出了基于Markov链使用模型的统计测试的成功应用案例的一个列表。?? 　　描述软件使用的Markov链使用模型定义如下：软件Markov链使用模型定义为一个五元组??M=〈S,Γ,δ,s0,f〉。其中：S是软件使用的状态集合； 　　Γ是转换标记的集合，状态转换标记通常有转换输入和转换概率构成； 　　δ表示软件执行过程中软件状态之间的转移函数，δ：S×Γ→S； 　　s0∈S，是初始状态，它代表软件激活的状态； 　　f∈S，是终止状态，它代表软件终止执行时进入的状态。 　　另外，对?凶刺?s∈S，如果δ(s,γj)=s′。其中：s′∈S，那么∑j(γi×??probability)=1。?? 　　Markov链使用模型可以刻画软件的使用过程，它将软件的使用特征以数学模型的方法表示出来。软件的每一次使用都从Markov链的初态开始经过若干个中间态，最后到达终态。一个简单的Markov链使用模型的图形化表示如图1所示。?? 　　用Markov链来描述软件的使用方式，任何下一个发生的事件只与当前的状态有关，不涉及历史信息。只有满足这个条件才可以使用数学的方法对Markov链进行分析和验证，观察软件预期的使用，指导测试计划。笔者可以根据Markov链使用模型产生软件的随机测试用例，并基于测试的充分性标准完成统计测试计划并执行随机测试用例，最后按照数学和统计学模型对测试结果进行分析，获取软件的可靠性度量。?? 　　 　　2组件复用的统计测试框架的提