×
陈，J。;海伦斯，R.M。;H·乌拉尔。

克服分布式测试体系结构中的可观测性问题。 （英语） 兹比尔1187.68078

信息处理。莱特。 98，第5期，177-182（2006）.

引用于2文件

理学硕士：

64岁以下 分布式系统
65年第68季度 形式语言和自动机

关键词：

有限状态机;测试;分布式系统;可观测性;可控性
PDF格式BibTeX公司 XML格式引用
\textit{J.Chen}等人，《信息处理》。莱特。98，第5号，177--182（2006；Zbl 1187.68078）
全文： 内政部 链接

参考文献：

[1] 博伊德，S。；Ural，H.，协议测试中的同步问题及其复杂性，Inform。过程。莱特。，40, 3, 131-136 (1991) ·Zbl 0745.68024号
[2] Cacciari，L。；Rafiq，O.，分布式测试中的可控性和可观测性，Inform。软件技术。，41, 767-780 (1999)
[3] 陈，J。；Hierons，R.M。；Ural，H.，《分布式测试中解决可观测性问题的条件》，（第24届IFIP网络和分布式系统形式化技术国际会议（FORTE 2004）。第24届IFIP网络和分布式系统形式化技术国际会议（FORTE 2004），计算机课堂讲稿。科学。，第3235卷（2004年），《斯普林格·弗拉格：柏林斯普林格尔·弗拉格》，229-242·Zbl 1110.68334号
[4] Khoumsi，A.，测试分布式系统的时间方法，IEEE Trans。软件工程，28，11，1085-1103（2002）
[5] Lee，D。；Yannakakis，M.，《测试有限状态机的原理和方法——一项调查》，Proc。IEEE，84，8，1089-1123（1996）
[6] 罗，G。；Dssouli，R。；Bochmann，G.v。；文卡塔拉姆，P。；Ghedamsi，A.，分布式接口的测试生成，Comput。标准接口，16，119-132（1994）
[7] Sarikaya，B。；Bochmann，G.v.，协议测试中的同步和规范问题，IEEE Trans。社区。，32, 389-395 (1984)
[8] 泰，K.C。；Young，Y.C.，有限状态机的可同步测试序列，计算。网络ISDN系统，30，12，1111-1134（1998）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。