05929614

j

05929614 Ipate, Florentin B\u al\u anescu, Tudor Finite state machine testing from an OR state refinement design. ROMAI J. 2, No. 1, 109-117 (2006). 2006 Romanian Society of Applied and Industrial Mathematics; Pamantul ARG, Pitesti EN finite state machine OR state refinement test generation verification W-method Summary: The paper formalizes the OR refinement of finite state machines and develops an efficient method to integrate the test sets of the component machines in order to test the flattened machine. The approach supports component-software development since it constructs test sets for an assembly of systems from readily available test sets of the prefabricated parts.