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

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

8. 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

9. 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

10. Функции работы с модельным состоянием Сборщики реакций Спецификации реакций Предусловие Постусловие 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

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

12. 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

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 Specification Implementation interface Mediators

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 Specifications Test scenarios Coverage criteria

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 Mediators ImplementationTest Generation Test execution and report generation Test report

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 Test reports Test quality estimation Failures

19. 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