|compiler testing email@example.com (1987-08-28)|
|compiler testing harvard!rutgers!eddie.mit.edu!culdev1!drw (1987-09-18)|
|From:||firstname.lastname@example.org (Frank Wang)|
|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?
[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
Return to the
Search the comp.compilers archives again.