A data flow coverage testing tool for C

[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools Pub Date : 1992-05-27 DOI:10.1109/AQSDT.1992.205829

J. R. Horgan, S. London

引用次数: 112

Abstract

Describes ATAC (Automatic Test Analysis for C), a tool for data flow coverage testing of C programs. ATAC is being used as a research instrument at Purdue and Bellcore and as a software development tool at Bellcore. The authors discuss the design of ATAC, a preliminary view of its uses in development, and its research uses.<>

查看原文本刊更多论文

数据流覆盖测试工具

描述了ATAC (C语言自动测试分析)，一个用于测试C语言程序的数据流覆盖率的工具。ATAC在普渡大学和贝尔科大学被用作研究工具，在贝尔科大学被用作软件开发工具。作者讨论了ATAC的设计，并对其在开发中的用途和研究用途作了初步的展望。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

[1992] Proceedings of the Second Symposium on Assessment of Quality Software Development Tools

自引率

0.00%

发文量