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á bibliografie

Vydáno v:	Software testing, verification & reliability Ročník 13; číslo 1; s. 25 - 53
Hlavní autoři:	Offutt, Jeff, Liu, Shaoying, Abdurazik, Aynur, Ammann, Paul
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Chichester, UK John Wiley & Sons, Ltd 01.01.2003
Témata:	formal methods software testing specification-based testing
ISSN:	0960-0833, 1099-1689
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!