Metody a nástroje pro automatizované odhalování softwarových chyb
Project Period: 1. 1. 2006 - 31. 12. 2008
Project Type: grant
Agency: Czech Science Foundation
Formal analysis and verification, software, Java, Object-Oriented Petri Nets
This project belongs to the area of software analysis and verification which is currently a very important and live research area. Correctness of software is nowadays crucial as software is widely used in many safety critical roles. The first goal of this project is to use a real-life software case study for evaluating and comparing currently available tools for automated detection of bugs in software. The case study will be taken from the case studies available within the project SegraVis or from the open-source software community. Consequently, based on the results obtained from the case study, we will improve our currently developed tools (i.e., the tools associated with the formalism of Object-Oriented Petri Nets which has been developed at applicant's home faculty since 1996, and tools based on symbolic execution of Java byte-code which are developed at the University Milano-Bicocca) to be more useful in practice. Another significant benefit of this project is allowing the applicant to continue his intensive cooperation with the foreign research team.