摘要
扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.
Extended Finite State Machine（EFSM）is widely used as fundamental model in various software systems.However infeasible transition paths in EFSM,which is hard to detect,are quite common in real world.An infeasible path detection method is proposed by analyzing the dependence of three types of variables（counter variable,selector variable and paradoxical variable）on transitions.The experimental results based on four EFSM models show that the proposed approach can detect infeasible paths efficiently.
出处
《内蒙古大学学报（自然科学版）》
CAS
CSCD
北大核心
2011年第5期498-504,共7页
Journal of Inner Mongolia University：Natural Science Edition
基金
国家自然科学基金项目(No.60903002
No.61073035)
