浅谈UML模型嵌入式软件测试用例.docVIP

浅谈UML模型嵌入式软件测试用例 　　摘要：软件测试是保证嵌入式软件质量的重要手段之一，测试用例集的完备性是软件测试的关键因素。研究一种基于统一建模语言（UML）状态图生成测试用例集的方法，根据状态、迁移不变性原则以及动作映射，将UML状态图转换为扩展有限状态机（EFSM），采用广度优先搜索满足状态、迁移覆盖准则，由测试序列建立查找表生成测试用例集。 　　关键词：嵌入式软件 UML模型 测试用例 　　一、典型模型 　　软件测试中常用的典型模型有： FSM、UML 模型。 　　1.1 FSM 　　FSM 表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。状态转换的时候接收输入，产生输出，状态机中的每个状态可以迁移到零个或多个状态，输入字串决定执行哪个状态的迁移，可以用状态迁移图或状态迁移矩阵表示，根据状态覆盖或迁移覆盖产生测试用例，特别适合描述反应式软件系统。FSM 提供了一种便利的对软件行为建模的方式，具有成熟的理论基础，可以利用形式语言和自动机理论来设计、操纵和分析其模型，对于复杂的软件构造状态机模型工作量较大，目前已经存在直接从 FSM 模型产生测试用例的方法。EFSM 不存在层次结构，没有嵌套状态和并行状态，将状态属性分为若干个组，表示系统在层次中的若干个并行成分.EFSM 基本元素包括状态集、转换、初始状态和目标状态等。 　　1.2 UML 模型 　　UML在