Talk:Polyspace

Links
This article (Polyspace) is now linked from three other Wikipedia articles. These are: List of tools for static code analysis, Dynamic program analysis, and Abstract interpretation. Recommend removing the orphan header from Yobot. Jabraham mw (talk) 14:58, 25 September 2010 (UTC)

Introduction
The introduction makes four assertions: There is a reference to a company white paper. However, the Ariane assertion is not supported by the reference at all, and is not mentioned in the rest of the article. The claim that it is the first example is also not mentioned in the remainder of the article and a claim like this needs to be supported by an independent reliable source. Those two assertions, if they can be adequately verified, could go into a History section. Deltahedron (talk) 18:43, 17 May 2014 (UTC)
 * Polyspace is a static code analysis tool
 * inspired by the failure of the maiden flight of Ariane 5
 * the first example of large-scale static code analysis by abstract interpretation to detect and prove the absence of certain run-time errors in source code for the C, C++, and Ada programming languages.
 * also checks source code for adherence to MISRA C and other related code standards.

History
There seem to be some independent reliable sources for the history:

I think one can probably write:
 * Polyspace Technologies was established in France in 1989 by Alan Deutsch and Daniel Pilaud in 1999. The product was based on a project conducted by Deutsch and colleagues at INRIA in 1996 after the failure of the Ariane 501 launch.

Deltahedron (talk) 19:14, 17 May 2014 (UTC)

Quality assurance
The text "In organizations where quality assurance is important, Polyspace is used to demonstrate with metrics that specified software quality objectives have been met" is supported by a reference to a paper "Software Quality Objectives for Source Code" for which the web link is now sadly dead. However this reference makes it clear that the paper is a collaboration between the company and some customers which "describes an example of software quality models". Even that reference is written in collaboration with various software manufacturers. It seems doubtful that any of this can be regarded as verification for the text by independent reliable sources. Deltahedron (talk) 20:42, 17 May 2014 (UTC)