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

Glenn Kasten <gkasten@auco.com>
27 Dec 1996 23:25:04 -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: Glenn Kasten <gkasten@auco.com>
Newsgroups: comp.compilers
Date: 27 Dec 1996 23:25:04 -0500
Organization: AUCO, Inc.
References: 96-12-145
Keywords: Pascal, testing, books

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?


I suggest looking at the book "Pascal Compiler Validation" edited by
Brian A. Wichmann and Z. J. Ciechanowicz, (c) 1983 by John Wiley its
Sons Ltd. ISBN 0 471 90133 4. Its probably out of print, but you
might be able to find it in a library.


--
Glenn Kasten
AUCO, Inc.
gkasten@auco.com
--


Post a followup to this message

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