Hi Softwareengineers and Testgurus,
may be it's OT here in this group. But I think the question I have, might
be
interesting?!
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
