Project

General

Profile

Feature #3476

implement gestTestCases() for MCDC

Added by Anonymous about 2 years ago. Updated over 1 year ago.

Status:
New
Priority:
Normal
Category:
-
Target version:
Start date:
07/16/2018
Due date:
% Done:

0%

Estimated time:

Description

Given a formal requirement (implemented in #3464) and an initial test case (which can be generated either randomly or using some criteria) this method should generate a set of test cases guaranteeing MCDC.
The concrete algorithm was given as a prototype implementation using SMT.


Related issues

Related to Feature #3477: MCDC implementationNew12/14/2018

History

#1 Updated by Anonymous about 2 years ago

#2 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.14 Release to Backlog

Also available in: Atom PDF