-
Notifications
You must be signed in to change notification settings - Fork 22
Open
Milestone
Description
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