Learn how Belcan works in many different industries.




content image header

Software Verification, Test & Certification

Systems: Software Verification

Core Capability:

Certification

  • FAA Certification Assistance

SEI/CMMI Process Activities


Software Quality Assurance

  • Verify software activities are conducted according to documented processes

Requirements Based Testing

  • Satisfy traceability between requirements and the test cases.

Requirements Testability Review

  • Review requirement quality level so test cases can be generated.

Structural Coverage

  • Compare test program behavior against the apparent intention of the source code.

MCDC Testing

  • MCDC (Modified Condition and Decision Code level testing): DO-178B highest level testing to (Level A) for Safety Critical Software. Implies that code is tested to the level that verifies every decision and combination of decisions in every path is executed.

Code Review

  • Manual review of software code for compliance to desired software design. Also referred to as Code Read.

Unit Testing

  • Test all structural decision trees, paths, and assignments accurately implements as required by the detailed design. Also referred to as Computer Software Unit (CSU) testing

Object Level Testing

  • The development, execution, and evaluation of tests aimed at verifying the proper functionality of software objects. Also referred to as Computer Software Component (CSC) testing.

Integration Testing

  • Test software interfaces and assures proper interaction within a representative simulated target environment.

Subsystem Level Testing

  • The development, execution, and evaluation of tests aimed at verifying the proper functionality of software and hardware sub-systems.

System Level Testing

  • Verification of all functional software requirements, executed with the software embedded within the target hardware or its functional equivalent.

System Integration Testing

  • Verification of proper interaction between multiple software and hardware systems

Test Scripting

  • Development of test scripts, version control, configuration management, test execution, data recording, data archiving

Test Data Analysis

  • Analysis of test data, evaluation of pass/fail criteria, generation of data plots and charts, reporting of software deficiencies, and writing of software test reports.

Test Case Development

  • Process in which a set of detailed instructions that the tester or automation will execute are created that when executed will test a specific feature of the software.

Test Cases Review

  • Process in which you match up test cases with software features and conclude that desired coverage of software features have been captured.

Automated Test


Manual Test


Semi-Automated Test


Software Test Benches

Systems: Software Verification

Standards:

DO-178B/Level A ,DO-254,IMA, DO-178C (forthcoming)