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

• 作者: 钱忠胜
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 有限状态机 测试路径 正则表达式 状态迁移图
• 年，卷（期）: 2014,（7）
• 所属期刊栏目: 计算机软件与数据库技术
• 页码范围: 1585-1590
• 页数: 6页
• 分类号: TP311
• 字数: 7520字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱忠胜	江西财经大学信息管理学院	22	244	8.0	15.0