一种基于有限状态机的测试路径生成方法

摘要

有限状态机（Finite State Machine,简称FSM）模型是软件测试领域的流行测试模型之一.基于FSM模型生成测试用例的方法假设给定的模型与用户的需求一致,测试的目标就是检查被测实现是否与模型一致.给出了FSM的代数表示及其相关的测试理论,利用正则表达式的结构表示测试路径（抽象测试用例）,使测试分析变得更简单并利于形式推导.对任何抽象级的FSM,都可以从中产生满足确定测试准则的测试用例,它们是抽象的,对应不同的抽象级别,适合不同层次上的测试.最后还对FSM中完全路径的条数展开了分析,这便于考察满足完全路径覆盖所需的最多测试用例个数以及满足迁移覆盖所需的最少测试用例个数.