RNDr. Vít Suchomel

Bachelor's thesis

Automatické testování nástroje DiVinE

Automated Testing of DiVinE Tool
Abstract:
Zkušenosti při vývoji složitých softwarových nástrojů, které sdílí velkou část zdrojového kódu a na kterých se podílí řada vývojářů, ukázaly, že změna na jednom místě ve sdíleném kódu může mít nečekané důsledky lišící se podle programů, které sdílený kód využívají. Jednou z možností, jak detekovat vzniknuvší nečekané důsledky, je pravidelné testování. Cílem práce bylo navrhnout testovací rámec s ohledem …more
Abstract:
Experience in development of sophisticated software tools by many of developers sharing the source code shows that a single change in the shared code can cause unexpected consequences varying according to the programs using the shared code. The resulting consequences can be revealed by regular testing. The aim of the work was to design a test framework which should be used for testing of DiVinE tool …more
 
 
Language used: Czech
Date on which the thesis was submitted / produced: 18. 5. 2007

Thesis defence

  • Date of defence: 18. 6. 2007
  • Supervisor: RNDr. Pavel Šimeček, Ph.D.

Citation record

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky