Error handling in software systems: modeling and testing with finite state machines

MaRDI QIDQ3018245zbMATH OpenFDO

Authors Radu Oprişa

Publication date 21 July 2011

zbMATH Keywords

finite state machineW method

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45)

Recommendations

• A testing procedure for deterministic cover finite state machines
• Formal black box testing for partially specified deterministic finite state machines
• \(W_p\)-method for partially specified deterministic finite state machines
• Modeling software with finite state machines. A practical approach.
• A model for determining the set of characterization of D-systems

This page was built for publication: Error handling in software systems: modeling and testing with finite state machines

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