Testing of Ada compiler diagnostics
-
Published:1993-07
Issue:4
Volume:XIII
Page:71-76
-
ISSN:1094-3641
-
Container-title:ACM SIGAda Ada Letters
-
language:en
-
Short-container-title:Ada Lett.
Author:
Kaufman Vitali Sh.,Pavlov Mikhail V.,Rybin Sergei I.
Abstract
This paper presents the main results obtained by the research group of the Computer Science Department of Moscow State University in developing methods and tools for validating compiler diagnostics.Methods of diagnostic test design based on partially formalized models are shown. In addition, a diagnostic test suite and results of its application are described.
Publisher
Association for Computing Machinery (ACM)
Reference10 articles.
1. 5
. The programming language Ada reference manual. ANSI/MIL-STD- 1815A. 5. The programming language Ada reference manual. ANSI/MIL-STD- 1815A.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Ada in Russia;ACM SIGAda Ada Letters;1994-05