Over the years, the complexity of space missions has dramatically increased with more of the critical aspects of a spacecraft’s design being implemented in software. With the added functionality and performance required by the software to meet system requirements, the robustness of the software must be upheld. Traditional software validation methods of simulation and testing are being stretched...

The validation of functional and real-time requirements of automotive control software usually needs the electronic control unit and the controlled hardware components. But very often, the electronic control unit and the hardware components are not available for testing the automotive control software in the early development phases. This paper presents a validation process for component-based ...

This paper provides an overview of the rover technology development, integration, validation, and mission infusion process now being used by the NASA Mars Technology Program. Described are the relevant mission scenarios of long range traverse and science instrument placement, along with the enabling algorithmic components for them. These are being integrated into the CLARAty robotics research s...

Conventional software (CS) and knowledge-based software (KBS) validation and verification have been traditionally accepted to be radically different disciplines with nothing in common. However, the differences between CS and KBS should not stop efforts being made to develop a general framework for evaluation, covering validation and verification of both types of software. A review of the concep...

Static program analysis tools process source code of computer programs in order to extract information that can help software engineers in a variety of tasks ranging from program understanding to fault detection [Binkley 2007]. The automated extraction of information in static program analysis is done without executing program and relies only on source code or some intermediate representation. ...

This review examines two important aspects that are central to modern big data bioinformatics analysis - software scalability and validity. We argue that not only are the issues of scalability and validation common to all big data bioinformatics analyses, they can be tackled by conceptually related methodological approaches, namely divide-and-conquer (scalability) and multiple executions (valid...

A large number of metrics have been proposed for the quality of object-oriented software. Many of these metrics have not been properly validated due to poor methods of validation and non acceptance of metrics on scientific grounds. In the literature, two types of validations namely internal (theoretical) and external (empirical) are recommended. In this study, the authors have used both theoret...

This paper summarizes our experience with IF, an open validation environment for distributed software systems. Indeed, face to the increasing complexity of such systems, none of the existing tools can cover by itself the whole validation process. The IF environment was built upon an expressive intermediate language and allows to connect several validation tools, providing most of the advanced t...

Data Types and Software Validation

The Guide to the Software Engineering Body of Knowledge (SWEBOK) provides a consensually validated characterization of the bounds of the software engineering discipline and to provide a topical access to the Body of Knowledge supporting that discipline. The topic “Notation for Process Definition” references selected notations appropriate for software process definition. However all of them have...