基于模块关系图测试程序生成.pdfVIP

～—兰±旦苎曼查堡生簦兰查叁坚 基于模块关系图的测试程序生成 王晓字徐拾义 00072) (上海大学计算机学院上海2 rememberme@——sohu．com 摘要： 分析了科学计算软件测试和度量的特点并结合程序的性质提出了描述模块之间关系 的模块关系图(MRD)模型，然后研究了这一模型在软件自动测试程序生成中的具体应用。在 此基础上，对回归测试中重测试模块进行了探索，提出了相应的算法。将以上研究思想应用于 国家自然科学基金项目“软件可测性设计新概念一软件内建自测试”，实践证明，该模型有助 于软件自动化测试的进一步研究。 关键词：软件测试模块关系图 回归测试静态分析 1引言 计算机已经应用到国民经济和社会生活的各个方面。作为计算机的灵魂，软件在其中起着举足轻重 的作_【}』。软件的失效有可能造成巨大的经济损失，甚至危及人的生命安全，软件质量问题现已成为制约 计算机应_I{}】的主要因素之一。由于测试是保证软件质量的主要手段，而且测试费用己上升到整个开发费 _L}j的50％以上，迫使人们对软件测试]：作在理论和实践方面开展广泛深入的研究。但是，软件测试毕竟 是一项费时、费力并且单调乏味的活动，测试人员要准备、执行、分析大量的测试用例，构建驱动模块、 桩模块以及比较测试结果。测试过程的自动化讲有效减轻测试人员的劳动强度，提高测试的效率，从而 提高软件的质量。 Relation 本文提出模块关系图(Module Diagram)模型，用以描述科学计算程序中模块之间的关系；同 时以此模型为基础，实现了测试程序的自动生成，完成了程序的自动化测试。 2模块关系图 科学计算程序中各个模块之间的关系决定了测试和度量的方法和策略，下面给出模块关系图的形式 化定义： 定义1模块是科学计算程序中的基本组成元素，模块中定义有变量和函数等。 M2{mi} 该定义表明M是所有模块的集合，m．表示单个模块。 定义2在科学计算中模块之间的关系主要是调用关系，表示如下： I-{Callto(mi，m1)) mi，ml∈M} Callto(mi，m1)={mi，mjl 定义3有向图G由两个集合v和E组成，记为：G=(V，E) 其中：V是顶点的有穷非空集合，E是v中顶点偶对(称为有向边)的有穷集。一条有 向边是由两个顶点组成的有序对，有序对通常用尖括号表示。以顶点v为始点的边的 水渫地椰刨罔家自然科学基金19992002)的资助。 作者简介：土晓字 1980年2月．男．河北． 硕士研究生，研究方向为容错计算及软件测试； 徐抬义 1941年6月．男．上海． 教授．研究方向为容错计算、VLSI的故障诊断与测试、软件测试及可靠性设计 —— 兰：上旦全璺查堕生簦兰查垒望 日称为V的入度(Indegree)，记为ID(v)。 定义4科学计算程序P的MRD，可表示为：P=(M，L) 其中：M是模块的集合．L是模块调_【；}l关系的集合，如图1所示。 图I MRD模型 MRD中有向边的指向反映了程序中各模块在实现上的依赖关系，即发出有向边的节点所代表的模 块在实现上总是依赖于接收有向边的节点所代表的模块。 2．1提出MRD图的意义 MRD幽能帮助解决程序测试维护中的以F3个问题： 1)为程序结构提供了一个可视化的描述，可以帮助程序维护人员或测试人员理解源程序。 2)可为程序的测试提供一个使所需构造测试桩的耗费最小的模块的测试次序． 3)当程序中某一个模块被修改后，可确定该修改可能波及的范围。为保证修改后程序的止确性，应 对受此修改影响的模块重新予以测试，也就是回归测试。 2．2根据MRD图确定模块的