Download User Manual

Transcript
Název práce: Unit Checking for Java IDE
Autor: Michal Kebrt
Katedra: Katedra softwarového inženýrství
Vedoucí diplomové práce: RNDr. Ondřej Šerý
E-mail vedoucího: [email protected]
Abstrakt:
Klíčová slova: unit testing, model checking, JUnit, Java PathFinder, Eclipse
Title: Unit Checking for Java IDE
Author: Michal Kebrt
Department: Department of Software Engineering
Supervisor: RNDr. Ondřej Šerý
Supervisor’s e-mail address: [email protected]
Abstract:
Keywords: unit testing, model checking, JUnit, Java PathFinder, Eclipse