• Corpus ID: 14055428

ITEA CONFIDENTIAL ITEA Title : DESS I nformation T echnology for E uropean A dvancement Guideline for Validation & Verification Real-Time Embedded Software Systems

  title={ITEA CONFIDENTIAL ITEA Title : DESS I nformation T echnology for E uropean A dvancement Guideline for Validation \& Verification Real-Time Embedded Software Systems},
  author={Jens Herrmann},

Verification and Validation of Embedded Systems-The Good, the Bad and the Ordinary

The objective for this paper review existing verification and validation methods, discover what works and what doesn’t work and propose a new process for verification and validate for embedded systems using those working processes called VVResPCT.



TESSY -- An Overall Unit Testing Tool

The most im- portant strength of TESSY is that it provides support for the whole testing life cycle, with the main emphasis on computer-aided test case determination, test data selection, expected results prediction, test execution, and test evaluation.

Model-based Generation and Structured Representation of Test Scenarios

Observing that the design of the test scenarios is the most important prerequisite for a trustworthy test the focus of this paper is on the generation and structured representation of test scenarios.

Test Case Design Using Classification Trees and the Classification-Tree Editor CTE

The classification-tree method and the graphical editor CTE (classification-tree editor) support the systematic design of black-box test cases and is now transformed into a product version with a number of additional features found to be useful during the practical trials.

Testing Computer Software

Classification trees for partition testing

The classification‐tree method suggested in this paper supports the systematic determination and description of test cases based on the idea of partition testing by means of the stepwise partition of the input domain by Means of classifications.

Test data selection criteria for (software) integration testing

  • U. LinnenkugelM. Müllerburg
  • Materials Science, Computer Science
    Systems Integration '90. Proceedings of the First International Conference on Systems Integration
  • 1990
The well-known criteria for module testing are used to define similar criteria, based on control and data flow, for the purposes of integration testing, to show the correctness of the interfaces between the modules.

Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing

Experiments using evolutionary testing on a number of programs with up to 1511 LOC and 5000 input parameters have successfully identified new longer and shorter execution times than had been found using other testing techniques, and evolutionary testing seems to be a promising approach for the verification of timing constraints.

Advances in software inspections

Studies and experiences are presented which enhance the use of the inspection process and improve its contribution to development of defect-free software on time and at lower cost.