Formal black box testing for partially specified deterministic finite state machines

• Autorzy: Bălănescu 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

Bălănescu T.

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

autor

Gheorghe M.

• Department of Computer Science, Sheffield University, Portobello Street, 211 Portobello Street, Sheffield, UK

autor

Ipate F.

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

autor

Holcombe M.

• Department of Computer Science, Sheffield University, Portobello Street, 211 Portobello Street, Sheffield, UK

Bibliografia

• [1] T. Bălănescu: Generalized Stream X-machines with output delimited type. Formal Aspects Computing. 12 (2000), 473-484.
• [2] T.S. Chow: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Engrg. 4 (1978), 178-187.
• [3] S. Eilenberg: Automata, languages and machines. Academic Press, 1974.
• [4] S. Fujiwara, G. von Bochmann, F. Khendek, M. Amalou and A. Ghedamsi: Test selection based on finite state models. IEEE Trans. Softw. Eng. 17 (1991), 591-603.
• [5] R.M. Hierons: Testing from a Z specifications. J. Softw. Test. Verific. Reliability. 7 (1997), 19-33.
• [6] M. Holcombe and F. Ipate: Correct systems: Building a business process solution. Springer Verlag, Berlin, 1998.
• [7] F. Ipate and M. Holcombe: An integration testing method that is proved to find all faults. Intern. J. Comput. Math. 69 (1997), 159-178.
• [8] F. Ipate and M. Holcombe: Generating test sequences from son-deterministic generalized stream X-machines. Formal Aspects Computing. 12 (2000), 443-458.
• [9] F. Ipate and M. Holcombe: A method for refining and testing generalized machine specifications. Intern. J. Comput. Math. 68 (1998), 197-219.
• [10] F. Ipate and M. Holcombe: Specification and testing using generalized machines: a presentation and a case study. J. Softw. Test. Verific. Reliability. 8 (1998), 61-81.
• [11] F. Ipate and M. Holcombe: An integrated refinement and testing method for stream X-machines. Appl. Algebra Engrg., Comm. Comput. 13 (2002), 67-91.
• [12] D. Lee and M. Yannakakis: Principles and methods of testing finite state machines - A survey. Proceed. IEEE 84 (1996), 1090-1123.
• [13] G. Luo, G. v. Bochmann and A. Petrenko: Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method. IEEE Trans. Softw. Engrg. 20 (1994), 149-161.
• [14] A. Petrenko: Fault model-driven test derivation from finite state models: Annotated bibliography. In Modelling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Springer Verlag, Lecture Notes in Comput. Sci. 2067, 2001, 196-205.
• [15] P. Stocks and D. Carrington: Test template framework: a specification-based test case study. SIGSOFT Softw. Engrg. Notes. 18 (1993), 11-18.
• [16] G. v. Bochmann and A. Petrenko: Protocol testing: Review of methods and relevance for software testing. In ACM International Symposium on Software Testing and Analysis. Seattle USA, 1994, 109-123.