Who assures that the requirements are correctly implemented?
Although the programmers may run Class- and Unit Tests, an independant gap analysis between expected and actual behaviour of the system on every abstraction level of the requirements (CRQ, PRQ, TRS and USP) increases significantly the quality of the system.
We propagate both functional and non-functional automated testing. This approach mitigates efficiently the challenges risen by the fact that the complexity and dynamics of the requirements are growing over the time.

2013_CombinationsMinimizer_Overview (see also CombinationsMinimizer_v0.2_20131021)