罗伯特·纳吉;杰拉尔多·施奈德;亚拉姆·蒂莫菲奇克 实时图形系统的自动测试。 （英语） Zbl 1381.68177号 Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。《计算机科学讲义》7795463-477（2013）。 小结：在本文中，我们讨论了实时图形系统验证的一般主题。我们特别介绍了运行时图形验证框架（RUGVEF），在该框架中，我们将运行时验证和图像分析技术结合起来，以自动测试图形系统。我们以案例研究的形式提供了概念验证，其中RUGVEF在工业环境中进行评估，以验证瑞典广播公司使用的在线图形播放系统。我们报告了评估的实验结果，特别是发现了五个先前未知的缺陷。关于整个系列，请参见[Zbl 1268.68030号]. MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68单位05 计算机图形；计算几何（数字和算法方面） 软件：RUGVEF公司;CasparCG公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Nagy}等人，Lect。注释计算。科学。7795、463-477（2013年；Zbl 1381.68177） 全文： 内政部