LaQuSo and Verification and Validation of Software Systems

LaQuSo is a laboratory of computer science dedicated to verification and validation of software systems. Established at Eindhoven University of Technology, LaQuSo works for and with industry to find errors in software systems. LaQuSo does this by performing experiments in industry and using both industrial and academic methods and tools and doing research in order to get better methods and tools that are used in industry.

In his talk Henk shortly presents LaQuSo and how more than 20 chairs from 4 universities work together to derive (optimal) results both in research as in assignments for industry. Results that best are shown in experiments, cases and projects with real-life systems from industry.

A selection of relevant cases will be presented.

The cases are about requirements analysis, modeling, architecture analysis, code review and analysis of executing systems.

In requirements analysis use-cases and formal modeling in PetriNets are discussed. By modeling requirements and combining visualization, models and tools for verification (parts of) systems can be verified. Architecture analysis shows the benefits of on one hand metrics and visualization and on the other hand the use of PetriNet and Process algebraic models to analyze UML-models. In code analysis a lot of commercial static analysis tools are available. But results are only possible by combining the right products with academic tools and most of all the brains of the analyst. The project of the real-life system shows how a combination of knowledge from different chairs can derive spectacular outcomes.

The focus will be on the used methods, techniques, tools and models, most of them developed at the participating universities and the combination with industrial products. The involvement of research and the benefits for both research and assignment are highlighted.