Strategic Work: Verification Work

[BerndHekele]

The item needs grooming.
Extract from 2nd Level VnV KickOff

Verification Work:

• Requirement Analysis
• System Analysis
• Testing
• write Test Specification
• execute Test Specification
• evaluate executed tests
• Behavioral testing done on SysML or SCADE level? Verification Work: Behavioral testing done on SysML or SCADE level? #190
  • How to trace the results of the verification fomr SysML to scade
  • Scade does model checking on c-code and shows error on model level @christianstahl, @MarcBehrens
• Update/ revive the Tools Artifacts Matrix Verification Work: Update/ revive the Tools Artifacts Matrix #191 @janWelte @MarcBehrens
• Verify Artifacts by manual means
• Conformity
• Assessment on Conformity
• Coverage
• Assessment of Coverage
• Verify Artifacts by automatic means
• System Acceptance