分享到:

基于全观察者的多输入输出变迁系统拒绝测试研究

拒绝测试(refusal testing)是标号变迁系统LTS测试领域中的一个重要理论。在拒绝测试中,测试者不仅能检测到动作可以发生,而且能检测到动作不能发生,即动作被拒绝,从而具备了对系统任意状态下的合法和非法行为的完全的辨识能力。多输入输出变迁系统(MIOTS)拒绝测试是标号变迁系统拒绝测试在分布式特性测试方向上扩展的最新研究成果。本文的研究内容与结论包括:综述了八十年代以来标号变迁系统及其扩展模型——输入输出变迁系统IOTS和多输入输出变迁系统MIOTS的拒绝测试理论。其中,MIOTS拒绝测试理论是基于单一观察者的。单一观察者只能串行的观察各个输出通道,因此生成的测试集规模很大。为了有效减小测试集的规模,本文提出了全观察者概念,建立了一种基于全观察者的MIOTS拒绝测试理论框架,研究了合理的及完备的全观察者测试集的生成问题,考察了全观察者测试在网络协议测试中的应用。本文进一步指出了分解式的MIOTS单一观察者测试生成方法在  (本文共197页) 本文目录 | 阅读全文>>

《作品》2019年01期
作品

观察者(短篇科幻小说)

一、观察者01我是一个观察者。我们这个族群,一生下来,就互不相见,与世隔绝。我们没有父母,没有亲人,唯一生存的空间,是5米×5米×5米的立方体小屋之...  (本文共10页)

权威出处: 《作品》2019年01期
《求学》2014年47期
求学

人的年龄越大,心就越小

...  (本文共1页)

权威出处: 《求学》2014年47期
《大学物理》1988年10期
大学物理

当立方体作高速运动时观察者不可能同时看到它的前表面和后表面

本文分别选取观察者参照系S和立方体参照系S',论证当立方...  (本文共2页) 阅读全文>>

《高中生》2012年12期
高中生

角度与距离

...  (本文共1页) 阅读全文>>

《电脑校园》2004年06期
电脑校园

名剧团之生活观察者

~~名剧团之...  (本文共1页) 阅读全文>>