中文摘要：

主要研究成果；1从LOTOS说明到Petri网的转换；提出了LOTOS说明的Petri网模型，并给出从基本LOTOS表达式到Petri网转换的方法。2，测试非确定性系统的一种结构化方法；根据带标记的转换系统模型，给出集合识别的概念，重新定义了区别序列和UIO序列，提出了结构化的测试方法。3非确定性系统相容性测试的差错检测方法；在集合识别概念的基础上，提出了测试和推导诊断序列的新模型，给出了推导区别序列和UIO序列的新方法。4网络协议的数据流测试方法；在Petri网模拟的基础上，提出了最大输入输出定义链标准，根据这一标准给出了一组产生数据流测试序列的新算法。5，测试工具软件；包括图形编辑，图文之间的转换，系统的执行等功能。