From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,XPRIO autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,77b4bef87595d604,start
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder3.cambrium.nl!feeder5.cambrium.nl!feeder1.cambrium.nl!feed.tweaknews.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!npeer-ng1.kpn.DE!usenet-feed.fhg.de!news-koe1.dfn.de!tamarack.fernuni-hagen.de!news.fernuni-hagen.de!not-for-mail
From: "S�nke Brix" <soenke.brix@fernuni-hagen.de>
Newsgroups: comp.lang.ada
Subject: Test tool not only for Ada
Date: Thu, 24 Jan 2008 20:37:39 +0100
Organization: FernUni Hagen
Message-ID: <fnapeb$5ra$1@tamarack.fernuni-hagen.de>
NNTP-Posting-Host: 212.23.103.28
X-Trace: tamarack.fernuni-hagen.de 1201203468 5994 212.23.103.28 (24 Jan 2008
 19:37:48 GMT)
X-Complaints-To: newsadmin@fernuni-hagen.de
NNTP-Posting-Date: Thu, 24 Jan 2008 19:37:48 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.3138
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3198
Xref: g2news1.google.com comp.lang.ada:19585
Date: 2008-01-24T20:37:39+01:00
List-Id: <comp.lang.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