我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:主页 > 变迁系统 >

变迁系统 的翻译结果

归档日期:09-15       文本归类:变迁系统      文章编辑:爱尚语录

  混合系统是一种离散和连续构件交织的系统.通常以微分方程为连续模型,以离散事件系统或自动机为离散模型.通过分析混合系统的微观结构,文中提出了面向系统设计的描述语言DDL.它能直观、精确刻画混合现象,方便设计决策描述,而且通过控制器符号与系统指称约束的延迟,为系统设计带来很大的灵活性.由DDL描述的混合系统,经内部通信隐藏和系统单步协调积,可转换为混合

  对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段.在本文中我们提出了一种基于并发TTCN操作语义的互操作性测试系统的构造方法.并发TTCN是一种能够处理并发测试行为描述的语言,我们通过使用标号变迁系统形式化地定义了它的操作语义,并描述了基于这种语言的操作语义的互操作性测试系统的测试执行和测试判决过程.我们认为这种方法对研究形式化的协议互操作性测试理论是很有帮助的.

  探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节.本文提出了一种形式化的基于测试描述语言TTCN的操作语义的测试执行方法,并使用标号变迁系统刻画了这一方法的整个执行过程,同时讨论了这个方法的一个具体实现.这种形式化的基于TTCN的测试执行方法非常适合于构造通用的协议测试系统,同时也是进行测试集的自动验证的有效手段

本文链接:http://foungjampee.com/bianqianxitong/40/