From: "S�nke Brix" <soenke.brix@fernuni-hagen.de>
Subject: Test tool not only for Ada
Date: Thu, 24 Jan 2008 20:37:39 +0100
Date: 2008-01-24T20:37:39+01:00 [thread overview]
Message-ID: <fnapeb$5ra$1@tamarack.fernuni-hagen.de> (raw)
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
next reply other threads:[~2008-01-24 19:37 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-01-24 19:37 S�nke Brix [this message]
2008-01-24 21:20 ` Test tool not only for Ada Ludovic Brenta
2008-01-25 8:48 ` Stuart
2008-01-25 9:31 ` Dmitry A. Kazakov
2008-01-26 4:57 ` T. Taft
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox