CAJ | 학술논문

基于扩展有限状态机(EFSM)模型自动生成测试序列可以提高测试效率.由于EFSM模型包含丰富的变量和谓词条件,它们之间的冲突可能导致自动生成的测试序列不可执行.对EFSM变迁及变迁之间的关联关系进行了详细的讨论和分析,定义了一个邻接变迁关联图,提出了一种自适应EFSM可执行测试序列生成算法.新算法首先根据变量和谓词包含情况对变迁进行分类,然后深入挖掘了邻接变迁之间的关联关系,最后,基于自适应预测搜索函数启发式引导可达性分析树扩展生成可执行的测试序列.实验数据表明,与宽度优先可达性分析方法相比,新算法可以有效降低可达性分析过程中产生状态空间爆炸问题的概率,从而提高测试序列自动生成的效率.在最坏的情况下,新算法的计算时空复杂度也等同于宽度优先算法.
기우확전유한상태궤(EFSM)모형자동생성측시서렬가이제고측시효솔.유우EFSM모형포함봉부적변량화위사조건,타문지간적충돌가능도치자동생성적측시서렬불가집행.대EFSM변천급변천지간적관련관계진행료상세적토론화분석,정의료일개린접변천관련도,제출료일충자괄응EFSM가집행측시서렬생성산법.신산법수선근거변량화위사포함정황대변천진행분류,연후심입알굴료린접변천지간적관련관계,최후,기우자괄응예측수색함수계발식인도가체성분석수확전생성가집행적측시서렬.실험수거표명,여관도우선가체성분석방법상비,신산법가이유효강저가체성분석과정중산생상태공간폭작문제적개솔,종이제고측시서렬자동생성적효솔.재최배적정황하,신산법적계산시공복잡도야등동우관도우선산법.