Re: compiler Validation suites

Martin Liddle <news09@tynecomp.co.uk>
2 Jul 2003 00:41:52 -0400

          From comp.compilers
Related articles
compiler Validation suites cedi@sonata-software.com (2003-06-22)
Re: compiler Validation suites frank@g-n-u.de (Frank Heckenbach) (2003-07-02)
Re: compiler Validation suites news09@tynecomp.co.uk (Martin Liddle) (2003-07-02)
| List of all articles for this month |
From: Martin Liddle <news09@tynecomp.co.uk>
Newsgroups: comp.lang.pascal.misc,comp.lang.modula2,comp.compilers
Date: 2 Jul 2003 00:41:52 -0400
Organization: Tynemouth Computer Services
References: 03-06-104
Keywords: testing
Posted-Date: 02 Jul 2003 00:41:52 EDT

  cedi <cedi@sonata-software.com> writes
>Has any one used the GNU Pascal compiler Test suite and/or GNU Modula
>2 compiler Test?
>If Yes, How good are the test suites w.r.t the different kinds of
>tests for compiler validation i.e Conformance test, Deviance
>test,Quality test ...etc.


I doubt that the gpc Test suite will do what you want. Are you aware of
http://www.prosperosoftware.com/pvs.html
--
Martin Liddle, Tynemouth Computer Services, 27 Garforth Close,
Cramlington, Northumberland, England, NE23 6EW.
Phone: 01670-712624. Fax: 01670-717324.
Web site: <http://www.tynecomp.co.uk>.

Post a followup to this message

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