Předmět Model-based testing (NSWI157)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu NSWI157 - Model-based testing, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze (UK).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Sylabus
Testování software spočívá v ověření konkrétního konečného počtu exekucí. V tomto kurzu ukážeme, jak se mohou formální specifikace použít pro účely testování, konkrétně pro syntézu testů ze specifikací. V kurzu nejprve představíme koncepty pro testování. Poté se zaměříme na tři hlavní oblasti: testování logických výrazů, generování testů z FSM a rozdělení vstupů a kombinatorické testování. V druhé části semestru se zaměříme na online testování, ve kterém se specifikace vykonávají společně s implementací. To zahrnuje design-by-contract a runtime verifikaci Javy.Kurz se skládá z přednášek a cvičení v laboratoři.Sylabus1) Úvod do testování1.1) Různé typy testování1.2) Základní koncepty, meze testování2) Programem řízené testování2.1) Kritéria pokrytí2.2) Unit testing3) Modelem řízené testování 3.1) Teoretické aspekty3.2) Logické pokrytí3.3) Testování řízené FSM3.4) Kombinatorické testování a rozdělení vstupů4) Online modelem řízené testování4.1) Design by contract4.2) Runtime verifikace
Literatura
M. Utting and B. Legeard. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2006.P. Ammann and J. Offutt. Introduction to Software Testing (1 ed.). Cambridge University Press, New York, NY, USA, 2008.M. Young and M. Pezze. Software Testing and Analysis: Process, Principles and Techniques. John Wiley & Sons, 2005.
Garant
Paolo Arcaini, Ph.D.