[SystemSafety] Qualification of libraries

Chris Hills safetyyork at phaedsys.com
Mon Oct 26 19:04:42 CET 2015

Actually there  are three main  C and C++ test suites.   The two Derek
mentioned (one of which he distributes )  and the Solid Sands test suite,
formerly the ACE test suite which has a 30 year history.  CAVEAT: Phaedrus
Systems distributes Solid Sands in the UK. 

I have a couple of videos on compiler testing, one by  the author of the
Solid Sands test suite

and one by an Independent consultant, Olwen Morgan about compiler testing in
general that discusses all three main test suites

There is also one important question:  Is this a hosted  or self-hosted
The requirements for a hosted library are not the same as a self-hosted

I know Solid Sands provide a qualification kit that is used by several


Phaedrus Systems Ltd         
FREEphone 0808 1800 358    International +44 1827 259 546
Vat GB860621831  Co Reg #04120771
Http://www.phaedsys.com  chills at phaedsys.com 

-----Original Message-----
From: systemsafety-bounces at lists.techfak.uni-bielefeld.de
[mailto:systemsafety-bounces at lists.techfak.uni-bielefeld.de] On Behalf Of
Derek M Jones
Sent: 26 October 2015 13:20
To: systemsafety at lists.techfak.uni-bielefeld.de
Subject: Re: [SystemSafety] Qualification of libraries

On 26/10/2015 13:05, Stefan Friedrich wrote:
> Dear Safety Experts,
> I'm wondering if there are tool providers who support ISO26262 or IEC 
> 61508 compliant qualification of libraries such as the C/C++ standard 
> libraries; this could be for instance in the form of or as a part of a
compiler qualification kit. I'd appreciate any kind of hints and comments.

The most extensive compiler C/C++ qualification tests are the Perennial and
PlumHall validation suites.


Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com
The System Safety Mailing List
systemsafety at TechFak.Uni-Bielefeld.DE

More information about the systemsafety mailing list