基于马尔可夫链模型的软件测试方法的研究与实现.pdfVIP

基于马尔可夫链模型的软件测试方法的研窒 塞 塑墨!笠 基于马尔可夫链模型的软件测试方法的研究与实现 · 马海云，张少刚 (天水师范学院物信学院 甘肃天水，741001) 摘 要：在马尔可夫链模型的基础上，将软件测试结果的分析问题转化为一个经典概率问题。通过数学方法 实现 了软件测试模型的简化，加速了测试用例的生成，从而降低了测试的复杂度，解决了简化测试用例难度的 问题 通过实例证明，这种测试技术具有一定的实用性和有效性。 关键词：软件可靠性；软件测试技术；马尔可夫链；测试用例：黑盒测试 Abstrad：IIltIliSpaper，basedonM~kova1aiIlModel，analycalpr~lemofs waretesting~sultc~ gesnitoclassics 蝴 m哆pIo1)lelILUsnigmathmethodrealize li哆ofsoftware sth培model，qmc~nrestcaSeg~ucmg，mdreducetesdng comple~ ，~mlveproblem0fsi~ mgtestcasedifficu~．n∞ughexampl~，itispr0vcdmatmetestt~ ologyhave血e practicabili~，ef丘d∞cy． rwords：S矾 ware蚓 ialm ；s础}姗嘴 tes te妇‘Io1og)r；Markovchair；I case；Blac] 中图分类号：TPS11 文献标识码：A 文章编号：1001—9227(2009)02—0078—03 0 引 言 条件中确定测试数据，来检查程序是否都能产生正确的 软件测试是软件工程领域必不可少的过程 ，在软件 输出。但是，按照黑盒测试方法进行穷举测试，要花费 生存周期中占有非常重要的位置 。据统计，软件开发总 大量 的时间、人力和费用 ，尽管为 了充分发现软件 中的 成本中，用在测试上的开销要 占30％～50％，特殊情况 所有错误和缺陷，彻底的做法是针对所有可能的数据进 下，对可靠性要求很高的软件，其测试费用甚至高达所 行测试，但事实上是不可能的。为了节省时间和资源， 有其他软件工程阶段费用总和的3～5倍…。软件测试方法 提高测试效率，就必须设计测试用例，只要使待测软件 一 般分为两种：白盒测试与黑盒测试。其中，白盒测试又 在功能上满足用户需求。也就是从大量的可用测试用例 称为结构测试、逻辑驱动测试或基于程序本身的测试， 中精心选取少量的测试数据，使得采用这些测试数据能 着重于程序的内部结构及算法，通常不关心功能与性能指 够达到最佳的测试效果，即能够高效地发现软件 中所有 标；黑盒测试又称为功能测试、数据驱动测试或基于规 的错误和缺陷。下面的测试方法是从功能测试的角度来 格说明的测试，实际上是站在最终用户的立场上，检验 考虑的。 输入输出信息及系统性能指标是否符合规格说明书中有 关功能需求及性能需求的规定。 2 马尔可夫链模型的简化分析方法 2．1 马尔可夫链模型 1 黑盒测试埋 马尔可夫链是满足下面两个假设的一种随机过程 。 软件的黑盒测试就是把测试对象看做一个黑盒子，完 t+1时刻系统状态的概率分布只与t时刻的状态有关，与t 全不考虑程序内部的逻辑结构和内部特性，只依据程序 时刻以前的状态无关；从t时刻到t+1时刻的状态转移与t 的需求规格说明书，检查程序的功能是否符合要求 。黑 的值无关。一个马尔可夫链模型可表示为M=(S，P，Q)， 盒