Software verification is the process used to help identify the correctness, completeness, security and quality of developed software. It is a process of technical investigation revealing quality related information about the product with respect to the context in which it is intended to operate. Common quality attributes include but are not limited to capability, reliability, efficiency, portability and maintainability.

Silver Software performs V&V activities to the extent required by the software safety integrity levels such as DO-178B or CENELEC. We test and evaluate the product at a given phase to ensure correctness and consistency with respect to the product requirements and standards.

The purpose of verification is to ensure that the software meets its specified requirements. The purpose of validation is to demonstrate that a work product fulfils its intended use when placed in its intended environment. In other words, verification ensures that “you build it right”, whereas validation ensures that “you build the right thing”.

Silver Software can provide specialist independent V&V services at various stages in the software development lifecycle as listed below:

• Software Requirement Analysis Phase


• Software Architectural Design Phase


• Software Detailed Design Phase

• Implementation Phase


• Software Testing Phase

• During these stages Silver Software can undertake one or more types of testing such as:

• Module
• Software/Software Integration
• Software/Hardware Integration
• System testing

• To conduct the verification Silver Software can employ various strategies and techniques:

• Isolation testing
• Bottom up testing
• Top down testing
• Nominal range
• Boundary value
• Equivalence Class Partitioning
• State Transitions
• Error Guessing
• Loop testing
• Arithmetic operations
• Logical operations (operator coverage, DC, MC/DC, Multiple Condition Coverage)

• Finally Silver Software has experience using a range of tools as dictated by our customer, some of which are listed below:

Static and Dynamic Analysis Tools -
• Polyspace, AdaTEST, RTRT, LDRA, Vector CAST, Cantata• Equivalence Class Partitioning

Compiler suits –
• Diab C, Alsys, Green Hills, Tasking, GCC

Target Testing Tools -
• IC Emulators, Target debuggers.