ASD for Test and Integration Managers

ASD: test the functionality, not the defects

For Test and Integration Managers ASD:Suite delivers not just mathematically correct software, but an automatically generated test framework for the remaining hand-written code.

The ASD:Suite:

Is a software engineering tool for: Constructing complete and correct industrial scale systems from components mathematically verified during design	Guarantees: Semantic equivalence between specifications, designs, formal models and runtime behaviour of generated code
Provides: Fully automated formal verification of specifications and designs Fully automatic code generation Easy integration into existing software development teams	Is a paradigm shift: Software engineers make specifications and design models and formally verify them instead of coding and testing

Measure software quality

ASD:Suite provides extensive test sets and formal statistical analysis of results that enable you to determine the quality of embedded software by testing. Compared to existing practice, where the focus is on detecting defects, you can start to measure the real quality of the software.

Reduced test effort

Model-based testing enables the automatic generation of thousands of correct test cases. Compared to manual test case creation, where the number of test cases is limited by time and resources, you can use model generated test cases to confirm the correct operation of the product, knowing that the full extent of the functionally that has been covered.

Reduced test time

ASD:Suite allows you to focus on validation rather than defect detection and re-work of the software. Testing resources are conventionally absorbed not just in testing, but in identifying the causes of defects and aiding re-work of the software. The extent to which rectified software needs to be re-tested is not always known. With ASD:Suite each iteration of the software design is proven to be correct, so your software testing can focus on validation at the same time as delivering completed test results on time.

In this section

• Overview
• ASD for Software Architects
• ASD for R&D Managers
• ASD for Business Directors
• ASD for Test Managers