基于非确定有限状态机模型的测试用例选择  

作　　者：郑学军[1] 王春森[1] 

机构地区：[1]复旦大学计算机科学系,上海200433

出　　处：《计算机科学》1996年第6期94-96,共3页Computer Science

摘　　要：在异构型系统中相互作用的正确性是通过一致性测试来保证的,自从协议工程领域出现以来,通信协议的一致性测试一直是人们研究的一个课题。This paper presents a method of generating automatically test sequences for systems modeled as non-deterministic finite state machines.Generate state charatcterization set for each state in the state machines.Then,generate test sequences to test software.It can also be used for testing dynamic model in object-oriented method.

关 键 词：通信协议 有限状态机模型 测试 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]