FSM-Based Testing from User Defined Faults Adapted to Incremental and Mutation Testing 1; Programming and Computer Software; Vol. 38, iss. 4

FSM-Based Testing from User Defined Faults Adapted to Incremental and Mutation Testing 1

Bibliographic Details
Parent link:Programming and Computer Software: scientific journal.— , 1975-
Vol. 38, iss. 4.— 2012.— [P. 201-209]
Corporate Author: Национальный исследовательский Томский политехнический университет (ТПУ) Институт электронного обучения (ИнЭО) Кафедра технологий и педагогики электронного обучения (ТПЭО)
Other Authors: El-Fakih Kh. Khaled, Dorofeeva M. Yu. Margarita Yurievna, Yevtushenko N. Nina, Bochmann G. V.
Summary:Title screen
We study the problem of deriving a test suite with guaranteed fault coverage from a given finite state machine specification with respect to some given user defined faults. We consider the case when an implementation under test can have more states than its specification while user defined faults are implemented in an arbitrary way. We show that our approach can be used for FSM-based incremental and mutation testing and correspondingly we investigate cases that can be used for reducing length of obtained test suites. In some cases, worst-case length of obtained test suite becomes polynomial. Experiments show significant gains is using our approach in comparison to testing the whole specification.
Режим доступа: по договору с организацией-держателем ресурса
Language:English
Published: 2012
Subjects:
электронный ресурс
труды учёных ТПУ
Online Access:http://dx.doi.org/10.1134/S0361768812040019
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2380
Format: Electronic Book Chapter
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641319
Description
Summary:Title screen
We study the problem of deriving a test suite with guaranteed fault coverage from a given finite state machine specification with respect to some given user defined faults. We consider the case when an implementation under test can have more states than its specification while user defined faults are implemented in an arbitrary way. We show that our approach can be used for FSM-based incremental and mutation testing and correspondingly we investigate cases that can be used for reducing length of obtained test suites. In some cases, worst-case length of obtained test suite becomes polynomial. Experiments show significant gains is using our approach in comparison to testing the whole specification.
Режим доступа: по договору с организацией-держателем ресурса
DOI:10.1134/S0361768812040019

Similar Items