RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Model. Anal. Inform. Sist., 2016, Volume 23, Number 6, Pages 729–740 (Mi mais536)  

This article is cited in 1 scientific paper (total in 1 paper)

Deriving test suites with the guaranteed fault coverage for extended finite state machines

A. D. Ermakov, N. V. Yevtushenko

Tomsk State University, 36 Lenina ave., Tomsk 634050, Russia

Abstract: Extended Finite State Machines (EFSMs) are widely used when deriving tests for checking functional requirements for software implementations. However, the fault coverage of tests covering appropriate paths, variables, etc. of the specification EFSM, remains rather obscure and such tests do not detect many functional faults in EFSM implementations. In this paper, an approach is proposed for deriving complete tests with respect to functional faults of a proper Java EFSM implementation. First, an initial test suite derived against the specification EFSM is checked with respect to faults generated by a $\mu$Java tool. Since the EFSM software implementation is template based, each undetected fault can be easily mapped into a mutant EFSM of the specification machine. Thus, a distinguishing sequence is derived for two Finite State Machines modeling two EFSMs instead of deriving such a sequence for two programs. If the corresponding FSMs are too complex or cannot be completely derived, a test suite can be incomplete. However, the performed experiments clearly show that a test suite extended by such distinguishing sequences detects much more functional faults in software implementations of a system whose behaviour is described by the given EFSM.

Keywords: Mutation testing, Extended Finite State Machine (EFSM), finite automata, $\mu$Java.

Funding Agency Grant Number
Russian Science Foundation 16-49-03012
This work was supported by the project of RSF № 16-49-03012.


DOI: https://doi.org/10.18255/1818-1015-2016-6-729-740

Full text: PDF file (638 kB)
References: PDF file   HTML file

Bibliographic databases:

UDC: 004.415.53
Received: 02.09.2016

Citation: A. D. Ermakov, N. V. Yevtushenko, “Deriving test suites with the guaranteed fault coverage for extended finite state machines”, Model. Anal. Inform. Sist., 23:6 (2016), 729–740

Citation in format AMSBIB
\Bibitem{ErmEvt16}
\by A.~D.~Ermakov, N.~V.~Yevtushenko
\paper Deriving test suites with the guaranteed fault coverage for extended finite state machines
\jour Model. Anal. Inform. Sist.
\yr 2016
\vol 23
\issue 6
\pages 729--740
\mathnet{http://mi.mathnet.ru/mais536}
\crossref{https://doi.org/10.18255/1818-1015-2016-6-729-740}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3596157}
\elib{http://elibrary.ru/item.asp?id=27517419}


Linking options:
  • http://mi.mathnet.ru/eng/mais536
  • http://mi.mathnet.ru/eng/mais/v23/i6/p729

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    This publication is cited in the following articles:
    1. A. D. Ermakov, S. A. Prokopenko, N. V. Yevtushenko, “Checking Software Security Using EFSMs”, 2017 18Th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM 2017, IEEE, 87–90  isi
  • Моделирование и анализ информационных систем
    Number of views:
    This page:167
    Full text:74
    References:25

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020