1. Study 1 Purpose of the tool. Test architecture.

2. Testing Target system Test system Testing results results affecting

3. Test development process Requirements elicitation Design Implementation Debugging and testing - what should be tested - how it should be tested - test implementation - test debugging

4. Оракул Mediator Test architecture Target system Test sequence generator Оракул Oracle

5. Structure of test sequence generator Test sequence generator Test engine Оракул Oracle Test action iterator

6. Example of test development (queue example) int queue_put (int) //returns 0 if a queue is full int queue_get (int*) //pointer is NULL for empty queue queue_get() queue_put() //observer registration typedef void (*queue_observer_t) (void); void queue_register (queue_observer_t obsvr); observers’ calls

7. Медиатор Mediator Test architecture (queue example) Target system Test sequence generator Оракул Oracle SeC  >C generation queue_spec.sec queue_spec.c queue.h queue.c queue_media.c queue_media.sec queue_scen.c

8. Reactions’ catchers Test system Mediators Target system Reaction catchers reactions affecting deferred reactions queue_media.c queue_media.sec SeC  >C generation

9. Structure of test sequence generator (queue example) Test sequence generator Test engine Оракул Oracle Test action iterator Generation SeC  >C queue_scen.sec queue_scen.c

10. The function main of test. Compilation, building, running queue.c queue_spec.c queue_media.c queue_scen.c queue_spec.sec queue_media.sec queue_scen.sec queue_main.secqueue_main.c SeC  >C generation Building and running Trace of test execution Report generation Test reports

11. Mediators State synchronization Mapping into specification model Mapping into implementation Reaction catchers Structure of the course Introduction and the tool overview Specifications Data and invariants Function specifications Precondition Postcondition Coverage criteria Test scenarios Initialization and finalization Test state Scenario functions Reaction specifications Precondition Postcondition The function main of test Test building and debugging, test report generation Functions working with specification state

12. Testing and requirements Target system Test system Test results results affecting produced by using the tool from meets prove conformance to Requirements

13. Steps of test development using the tool Development of specifications of target system Mediator development Test scenario development Test building and running Test result analysis Requirements Specifications

14. Steps of test development using the tool Development of specifications of target system Mediator development Test scenario development Test building and running Test result analysis Specification Implementation interface Mediators

15. Steps of test development using the tool Development of specifications of target system Mediator development Test scenario development Test building and running Test result analysis Specifications Test scenarios Coverage criteria

16. Steps of test development using the tool Development of specifications of target system Mediator development Test scenario development Test building and running Test result analysis Specifications Test scenarios Mediators ImplementationTest Generation Test execution and report generation Test report

17. Steps of test development using the tool Development of specifications of target system Mediator development Test scenario development Test building and running Test result analysis Test reports Test quality estimation Failures

20. Architecture Test sequence generator Specification Test action generator Test scenario Mediators in SeC Target system Test engine Оракул Oracle Медиатор Mediator Manually developed components Library components Generated components Generation Links by calls