A complete testing strategy based on interacting and hierarchical FSMs

DOI10.1016/S0167-9260(97)00015-1MaRDI QIDQ3840897zbMATH OpenWikidataFDO

Authors Franco Fummi, Donatella Sciuto

Publication date 13 August 1998

Published in Integration (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0167-9260(97)00015-1

zbMATH Keywords

FSMfunctional testinghardware description language

Mathematics Subject Classification ID

Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

Recommendations

• FsmTest: Functional test generation for sequential circuits
• Testing hierarchical systems
• Canonical finite state machines for distributed systems
• Multiple mutation testing from FSM
• scientific article; zbMATH DE number 2013787

Cited in

(2)

• FSM Test Translation Through Context
• scientific article; zbMATH DE number 2000399 (Why is no real title available?)

This page was built for publication: A complete testing strategy based on interacting and hierarchical FSMs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3840897)