MINIMAL MODIFICATION OF AUTOMATA-BASED PROGRAMS INDUCED BY CHANGES IN THEIR TEST SCENARIOS

Shestakov Alexei V

2013 , VOLUME 13, NUMBER 1 ( January-February )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

MINIMAL MODIFICATION OF AUTOMATA-BASED PROGRAMS INDUCED BY CHANGES IN THEIR TEST SCENARIOS

A. V. Shestakov

Read the full article

Abstract

The article proposes modification method for automata-based programs induced by changes in their test scenarios. The method can also be used for constructing automata-based programs without using any prior knowledge of a program structure and without using evolutional algorithms (as was proposed by many authors before). The main feature of the method is a minimal requirement for program changes. Its essence lies in the reduction of the original problem to the problem of finding the shortest path in the acyclic weighted graph constructed from the original automaton and new test scenario.

Keywords: automata-based programming, test scenario, Moore automaton

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License