Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs

Petrenko, Alexandre; Yevtushenko, Nina

doi:10.1007/978-3-642-24580-0_12

Cited by 37 publications

(54 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…To make this article sufficiently self-contained, we introduce definitions, notation, and facts about finite state machines (FSMs) that have been introduced in contributions on FSM testing, such as [PY11,PY14,Hie04].…”

Section: Finite State Machinesmentioning

confidence: 99%

Complete model-based equivalence class testing for nondeterministic systems

Wei

Peleskã

2017

Form. Asp. Comput.

View full text Add to dashboard Cite

The main objective of this article is to present a complete finite black-box testing theory for nondeterministic Kripke structures with possibly infinite input domains, but finite domains for internal state variables and outputs. To this end, an abstraction from Kripke structures of this sub-domain to finite state machines is developed. It is shown that every complete black-box testing theory for (deterministic or nondeterministic) finite state machines in the range of this abstraction induces a complete black-box input equivalence class partition testing (IECPT) theory for the Kripke structures under consideration. Additionally, it is shown that each of these IECPT theories can be combined with random testing, such that a random value is selected from an input equivalence class, whenever a representative from this class is required in a test step. Experiments have shown that this combination increases the test strength of equivalence class tests for systems under test (SUT) outside the fault domain, while we show here that this randomisation preserves the completeness property for SUT inside the domain. The investigations lead to several complete IECPT strategies which, to our best knowledge, were not known before for this sub-domain of Kripke structures. The elaboration and presentation of results is performed on a semantic level, so that the testing theories under consideration can be applied to models presented in any concrete formalism, whose behaviour is reflected by a member of our semantic category.

show abstract

Section: Finite State Machinesmentioning

confidence: 99%

Complete model-based equivalence class testing for nondeterministic systems

Wei

Peleskã

2017

Form. Asp. Comput.

View full text Add to dashboard Cite

show abstract

“…Метод основан на использо-вании д -передаточных и различающих последовательностей, которые, как известно, не всегда существуют. В настоящей работе мы предлагаем использовать адаптив-ные передаточные и различающие последовательности, поскольку, во-первых, такие последовательности существуют значительно чаще, а во-вторых, в таком случае, длина полного проверяющего теста может быть значительно меньше [11]. Если все состояния конечно автоматной абстракции A S (B) автомата S д -дости-жимы (адаптивно достижимы), автомат A S (B) обладает разделяющей последова-тельностью (адаптивной различающей последовательностью), и число состояний реализации не превышает числа состояний спецификации, то алгоритм построения полного проверяющего теста относительно модели неисправности < A S (B), ≤, J m (B) >, где m число состояний автомата A S (B), включает следую-щие шаги.…”

Section: синтез полного проверяющего тестаunclassified

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage

Твардовский¹,

Эль-Факи²,

Громов³

et al. 2017

Model. anal. inf. sist.

View full text Add to dashboard Cite

получена 22 декабря 2016Аннотация. В настоящее время при описании поведения дискретных систем достаточно часто необходимо принимать во внимание временные аспекты, и соответственно появляется необ-ходимость в распространении автоматных методов синтеза тестов с гарантированной полнотой на временные автоматы. В данной статье мы предлагаем метод построения проверяющих тестов с гарантированной полнотой для полностью определенного, возможно, недетерминированного авто-мата с одной временной переменной. Такие временные автоматы используются при описании по-ведения программного обеспечения и цифровых устройств. Область неисправности содержит все полностью определенные автоматы с заданным числом состояний и известной верхней оценкой на интервалы, описывающие временные ограничения. Предлагаемый метод опирается на построение по заданному временному автомату соответствующей конечно автоматной абстракции (абстракт-ного автомата). По абстрактному автомату строится проверяющий тест, последовательности кото-рого суть временные входные последовательности. Более короткие тесты можно построить, если ввести дополнительные ограничения на область неисправности, например, для случая, когда из-вестна наименьшая продолжительность каждого временного интервала в тестируемой реализации, и её величина больше двух. Кроме того, тест можно сократить с сохранением его полноты в случае, когда все интервалы для временных ограничений закрыты справа (или все интервалы закрыты слева). Приводятся результаты проведенных компьютерных экспериментов по сравнению длин тестов, построенных по временному автомату различными методами.Ключевые слова: временные автоматы, недетерминированные автоматы, синтез тестов, область неисправности Для цитирования: Твардовский А. С., Эль-Факи К., Громов M. Л., Евтушенко Н. В., "Синтез тестов с гаранти-рованной полнотой для недетерминированных временных автоматов", Моделирование и анализ информационных систем, 24:4 (2017), 496-507.

show abstract

“…Next step in the development of the checking experiment theory was to allow machines to be nondeterministic, see, e.g, [15][16][17][18][19][20].…”

Section: Checking Experiments For Fsm and Their Extensionsmentioning

confidence: 99%

Recent Advances in the Theory of Checking Experiments with State-oriented Models

Petrenko¹

2016

dteees

Self Cite

View full text Add to dashboard Cite

Abstract. We consider the problem of model-based testing of reactive systems with state-oriented models, such as finite state machines and transition systems, both distinguishing inputs and outputs. Inputs to an Implementation under Test (IUT) are generated by a tester, while outputs are analyzed by the latter to conclude whether the IUT is a conforming implementation of a given specification. This problem has its roots in the theory of checking experiments for finite state machines. It continues to attract a lot of attention of research community. In this paper, we provide a short overview of directions in which this theory has evolved. We report on our recent contributions and point to several unsolved tasks.

show abstract

Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs

Cited by 37 publications

References 10 publications

Complete model-based equivalence class testing for nondeterministic systems

Complete model-based equivalence class testing for nondeterministic systems

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage

Recent Advances in the Theory of Checking Experiments with State-oriented Models

Contact Info

Product

Resources

About