随着计算机软件行业迅速发展,需求日益复杂,软件产品质量的提高变得越来越重要,已成为人们关注的焦点。软件测试是保证软件质量最......

二十一世纪，计算机产业的发展是信息化过程中不可或缺的部分。随着软件产业的不断发展和进步，软件的需求越来越复杂，规模也越来越庞大......

对于可扩展有限状态机(EFSM)规格说明,影响路径测试数据生成成本的因素很多,它们之间可能存在着相互关联,对测试数据生成成本的影......

可扩展有限状态机（EFSM）模型的测试用例生成包括测试路径生成和测试数据生成两部分。然而，目前针对EFSM模型的测试研究大多集中于测试......

可扩展有限状态机EFSM（Extended Finite State Machine）是目前常用的一种描述软件状态和行为的模型，研究EFSM模型的测试数据自动生成......