Polyspace

Hi Softwareengineers and Testgurus,

I read something about the tool "PolySpace". The test approach of this tool
seems a little bit different. In an advertisment the company describes that
"PolySpace"
- ...statically analyses the dynamics of sw applications by relying solely
on the source code,
- ...no test cases to write
- ...no instrumentation of the code
- ...no execution of the application
Hmmm ????
How does this stuff work? I found some infos, but they were not very
helpful. Something over "semantic analysis", but not very deep. I this a
pure mathematically analysis scheme?

So, who has a deep knowledge and is able to explain the secrets of this test
tool and especially the mathematics and techniques behind the scenes.

Thanx

S. Brix

On Thu, 24 Jan 2008 20:35:26 +0100, Sönke Brix <soenke.brix@fernuni-hagen.de> wrote:
> Hi Softwareengineers and Testgurus,
>
> I read something about the tool "PolySpace". The test approach of this too
l
> seems a little bit different. In an advertisment the company describes tha
t
> "PolySpace"
> - ...statically analyses the dynamics of sw applications by relying solely
> on the source code,
> - ...no test cases to write
> - ...no instrumentation of the code
> - ...no execution of the application
> Hmmm ????
> How does this stuff work? I found some infos, but they were not very
> helpful. Something over "semantic analysis", but not very deep. I this a
> pure mathematically analysis scheme?

I heard a sales talk about it.

Yes, you could say it is mathematical.  It does things like show you
"here is a code path to the expression 1/x in which x is 0, and you
will crash". You can probably come up with much better examples (and
if their home page doesn't have a whole bunch of examples, they need
to fire someone).

It's much more than a traditional lint tool.

/Jorgen

--
// Jorgen Grahn <grahn@        Ph'nglui mglw'nafh Cthulhu
\X/     snipabacken.se>          R'lyeh wgah'nagl fhtagn!