Software Analysis brings together the themes Software Structure and Software Behavior. Software analysis visualizes the code structure and tests the behavior and usability of the software. The program involves several types of analysis:

• Statistical test methods
  This means collection of test data and calculation by available statistical methods.
• Program structure analysis
  Essential in this type of analysis is experimenting. Which structure analysis and which structure visualization techniques are available or can be developed. The projects examine the way to visualize architecture and programs and develop the necessary formalisms and eventually the tools.
• Assertion checking
  In this project LaQuSo tries to prove automatic the correctness of 'first year software'. Critical parts of huge programs or systems must be proven to be correct by using assertion checking.
• User interaction and interfaces
  This is about analysis of interaction and interfacing in information intensive applications including web applications
• Non-functional properties
  Many non-functional but critical properties are object of study. Special attention will be given to performance and scalability issues.

• Statistical sound release procedure for software
• Methods for estimation of number of remaining errors
• Development of test databases

Methods, techniques and tools for visual inspection of large programs

• Visualizing the global structure
• Discovering of interaction pattern of components
• Identifying the risky parts

Methods, techniques and tools for support of assertion checking of fragments of large programs

• Analysis of presentation and navigation in information intensive applications
  • Detection of inconsistencies in design and realization
  • Detection of errors in interaction or navigation structures
• Usability analysis of user interfaces
  • using checklists
  • using user panels