Testing properties of dataflow program operators
Testing properties of dataflow program operators
复制标题
测试数据流程序运算符的属性
DOI：
10.1109/ase.2013.6693071
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Kun
中科院分区：
文献类型：
--
作者：
Zhihong Xu;Martin Hirzel;G. Rothermel;Kun
数据流编程语言，将程序表示为数据流和运算符的图形，正变得越来越流行，并被用于创建广泛的商业软件应用程序。用这些语言编写的程序以及用于编译和运行这些程序的系统的可靠性取决于与操作符相关的语义属性的正确性。不幸的是，这些属性通常定义得很差，并且经常不进行检查，这可能导致使用操作符的程序中出现各种各样的问题。本文提出了一种通过检查运算符的必要属性来提高数据流程序可靠性的方法。我们的方法是动态的，并且涉及生成测试，其结果被检查以确定特定属性是否保持。我们提出的经验数据表明，我们的方法在评估财产状况方面既有效又高效。
Dataflow programming languages, which represent programs as graphs of data streams and operators, are becoming increasingly popular and being used to create a wide array of commercial software applications. The dependability of programs written in these languages, as well as the systems used to compile and run these programs, hinges on the correctness of the semantic properties associated with operators. Unfortunately, these properties are often poorly defined, and frequently are not checked, and this can lead to a wide range of problems in the programs that use the operators. In this paper we present an approach for improving the dependability of dataflow programs by checking operators for necessary properties. Our approach is dynamic, and involves generating tests whose results are checked to determine whether specific properties hold or not. We present empirical data that shows that our approach is both effective and efficient at assessing the status of properties.
DOI：
10.14778/2350229.2350244
发表时间：
2012-07
期刊：
ArXiv
影响因子：
--
作者：
Fabian Hueske;Mathias Peters;Matthias Sax;Astrid Rheinländer;Rico Bergmann;Aljoscha Krettek;K. Tzoumas-K.-Tzouma
通讯作者：
Fabian Hueske;Mathias Peters;Matthias Sax;Astrid Rheinländer;Rico Bergmann;Aljoscha Krettek;K. Tzoumas-K.-Tzouma