基于有限状态机的一致性测试模型 (2003年)

【文件属性】：

文件名称：基于有限状态机的一致性测试模型 (2003年)

文件大小：451KB

文件格式：PDF

更新时间：2024-06-10 12:22:09

工程技术 论文

基于有限状态机测试方法是进行协议一致性测试、图形用户界面测试和面向对象测试的重要方法之一。首先给出了用于有限状态机一致性测试的定义和性质,接着讨论了基于有限状态机一致性测试的概念和步骤,最后提出了基于有限状态机及扩展的有限状态机的一致性测试模型。