In the development of software and hardware systems it is important to guarantee a correct behaviour. Damages due to errors may cost money and even endanger human lives. There are analysis techniques to verify, test and validate systems. In this document we explain the different approaches which---altogether---can be referred to as analysis techniques. The state-of-the-art of both, research and industry, will be stated for testing and verification. The purpose of this document is give an overview and introduction to existing analysis techniques. It is one of the objective of work package ZP-AP 1.3, to integrate such techniques into the modelling theory.     «

In the development of software and hardware systems it is important to guarantee a correct behaviour. Damages due to errors may cost money and even endanger human lives. There are analysis techniques to verify, test and validate systems. In this document we explain the different approaches which---altogether---can be referred to as analysis techniques. The state-of-the-art of both, research and industry, will be stated for testing and verification. The purpose of this document is give an overvie...     »