W_p-method for partially specified deterministic finite state machines

MaRDI QIDQ4900302zbMATH OpenFDO

Authors Tudor Bălănescu, Florentin Ipate

Publication date 14 January 2013

zbMATH Keywords

Chow's methodEilenberg machinesfinite state machine testingstream X-machines

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal black box testing for partially specified deterministic finite state machines
• A testing procedure for deterministic cover finite state machines
• Bounded sequence testing from deterministic finite state machines
• Model partitions and compact test case suites
• scientific article; zbMATH DE number 6125212

Cited in

(7)

• Testing against a non-controllable stream X-machine using state counting
• Model partitions and compact test case suites
• A testing procedure for deterministic cover finite state machines
• Error handling in software systems: modeling and testing with finite state machines
• Formal black box testing for partially specified deterministic finite state machines
• A model for determining the set of characterization of D-systems
• Bounded sequence testing from deterministic finite state machines

This page was built for publication: \(W_p\)-method for partially specified deterministic finite state machines

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