ART DECO: preliminary report on devised methodologies and tools for verification, testing and QoS evaluation. ART DECO adaptive infrastructures for decentralised organizations. Deliverable FIRB-2005-RBNE05C3AH R.A.10.1, 2007.

Methodologies and tools for verification, testing and Quality Assurance assessment are nowadays important activities in the process development, which start as soon as a software product is decided to be built. The purpose of the Verification and Validation (VV) techniques is to ensure that the final product satisfies the original requirements and design and that it fits the intended usage. Due to the peculiarity of the ART DECO infrastructure, in this deliverable we classify the VV techniques into two different groups: Off-line and On-line Verification and Validation. For each selected methodology the required background knowledge and the technical details are provided as well as a brief description of the related work. Finally in specific sections we described the possible application of the VV techniques inside the ART DECO project