埃里克·王;崔策伟;当、哲;托马斯·费舍尔。;杨林敏 零知识黑盒测试：故障在哪里？ （英语） Zbl 1297.68059号 发现的国际期刊。计算。科学。 25，第2期，195-217（2014）. 摘要：我们导出了黑箱软件系统规格说明图所获得的最大熵率与测试系统所获得的故障概率（P_{n}）之间的定量关系，作为测试序列长度的函数。通过将“黑盒”等同于最大熵原理，我们将规格说明图建模为马尔可夫链，对于每个不同的值（n），该马尔可夫链将获得该值的最大熵率。因此，马尔可夫转移概率矩阵在（n）中不是常数，而是构成转移矩阵序列（T_{1}，ldots，T_{n}）。我们证明，对于非平凡规范图，无论（T_{n}）的演化如何，发现错误的概率都随着测试长度的增加而渐近为零。这意味着零知识测试只适用于小规模的测试。我们用一个自动驾驶仪控制系统的系统规范图的具体例子来说明结果，并绘制其曲线（P_{n}）。 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 94甲17 信息的度量，熵 关键词：黑盒测试;最大熵原理;熵率;故障检测 PDF格式BibTeX公司 XML格式引用 \textit{E.Wang}等人，国际期刊发现。计算。科学。25，编号2195-217（2014；兹bl 1297.68059） 全文： 内政部 参考文献： [1] 内政部：10.1109/TSE.2007.1005·doi:10.1109/TSE.2007.1005 [2] Baah G.K.，美国纽约州，第189页–（2008年） [3] 内政部：10.1002/stvr.217·doi:10.1002/stvr.217 [4] 内政部：10.1214/aoms/1177693067·Zbl 0246.62085号 ·doi:10.1214/aoms/1177693067 [5] DOI:10.1103/PhysRevLett.102.160602·doi:10.1103/PhysRevLett.102.160602 [6] 内政部：10.1109/18.720546·Zbl 0933.94012号 ·doi:10.1109/18.720546 [7] 崔C.，Fundam。通知。110（1）第95页–（2011） [8] 内政部：10.1109/32.879815·doi:10.1009/32.879815 [9] Nachmanson L.，美国纽约州，第55页–（2004） [10] 数字对象标识码：10.1002/j.1538-7305.1948.tb01338.x·Zbl 1154.94303号 ·doi:10.1002/j.1538-7305.1948.tb01338.x [11] DOI:10.1007/s00165-011-0175-6·Zbl 1226.68031号 ·doi:10.1007/s00165-011-0175-6 [12] DOI:10.10109次/次.2007.70771·doi:10.1109/TSE.2007.70771 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。