摘要
在异构型系统中相互作用的正确性是通过一致性测试来保证的,自从协议工程领域出现以来,通信协议的一致性测试一直是人们研究的一个课题。
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.
出处
《计算机科学》
CSCD
北大核心
1996年第6期94-96,共3页
Computer Science
关键词
通信协议
有限状态机模型
测试
Non-deterministic finite state machine
Test sequence
State characterization set.
