• Keine Ergebnisse gefunden

if(i &lt

N/A
N/A
Protected

Academic year: 2021

Aktie "if(i &lt"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

RalphGuderlei Blatt5

A

Softwaretest (SS 2007)

Abgabetermin:13.Juni2007

Coverage

ImFolgendenisteineFunktiongegeben.FindenSiedazuTestfälle,ummitdiesenStatement-,

Branh-,Simple Condition-,Complex Condition-,(Modied) Deision/Condition-undPath

Coveragezuerreihen.GebenSiefürjedesÜberdekungsmaÿeineTestfallmengean.

publi int bFuntion(int i, int j, int k) {

int result = 0;

if(i < 0){

if(j < 0)

result = 1;

if( i+j >= 0 && (i+j < 10 || k > 0))

result = 3;

else {

if(k<0)

result = 4;

else

result = 5;

}

}

else

result = 2;

return result;

}

Instrumentieren von Programmen

ÜberlegenSiesihaneinemeinfahenBeispielwieeinereinfahen if-Anweisungmitminde-

stenszweiTeilbedingungen,wieeineInstrumentierungaussehenmüÿte,umComplexCondition

Coveragezumessen.

Referenzen

ÄHNLICHE DOKUMENTE

Condition Monitor with integrated Gateway for the connection of Bender devices to PROFIBUS DP and Ethernet-TCP/IP networks..

as long as analysis can be provided which demonstrates that the coverage analysis conducted at the object code will be equivalent to the same coverage analysis at the source

In general, given a syntactic calculus with a semantic meaning, correctness means the syntactic calculus implies the semantic meaning, and completeness means all semantic

I We are looking for a calculus which reduces the size (and tediousness) of Floyd-Hoare proofs. I The starting point is the relative completeness of the

Entspre- chende Experimente der Universität Bremen ([24]) zeigen deutlich den negativen Einfluss von Feuchtigkeit (siehe dazu auch [4]) aber auch Abschirmungseffekte durch

Note that the considered fluid model is more general and the results of some other subclasses of rate type fluids, namely the Maxwell, Oldroyd-B, and Burgers, can be deduced easily

Wenn der Begriff Industrie 4.0 die Vernetzung durch Internet-Technologien bedeutet von Produkten, Prozessen und Produktionsmitteln, die mit intelligenter Sensorik bestückt sind,

Der Auftraggeber stellt gemäß Anlage 1 des EVB-IT eine Liste mit Ansprechpartnern zur Verfügung, welche gleichzeitig Auftragsberechtigt e für Serviceabrufe aus dem Vertrag sind und