Home > Archive > Software Testing > February 2008 > Polyspace
You are viewing an archived Text-only version of the thread.
To view this thread in it's original format and/or if you want to reply to
this thread please [click here]
|
|
| Sönke Brix 2008-01-24, 8:02 pm |
| 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
| |
| Jorgen Grahn 2008-02-28, 10:32 pm |
| 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 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?
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!
|
|
|
|
|