Study 1 Purpose of the tool. Test architecture.

Testing Target system Test system Testing results results affecting

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

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

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

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

Медиатор 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

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

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

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

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

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

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

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

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

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

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

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