Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases

Most research on automated specification-based softwaretesting has focused on the automated generation oftest cases. Before a software system can be tested, it must beset up according to the input requirements of the test cases.This setup process is usually performed manually, especiallywhen testing...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 s. 96 - 105
Hlavní autoři:	Leow, Wee Kheng, Khoo, Siau Cheng, Sun, Yi
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Washington, DC, USA IEEE Computer Society 23.05.2004
Edice:	ACM Conferences
Témata:	Applied sciences Computer science; control theory; systems Exact sciences and technology General and reference > Cross-computing tools and techniques > Validation Software Software and its engineering > Software creation and management > Software verification and validation Software and its engineering > Software creation and management > Software verification and validation > Empirical software validation Software and its engineering > Software creation and management > Software verification and validation > Process validation Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging Software engineering Theory of computation > Logic > Logic and verification Code generation Arithmetics Software development Information system Partial ordering Program specification Test generation Test validation Calculator Object oriented Database Behavior oriented Program proof Program test Search tree Data structure
ISBN:	9780769521633, 0769521630
ISSN:	0270-5257
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!

Buďte první, kdo okomentuje tento záznam!