Re: Pascal for MSP430. Quality assurance tests advice wanted.

"Ray S. Dillinger" <bear@sonic.net>
26 Dec 1996 14:09:01 -0500

          From comp.compilers

Related articles
Pascal for MSP430. Quality assurance tests advice wanted. skuin@online.ru (Boris Skuin) (1996-12-20)
Re: Pascal for MSP430. Quality assurance tests advice wanted. khays@sequent.com (1996-12-21)
Re: Pascal for MSP430. Quality assurance tests advice wanted. derek@knosof.co.uk (1996-12-24)
Re: Pascal for MSP430. Quality assurance tests advice wanted. bear@sonic.net (Ray S. Dillinger) (1996-12-26)
Re: Pascal for MSP430. Quality assurance tests advice wanted. preston@tera.com (1996-12-27)
Re: Pascal for MSP430. Quality assurance tests advice wanted. gkasten@auco.com (Glenn Kasten) (1996-12-27)
| List of all articles for this month |

From: "Ray S. Dillinger" <bear@sonic.net>
Newsgroups: comp.compilers
Date: 26 Dec 1996 14:09:01 -0500
Organization: Cognitive Dissidents
References: 96-12-145
Keywords: Pascal, testing

Boris Skuin wrote:
> I have written Pascal Cross compiler for MSP430. I have tested
> it rather carefully (test programs approx. 3000 lines long), but from
> time to time (very rarely though) a bug is founded.
> Are there any good methods of 100% compiler testing, or may be someone
> already has good Pascal compiler tests as example?


There is no 100% compiler test known to theorists (though Zamir
Bavel's work in automata theory implies that they are possible,
it's not much help in actually showing how to construct one).


But for practical purposes, I consider Knuth's sourcecode for TeX to
be a very nearly exhaustive test of a pascal compiler. It's a very
large program and full of a huge variety of very cutting-edge
programming technique. Compiling/porting it has revealed
hitherto-unknown bugs in every pascal compiler it's run on.


Bear
--


Post a followup to this message

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