Test tool not only for Ada

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



.

Relevant Pages

  • Mathematically code testing
    ... I read something about the tool "PolySpace". ... on the source code, ... pure mathematically analysis scheme? ... who has a deep knowledge and is able to explain the secrets of this test ...
    (comp.lang.functional)
  • Polyspace
    ... I read something about the tool "PolySpace". ... on the source code, ... pure mathematically analysis scheme? ... who has a deep knowledge and is able to explain the secrets of this test ...
    (comp.software.testing)
  • Re: Polyspace
    ... I read something about the tool "PolySpace". ... In an advertisment the company describes that ... Something over "semantic analysis", but not very deep. ... pure mathematically analysis scheme? ...
    (comp.software.testing)