Test Translation for Embedded Finite State Machine Components | Zendy

Khaled ElFakih | Zendy; Nina Yevtushenko | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Test Translation for Embedded Finite State Machine Components

Author(s) -

Khaled ElFakih,

Nina Yevtushenko

Publication year - 2016

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/bxw028

Subject(s) - test suite , unobservable , computer science , finite state machine , component (thermodynamics) , context (archaeology) , suite , observable , state (computer science) , translation (biology) , algorithm , test case , mathematics , machine learning , history , paleontology , biochemistry , chemistry , physics , regression analysis , archaeology , messenger rna , gene , quantum mechanics , biology , econometrics , thermodynamics

We consider a composite system consisting of two communicating finite state machines, an embedded component and a context representing the remaining parts of the system. In this article, a method is proposed for translating a complete internal test suite defined over the unobservable alphabets of the embedded component into a complete external test suite defined over the observable external alphabets of the system, assuming that the context is fault-free. Propositions are established to verify the different steps of the proposed method and a detailed application example illustrating these steps is included.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research