Analyses Catalog Taxonomy
In order to effectively store and classify the analysis services, clear and unambiguous classification is essential. Based on the existing software analysis techniques, we developed a specific software analysis taxonomy to systematically classify the existing and future services. This taxonomy divides the possible analyses into three main categories based on their focus: the development process, the underlying models or the actual source code. The figures below show a concise version of the whole taxonomy and of the three main sub-categories.