Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 368)
Detail práce
   Přihlásit přes CAS
Kontrola konzistence analýz založených na jazyce UML
Název práce v češtině: Kontrola konzistence analýz založených na jazyce UML
Název v anglickém jazyce: UML Analysis Consistency Verification
Akademický rok vypsání: 2006/2007
Typ práce: diplomová práce
Jazyk práce: čeština
Ústav: Katedra softwarového inženýrství (32-KSI)
Vedoucí / školitel: RNDr. Tomáš Rubač
Řešitel: skrytý - zadáno a potvrzeno stud. odd.
Datum přihlášení: 26.11.2006
Datum zadání: 26.11.2006
Datum a čas obhajoby: 21.05.2007 00:00
Datum odevzdání elektronické podoby:21.05.2007
Datum proběhlé obhajoby: 21.05.2007
Oponenti: prof. RNDr. Tomáš Skopal, Ph.D.
 
 
 
Zásady pro vypracování
Diplomant se seznámí s některými z dosud používaných technik kontroly analýz založených na jazyce UML a s existujícímí nástroji. Dále pak navrhne způsob zápisu pravidel pro kontrolu konzistence tak, aby je bylo možno softwarově kontrolovat. S využitím navrženého zápisu zformuluje a zformalizuje pravidla pro diagramy tříd a diagramy případu užití spolu s vybranými typy pomocných diagramů. Součástí musí být také pravidla pro kontroly konzistence slovních popisů případů užití, které zpravidla tvoří podstatnou část vlastní analýzy. Použitelnost navrhovaného způsobu řešení bude demonstrována aplikací na analýzu reálného softwarového díla, jejíž výstupem bude seznam provedných kontrol a nalezných chyb.
Seznam odborné literatury
G. Booch, I. Jacobson, J. Rumbaugh: Unified Modeling Language User Guide. Addison Wesley, 1998.
Sborníky z každoročně pořádáné mezinárodní konference o UML.
Zdroje odkazované z UML Resource Page od OMG - http://www.uml.org/.
Zdroje dostupné v ACM portálu - http://portal.acm.org/.
Zdroje z portálu SpringerLink - http://www.springerlink.com/.
Předběžná náplň práce
Jazyk UML je dnes široce rozšířeným standardem pro modelování softwarových systémů. Problémem analýz zapsaných v UML však bývá jejich nekonzistence, která zpravidla není modelovacími nástroji kontrolována. Při analýzách rozsáhlejších projektů může takových nekonzistencí vzniknout velké množství, automatické kontroly se proto zdají být nezbytnou nutností.
Předběžná náplň práce v anglickém jazyce
The UML language is nowadays widely spreaded standard for modelling of software systems. The problem of UML analyses is their inconsistency which is not usually checked by modelling tools. While analysing wider projects, great amount of inconsistencies can arise. That's why the automatic checking seems to be necessary.
 
Univerzita Karlova | Informační systém UK