基于马尔可夫链使用模型的系统测试.pdf

第9卷专刊 计算机集成制造系统一cIMS Vol9 SpecialMagazine 2003年12月 ComputerIntegratedManufacturingSystems Dec2003 文章编号：1006—5911(2003)SO一0203—06 基于马尔可夫链使用模型的系统测试 曾风华1，彭澄廉2 (1．埃朗根纽伦堡大学计算机科学学院，德国} 2．复旦大学计算机与信息技术系，上海 200433) 摘要：在系统测试巾，对处理器或部件之间的通信验证是非常重要的。为此，本文提出把统一建模语言的顺 序图转换戚为马尔可夫链标记语言的方法。文中介绍了基于统计软件测试的欧盟项目中有关的主要技术。还介 绍了基于扩展标识语言的马尔可夫链标记语言的主要结构及编码方法。最后，给出了相应的算法及实现技术。 美键词：软件测试；马尔可夫链；使用模型；扩展标记语言 中圈分类号：TP311 文献标识码：A 1996)和TTCN一3(TheTestControl Testing 0引言 在软件开发中，软件测试是非常重要的一环，正 如文献LlJ中所述，测试所耗的时间是不容忽视的： 的测试和测试控制描述语言标准，已被广泛运用于 ·测试的代价可由在软件开发阶段的33％，提 许多不同种类应用软件的测试说明，诸如移动通讯 升至软件维护阶段的67％。 ·一个错误将随软件开发的深入而造成越来越 无线电话(DECT)、宽带技术(BISDN，ATM)， 大的损失。软件故障的早期发现是非常必要的，要 尽量在开发阶段和单元测试阶段发现问题，如果在 S1GTRAN，SIP和OSP)等。 维护阶段或程序集成后进行测试，代价就昂贵多了。 在诸如移动通讯、航空电子、汽车电子，以及竞 特别是在软件发布后，其代价可能增长两个数量级。 争剧烈的军事电子等领域，其软件或系统说明中包 软件测试可分为两个不同但互为补充的领域， 含有非功能需求，例如，实时性的时间限制，通讯带 即结构(白盒)测试法和功能(黑盒)测试法。前者依宽等的资源限制等o]。这些因素将与软件及系统实 赖于程序结构，并基于其实现代码产生测试用例；后 现有关，应在说明书中准确反映。 者进行软件说明书验证，它仅从外部考察软件是否 基于这些非功能说明，我们可以对一个特定系 实现期待的功能。在软件开发中，黑盒测试是很重 统进行建模、分析、优化和测试，还可使用一些支持 要的，而且是实践中经常不得不面对的事实。 非功能测试的特别软件工具来实现这种测试。 计算机支持的协同工作测试中，在对各个部件 1 MaTeLo项目概况 进行单元测试后，还要进行系统集成测试。此时，对 处理器或部件之间的通信验证非常重要。因此， 图1描述了基于统计使用测试“+””的欧洲联 UML—SD，MSC Charts Test 96(MessageSequence 作者筒介：曾风华(1976)，男，上海人，德国埃朗根纽伦堡大学计算机科学学院通讯系统研究组研究员．硬士，主要从事基于MSC／UML (SequenceDiagram)的通讯系统描述技术、软件测试、XML盈马尔可夫链等方面的研究。 E mailizhen@informatik．uni—erlangen．de。 万方数据 计算机集成制造系统clMs