A model for determining the set of characterization of D-systems

MaRDI QIDQ5743646zbMATH OpenFDO

Authors Doru Anastasiu Popescu

Publication date 5 February 2016

zbMATH Keywords

finite state machinessoftware systemstestingW-method

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

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
• Finite state based testing of P systems
• Canonical finite state machines for distributed systems

Cited in

(3)

• Characterization of circular D0L-systems
• A testing procedure for deterministic cover finite state machines
• Error handling in software systems: modeling and testing with finite state machines

This page was built for publication: A model for determining the set of characterization of D-systems

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