Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 336)
Detail práce
   Přihlásit přes CAS
Unit checking for Java IDE
Název práce v češtině: Unit checking for Java IDE
Název v anglickém jazyce:
Akademický rok vypsání: 2008/2009
Typ práce: diplomová práce
Jazyk práce: angličtina
Ústav: Katedra softwarového inženýrství (32-KSI)
Vedoucí / školitel: RNDr. Ondřej Šerý, Ph.D.
Řešitel: skrytý - zadáno a potvrzeno stud. odd.
Datum přihlášení: 06.08.2008
Datum zadání: 06.08.2008
Datum a čas obhajoby: 07.09.2009 00:00
Datum odevzdání elektronické podoby:07.09.2009
Datum proběhlé obhajoby: 07.09.2009
Oponenti: doc. RNDr. Pavel Parízek, Ph.D.
 
 
 
Zásady pro vypracování
Unit testing is a frequently used technique for ensuring quality of software during its development and maintenance. Frameworks (e.g., JUnit [1]) exist that facilitate
creation, execution, and evaluation of simple unit tests.

With increasing popularity of software model checking and availability of tools (e.g., Java PathFinder [2]), a question about the place
of software model checking in the development cycle is discussed. One of the ideas is to employ model checking in a way similar to unit testing; i.e.,
to create simple scenarios for checking small portions of software---unit checking. The benefit lies in the ability of a model checker to exhaustively examine
all possible executions (including random choices and all thread interleaving).

The goal of the thesis is to
(i) explore possibilities of unit checking using the Java PathFinder model checker, and
(ii) implement support for unit checking into a Java IDE (either NetBeans [3] or Eclipse [4]), and
(iii) consider extending JUnit to support unit checking to accomplish (ii).

Result of the thesis will be used in the context of the Q-ImPrESS FP7 project [5].
More precisely, unit-checking is expected to be used for assuring quality of service-oriented software.
Seznam odborné literatury
[1] JUnit, http://junit.sourceforge.net/
[2] Java PathFinder, http://javapathfinder.sourceforge.net/
[3] NetBeans, http://www.netbeans.org/
[4] Eclipse, http://www.eclipse.org/
[5] Q-ImPrESS project, http://www.q-impress.eu/
 
Univerzita Karlova | Informační systém UK