In industry tools for verification and validation of software systems are widely available. Most tools support the validation or testing process. Less tools can say something about the quality of the product. Verification tools are scarce.

The research question is what tools are available and how can these tools benefit the quality of software.

LaQuSo research intends to make a model and classification of verification and validation tools. In real-life cases the tools are used. Based on this use LaQuSo describes the properties of the tools in fact sheets and develops an information base. The information base is published on the website and can be used to select the right tool.

The Test tool framework in which tools are classified shows two classes, tools that support product quality and tools that support the flow. The research of LaQuSo is focused on the quality of the artifacts.

The Framework and the relation with the ISO 9126 standards is described in the LaQuSo publication “Test Tool Framework (april 2005)” by Thijs Janssen. The categorization of the tools and the fact sheets are in the tool selection site of LaQuSo.