Formal black box testing for partially specified deterministic finite state machines

• Autorzy: Balanescu T. , Gheorghe M. , Ipate F. , Holcombe M.
• Języki publikacji: EN

Abstrakty

EN

One of the most important methods of generating test sets for software modelled by finite state machines is Chow's W-method. However, the W-method is only proved to work if both the specification and the implementation are completely-specified deterministic finite state machines (i.e. there is a transition for any state and any input symbol). This paper extends the W-method to (possibly) partially specified deterministic finite state machines. It shows that, by slightly augmenting the test set, the W-method remains valid in this, more general, case. It is also shown how this generalised W--method can be used to generate test sets for a type of extended finite state machines, called stream X-machines (Eilenberg machines).

Słowa kluczowe

EN

black box testing; finite state machine

PL

informatyka

• Wydawca: Wydawnictwo Politechniki Poznańskiej
• Czasopismo: Foundations of Computing and Decision Sciences
• Rocznik: 2003
• Tom: Vol. 28, No. 1
• Strony: 17--28
• Opis fizyczny: Bibliogr. 16 poz.

Twórcy

autor

Balanescu T.

autor

Gheorghe M.

autor

Ipate F.

autor

Holcombe M.

• Faculty of Mathematics and Computer Science, University of Pitesti, Str. Targu din Vale 1, 0300 Pitesti, Romania,