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 (stack example) void push(void*) //argument is not null void* pop() //returns null for empty queue int isEmpty() int size() pop () push () size ()

Медиатор Mediator Test architecture (stack example) Target system Test sequence generator Оракул Oracle stack.h stack.c stack_spec.c stack_media.c stack_spec.sec SeC  >C generation stack_media.sec SeC  >C generation stack_scen.c

Structure of test sequence generator (stack example) Test sequence generator Test engine Оракул Oracle Test action iterator stack_scen.sec SeC  >C generation stack_scen.c

The function main of test. Compilation, building, running stack.c stack_spec.c stack_media.c stack_scen.c stack_spec.sec stack_media.sec stack_scen.sec stack_main.secstack_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 Structure of the course Introduction and tool overview Specifications Data and invariants Function specifications Precondition Postcondition Coverage criteria Test scenarios Initialization and finalization Test state Scenario functions The function main of test Test building and debugging, test report generation

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