基于扩展有限状态机测试路径生成方法研究

发布时间：2021-06-30 07:34

　　如今软件测试并不像传统的测试技术那样,将测试视为软件编码后的第一个环节,伴随着软件工程的不断发展,软件测试在软件生命周期每个阶段中的地位都在不断地提高。在实际工程问题中,被测系统往往既庞大又复杂,这使得软件测试用例也变得繁杂且无法有序整顿。那么基于模型的软件测试技术是解决以上问题的可选方案,扩展有限状态机模型可以同时对被测系统的控制部分以及数据部分建模,因为它除了有状态的集合以及迁移的集合以外,还用一组变量补充了迁移集合的信息进而扩展了有限状态机模型的结构。因此,对于各式各样的被测系统都可以用扩展有限状态模型进行建模。但是迁移路径之间的数据流依赖性会导致扩展有限状态机模型迁移路径的不可行情况,这使得没有测试数据可以触发该不可行迁移路径。据此,本文重点研究了基于扩展有限状态机模型可行性测试路径的生成方法。首先,基于被测系统的扩展有限状态机模型状态迁移之间数据流的依赖关系,对迁移序列进行不可行判定,以及利用迁移信息的赋值操作类型和守卫条件运算符的难易满足程度进行排列组合,计算迁移路径的不可行程度值;然后根据扩展有限状态机模型的状态迁移图生成状态迁移树,以此来降低测试的复杂性,也便于采用迁移... 

【文章来源】：南华大学湖南省

【文章页数】：72 页

【学位级别】：硕士

【部分图文】：

实验结果数据图

第4章实例与分析45图4.7实验结果数据图图4.8结果对比折线图根据折线图4.8，下面将从三个方面对结果进行分析：（1）本文所提出的方法与ST方法生成的测试路径均满足了基于扩展有限状态机模型的迁移覆盖准则，在迁移覆盖率方面达到了100%。（2）在迁移对覆盖率方面，本文基于迁移对覆盖准则生成测试路径，但因迁移对之间数据流依赖性造成的不可行情况，导致迁移对覆盖率没有达到100%，但对于ST方法来说，提高了1.2%，因此本文所提方法生成的测试路径更加完备，覆盖面更广。（3）由于ST方法无法解决迁移自循环的计数器问题，且仅满足迁移覆盖


本文编号：3257327