Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurements for that system, and comparing the results. The validation includes manual actions, which makes it feasible only for a small number of systems. To significantly increase the number of systems on which software performance ...

The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating performance (including power consumption) on current mobile devices, future mobile devices will incorporate multiple processing units, more complex software and hardware that will raise additional challenges. This paper...

1 0-7803-7651-X/03/$17.00 © 2003 IEEE 2 IEEEAC paper #1289, Updated December 1, 2002 Abstract—This paper provides an overview of the rover technology development, integration, and validation process now being used by the Mars Technology Program. Described are the relevant mission scenarios of long traverse and instrument placement, and the enabling algorithmic components that are being captured...

Incremental Validation of Formal Specifications by Paul Corwin This thesis presents a tool for the mechanical validation of formal software specifications. The tool is based on a novel approach to incremental validation. In this approach, small-scale aspects of a specification are validated, as part of the stepwise refinement of a formal model. The incremental validation technique can be consid...

A critical element in the use of PDDL2.1, the modelling language developed for the International Planning Competition series, has been the common understanding of the semantics of the language. The fact that this has been implemented in plan validation software was vital to the progress of the competition. However, the validation of plans using actions with continuous effects presents new chall...

Validation of requirements and verification of software are crucial activities in the software development process since they essentially determine the quality of the software product and account for a big part of the overall development cost and use of resources. Only these activities can ensure that user requirements whether they be explicit or only implicit are met. This report overviews cur...

The quality of software systems depends strongly on their architecture. For this reason, taking into account non-functional requirements at architecture level is crucial for the success of the software development process. Early architecture model validation facilitates the detection and correction of design errors. In this research, the authors are interested in security critical systems, whic...

The prediction of the number of clusters in a dataset, in particular microarrays, is a fundamental task in biological data analysis, usually performed via validation measures. Unfortunately, it has received very little attention and in fact there is a growing need for software tools/libraries dedicated to it. Here we present ValWorkBench, a software library consisting of eleven well known valid...

Assuring the quality of software requirement specifications is critical. Poor requirement specifications may make costly errors during the development process. Therefore methods and techniques for verification and validation of software requirement specifications are fundamentally important. This survey presents taxonomy of verification and validation of requirements and specifications that rep...