Generating test data from state-based specifications

Although the majority of software testing in industry is conducted at the system level, most formal research has focused on the unit level. As a result, most system‐level testing techniques are only described informally. This paper presents formal testing criteria for system level testing that are b...

Celý popis

Podrobná bibliografia

Vydané v:	Software testing, verification & reliability Ročník 13; číslo 1; s. 25 - 53
Hlavní autori:	Offutt, Jeff, Liu, Shaoying, Abdurazik, Aynur, Ammann, Paul
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Chichester, UK John Wiley & Sons, Ltd 01.01.2003
Predmet:	formal methods software testing specification-based testing
ISSN:	0960-0833, 1099-1689
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!