User: Guest  Login
Original title:
Anforderungsorientierter modellbasierter Softwaretest reaktiver Systeme 
Translated title:
Requirements-Oriented Model-Based Software Test of Reactive Systems 
Year:
2010 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Broy, Manfred (Prof. Dr. Dr. h.c.) 
Referee:
Broy, Manfred (Prof. Dr. Dr. h.c.); Struss, Peter O. A. (Prof. Dr.) 
Language:
de 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Software, Test, Testfallgenerierung, Anforderungen, reaktive Systeme, 
Translated keywords:
software, test, test case generation, requirements, reactive systems 
Abstract:
Die Generierung von Testfällen aus einem vollständigen Verhaltensmodell hat sich bereits vielfach als vorteilhaft erwiesen. Diese Technik wird nun genutzt, um Testfälle zu ermitteln, welche einzelne Anforderungen adressieren. Somit kann eine Abdeckung der Anforderungen durch Testfälle gezeigt werden. Basis ist die Formulierung von Anforderungsszenarien. Dabei bleiben die Vorzüge der modellbasierten Testfallgenerierung erhalten. Insbesondere wird eine isolierte Betrachtung einzelner Anforderungen...    »
 
Translated abstract:
Generation of test cases out of a complete behavior model has already shown its benefits. This technique is now used to produce test cases which address individual requirements. Thus, the coverage of requirements by the test cases is documented. The method is based on the specification of requirement scenarios. The advantages of model-based testing remain present. Especially, single requirements won’t be treated in an isolated view. A high degree of automation is achieved, but project specific...    »
 
Oral examination:
17.11.2010 
File size:
2849394 bytes 
Pages:
265 
Last change:
26.11.2010