Skip to main content
SpringerLink
Log in

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage

  • Published:
Automatic Control and Computer Sciences Aims and scope Submit manuscript

Abstract

The behavior of many systems can be properly described by taking into account time constraints, and this motivates the adaptation of existing Finite State Machine (FSM)-based test derivation methods to timed models. In this paper, we propose a method for deriving conformance tests with the guaranteed fault coverage for a complete possibly nondeterministic FSM with a single clock; such Timed FSMs (TFSMs) are widely used when describing the behavior of software and digital devices. The fault domain contains every complete TFSM with the known upper bounds on the number of states and finite boundary of input time guards. The proposed method is carried out by using an appropriate FSM abstraction of the given TFSM; the test is derived against an FSM abstraction and contains timed input sequences. Shorter test suites can be derived for a restricted fault domain, for instance, for the case when the smallest duration of an input time guard is larger than two. Moreover, the obtained test suites can be reduced while preserving the completeness, when all input time guards of the specification and an implementation under test are right closed (or all guards are left-closed). Experiments are conducted to study the length of test suites constructed by different methods.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Chow, T.S., Test design modeled by finite-state machines, IEEE Trans. Software Eng., 1978, vol. 4, no. 3, pp. 178–187.

    Article  MathSciNet  MATH  Google Scholar 

  2. Dorofeeva, R., El-Fakih, K., Maag, S., Cavalli, A., and Yevtushenko, N., FSM-based conformance testing methods: A survey annotated with experimental evaluation, Inf. Software Technol., 2010, vol. 52, pp. 1286–1297.

    Article  Google Scholar 

  3. Petrenko, A. and Yevtushenko, N., Conformance tests as checking experiments for partial nondeterministic FSM, Lect. Notes Comput. Sci., 2005, vol. 3997, pp. 118–133.

    Article  MATH  Google Scholar 

  4. Springintveld, J., Vaandrager, F., and D’Argenio, P., Testing timed automata, Theor. Comput. Sci., 2001, vol. 254, nos. 1–2, pp. 225–257.

    Article  MathSciNet  MATH  Google Scholar 

  5. El-Fakih, K., Yevtushenko, N., and Fouchal, H., Testing timed finite state machines with guaranteed fault coverage, Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop, 2009, pp. 66–80

    Google Scholar 

  6. Krichen, M. and Tripakis, S., Conformance testing for real-time systems, Formal Methods Syst. Des., 2009, vol. 34, no. 3, pp. 238–304.

    Article  MATH  Google Scholar 

  7. Merayo, M.G., Nunez, M., and Rodriguez, I., Formal testing from timed finite state machines, Comput. Networks: Int. J. Comput. Telecommun. Networking, 2008, vol. 52, no. 2, p. 432–460.

    Article  MATH  Google Scholar 

  8. Bresolin, D., El-Fakih, K., Villa, T., and Yevtushenko, N., Deterministic timed finite state machines: Equivalence checking and expressive power, Int. Conf. GANDALF, 2014, pp. 203–216

    Google Scholar 

  9. Petrenko, A., Yevtushenko, N., and Bochmann, G.V., Fault models for testing in context, FORTE, 1996, pp. 163–178

    Google Scholar 

  10. Yevtushenko, N., El-Fakih, K., and Ermakov, A., On-the-fly construction of adaptive checking sequences for testing deterministic implementations of nondeterministic specifications, Lect. Notes Comput. Sci., 2016, vol. 9976, pp. 139–152.

    Article  Google Scholar 

  11. Petrenko, A. and Yevtushenko, N., Adaptive testing of deterministic implementations specified by nondeterministic FSMs, Proc. ICTSS, 2011, pp. 162–178

    Google Scholar 

  12. Tvardovskii, A. and Yevtushenko, N., Synthesis complete test suite for nondeterministic finite state machines with time guards, Russ. Phys. J., 2015, vol. 58, no. 11/2, pp. 107–110.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Tomsk State University, Tomsk, 634050, Russia

    Aleksandr Tvardovskii, Maxim Gromov & Nina Yevtushenko

  2. Department of Computer Science and Engineering, American University of Sharjah, PO Box 26666, Sharjah, UAE

    Khaled El-Fakih

Authors
  1. Aleksandr Tvardovskii
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Khaled El-Fakih
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maxim Gromov
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Nina Yevtushenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Aleksandr Tvardovskii.

Additional information

The article was translated by the authors.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Tvardovskii, A., El-Fakih, K., Gromov, M. et al. Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage. Aut. Control Comp. Sci. 51, 724–730 (2017). https://doi.org/10.3103/S0146411617070318

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0146411617070318

Keywords

Search

Navigation