从E-LOTOS到图形E-LOTOS的一个编辑和自动转换的编译软件

Ｅ－ＬＯＴＯＳ是形式描述技术ＬＯＴＯＳ的增强版．本文首先提出了一种Ｅ－ＬＯＴＯＳ的图形表示方法，称为图形Ｅ－ＬＯＴＯＳ（即ＧＥ－ＬＯＴＯＳ）．然后利用面向对象程序设计语言Ｊａｖａ 开发出了一个从文本Ｅ－ＬＯＴＯＳ到图形Ｅ－ＬＯＴＯＳ编辑和自动转换编译工具软件．该工具软件可以把Ｅ－ＬＯＴＯＳ以抽象层的形式体现出来．

一种有效的形式描述技术:GE-LOTOS

利用面向对象程序设计语言 Java完善从文体 LOTOS到 GE-LOTOS的工具软件 ,使得以抽象层形式体现出来的 GE-LOTOS的某一子过程或所有子过程动态展开 .而且为了方便用户 ,满足工业界和其它领域的要求 ,给出了一个从 GE-LOTOS到 E-LOTOS描述的一个算法 .

基于Petri网的数据流与控制流相结合的协议测试

提出一种数据流与控制流相结合的测试方法，在Ｐｅｔｒｉ网模型上对于控制流选定操作符覆盖标准，对于数据流采用ａｌ－ｄｅｆｓ标准。

关于路由协议的一致性测试的一种形式方法

为了一致性测试 Internet网上的一个标准路由信息协议 ( RIP协议 ) ,利用形式描述技术语言 E-LOTOS对其进行了描述 ,然后把文本描述的 E-LOTOS转换为 GE-LOTOS.并在此上产生了

既考虑数据流又考虑控制流的测试方法分析及比较

研究数据流与控制流相结合的测试方法，为了进行比较，采用了三个不同的数据流标准，对于控制流选定操作符覆盖标准，提出了求可执行变迁序列的算法，并且给出了关于测试方法。

基于设备生命周期Petri网的WIA-PA协议一致性测试方法

针对传统分层协议测试方法面对WIA-PA跨层协议栈架构、混合拓扑结构等情形存在重复测试、测试集不完备等问题,提出了基于设备生命周期Petri网的WIA-PA协议一致性测试集生成方法.针对WIA-PA设备从加入网络到离开网络的整个生命周期,建立Petri网模型;并利用可覆盖性图进行动态特征分析,进而抽取WIA-PA的一致性测试集.该文设计并开发了WIA-PA协议一致性测试平台,基于该平台比较了分层测试方法和基于设备生命周期的测试方法,对比结果显示了所提方法的有效性.