Bridging the Gap Between the Theory and Practice of Software Test Automation

In software development practice, testing often accounts for as much as 50% of the total development effort. It is therefore imperative to reduce the cost and improve the effectiveness of software testing by automating the testing process. In the past decades, a substantial amount of research effort...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2010 ACM/IEEE 32nd International Conference on Software Engineering Jg. 2; S. 445 - 446
Hauptverfasser:	Budnik, Christof J., Chan, Wing Kwong, Kapfhammer, Gregory M.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 01.05.2010 IEEE
Schriftenreihe:	ACM Conferences
Schlagworte:	Automation Computer science Computing methodologies > Symbolic and algebraic manipulation Conferences Educational institutions General and reference > Cross-computing tools and techniques > Reliability General and reference > Cross-computing tools and techniques > Validation Software Software and its engineering > Software creation and management > Software development techniques > Error handling and recovery 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 > Formal software verification 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 > Process validation > Traceability Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging Software and its engineering > Software organization and properties > Extra-functional properties > Software reliability Software and its engineering > Software organization and properties > Software functional properties > Formal methods Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Model checking Software engineering Testing Theory of computation > Logic > Verification by model checking Theory of computation > Models of computation > Abstract machines Theory of computation > Semantics and reasoning > Program reasoning > Abstraction Theory of computation > Semantics and reasoning > Program reasoning > Program verification
ISBN:	9781605587196, 1605587192
ISSN:	0270-5257
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!