compiler testing

wang@pilchuck.data-io.com (Frank Wang)
28 Aug 87 22:09:56 GMT

          From comp.compilers
Related articles
compiler testing wang@pilchuck.data-io.com (1987-08-28)
compiler testing harvard!rutgers!eddie.mit.edu!culdev1!drw (1987-09-18)
| List of all articles for this month |
From: wang@pilchuck.data-io.com (Frank Wang)
Newsgroups: comp.compilers
Date: 28 Aug 87 22:09:56 GMT
Organization: Data I/O Corporation; Redmond, WA

We are designing a special purpose compiler for a new product. It seems
not very difficult to make it work. But testing is a problem to us now.
How can I make sure that no invalid syntax or other errors are not validated
by this compiler? Are there any books or articles about this?


Frank Wang
[If you use a compiler generator like yacc you can be reasonbly sure that the
language that it parses is the same as the one defined by the grammar. Beyond
that, I've not seen much work about making sure that all errors are caught by
the compiler; people seem to be more concerned about making sure that correct
programs compile correctly than that incorrect programs are all failed
correctly. -John]
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.