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

小 型 微 型 计 算 机 系 统 2014年 7月 第 7期 JournalofChineseComputerSystems VOl_35 NO．7 2014 一 种基于有限状态机的测试路径生成方法 钱 忠 胜 (江西财经大学信息管理学院，南昌330013) E-mail：changesme@ 163．com 摘 要 ：有限状态机 (FiniteStateMachine，简称FSM)模型是软件测试领域的流行测试模型之一．基于FSM模型生成测试用例 的方法假设给定的模型与用户的需求一致，测试的目标就是检查被测实现是否与模型一致．给 出了FSM 的代数表示及其相关 的测试理论，利用正则表达式的结构表示测试路径(抽象测试用例)，使测试分析变得更简单并利于形式推导．对任何抽象级的 FSM，都可以从中产生满足确定测试准则的测试用例，它们是抽象的，对应不同的抽象级别，适合不同层次上的测试．最后还对 FSM 中完全路径的条数展开了分析 ，这便于考察满足完全路径覆盖所需的最多测试用例个数以及满足迁移覆盖所需的最少测 试用例个数． 关 键 词：有限状态机；测试路径 ；正则表达式；状态迁移图 中图分类号：TP31l 文献标识码：A 文章 编 号：1000—1220(2014)07—1585-06 TowardsGeneratingTestPathsBasedonFiniteStateMachines QIANZhong—sbeng (SchoolofInformationTechnology。JiangxiUniversityofFinance＆EconomicslNnachnag330013，China) Abstract：FiniteSatteMachine(FSMforshort)isoneofthepopularmodelsofrsoftwraetesting．Theapproachtogeneratingtestca- sesbasedonFSM sassumesthathtegivenmodelisidentical wiht userrequirementsandhtegoalofhtetestingistocheckifhteimple— mentationconformstohtegivenmode1．ItgiveshtealgebraicrepresenattionofFSM anditscorrespondingtestinghteory，andemploys regularexpressionstodescribetestpahts(abstracttestcases)，whichsimplifieshtetestanalysisandhelpstoconductofmraldeduc— tion．Forna FSM atnayabsrtactlevel，htetestcasessatisfyingacertaintestcriterionCna begenerated；htesetestcasesraeabstract， correspondingtoacertainabsrtactlevelandappropriateofrthetestinginhtatabsrtactleve1．Finally，itanalyzesthenumberofcom— pletepahtsinna FSM ，asisconvenientofrconsideringhtemaximalnumberoftestcasesneededtosatisfycompletepaht coveragecri- terionnadhteminimal numberoftestcasesneededtosatisfyrtnasitioncoveragecriterionrespectively． Keywords：finitesattemachine；testpaht ；reuglra expression；statertnasitiondiagram 1 引 言 此，这种技术被称为基于模型的测试．迄今为止，针对不同的 软件及不同的测试 目的，已经提出多种类型的测试模型，比