Testing conditions for communicating stream X-machine systems

Formal Aspects of Computing

Volumn 13, Issue 6, 2002, Pages 431-446

  Ipate, Florentin ^a   Holcombe, Mike ^b  

^a UNIVERSITY OF PITESTI   (Romania)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

Communicating (extended) fsm; Communicating (stream) X machines; Design for test conditions; Testing

Indexed keywords

DESIGN FOR TESTABILITY; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; SYSTEMS ANALYSIS;

COMMUNICATING (EXTENDING) FSM; COMMUNICATING (STREAM) X-MACHINES; DESIGN FOR TEST-CONDITIONS; TESTING CONDITIONS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0038593253     PISSN: 09345043     EISSN: 1433299X     Source Type: Journal    
DOI: 10.1007/s001650200021     Document Type: Article

References (25)

1. [BCG99] T. Balanescu, T. Cowling, H. Georgescu, M. Gheorghe, M. Holcombe, C. Vertan, Communicating Stream X-Machines Systems are no more than X-Machines, J.UCS, 5 (9), pp. 492-507, 1999.
2. [ChK93] K.-T. Cheng, A.S. Krishnakumar, Automatic functional test generation using the extended finite state machine mode, Proc. DAC, pp 86-91, 1993.
3. [Cho78] T. S. Chow, Testing software design modelled by finite state machines, IEEE Transactions on Software Engineering, 4(3), pp. 178-187, 1978.
4. [ChA90] W. Chun, P.D. Amer, Test Case Generation For Protocols Specified In Estelle, FORTE'90, Madrid, Spain, J. Quemada, J. Manas, E. Vazquaz (eds) pp. 197-210, 1990.
5. [Eil74] S. Eilenberg, Automata, languages and machines, Vol. A, Academic Press, 1974.
6. [FHI95] M. Fairtlough, M. Holcombe, F. Ipate, C. Jordan, G. Laycock, Z. Duan, Using an X-machine to Model a Video Cassette Recorder, Current issues in electronic modelling, 3, pp/ 141-161, 1995.
7. [FBK91] S. Fujiwara, G. von Bochmann, F. Khendek, M. Amalou and A. Ghedamsi, Test Selection Based on Finite State Models, IEEE Transactions on Software Engineering, 17(6), pp. 591-603, 1991.
8. [GeV00] H. Georgesou, C. Vertan, A New Approach to Communicating Stream X-Machines Systems, accepted by J.UCS, 2000.
9. [Hol88] M. Holcombe, X- machines as a basis for dynamic system specification, Software Engineering Journal 3, pp69-76, 1998.
10. [HIG95] M. Holcombe, F. Ipate, A. Grondoudis, Complete Functional Testing of Safety-Critical Systems, Safety and Reliability in Emerging Control Technologies: A Postprint volume from the IFAC Workshop on Safety and Reliability in Emerging Control Technologies, Daytona Beach, Florida, USA, pp. 199-204, 1-3 November 1995.
11. [HoI98] M, Holcombe and F. Ipate, Correct Systems: Building a Business Process Solution, Springer Verlag, Berlin, 1998.
12. [HuH94] C.-M. Huang, J.-M. Hsu, An incremental Protocol Verification Method, The computer Journal, 37(8), pp. 698-710, 1994.
13. [IpH96] F. Ipate and M. Holcombe, Another look at computability, Informatica, Vol. 20, pp. 359-372, 1996.
14. [IpH97] F. Ipate and M. Holcombe, An Integration Testing Method That is Proved to Find all Faults, Intern. J. Computer Math, Vol. 69, pp. 159-178, 1997.
15. [Ipa95] F. Ipate, Theory of X-machines and Applications in Specification and Testing, PhD thesis, University of Sheffield, UK, 1995.
16. [IpH98a] F. Ipate, M. Holcombe, A method for refining and testing generalised machine specifications, International Journal of Computer Mathematics, 68, pp. 197-219, 1998.
17. [IpH98b] F. Ipate, M. Holcombe, Specification and Testing using Generalised Machines: a Presentation and a Case Study, Software Testing, Verification and Reliability, 8, pp. 6-81, 1998.
18. [IpH01] F. Ipate, M. Holcombe, Generating Test Sequences from Non-deterministic Generalised Stream X-machines, Formal Aspects of Computing 12:443-458, 2000.
19. [Kwa92] E. Kwast, Automatic test generation for protocol data aspects, Proc. IFIG WG6.1 12th Intl. Symp. on Protocol Specification, Testing and Verification, North Holland, R.J. Linn, Jr. and M.U.Uyar Ed., pp 211-226, 1992.
20. [LeL91] D.Y. Lee, J.D. Lee, Test generation for the specification written in Estelle, Proc. IPIF WG6.1 11th Intl. Symp on Protocol Specification, Testing and Verification, North-Holland, B. Jonsson, J. Parrow, B. Pehrson Ed., pp 317-332, 1991.
21. [LeY96] D. Lee, M. Yannakakis, Principles and Methods of Testing Finite State Machines - A Survey, Proceedings of the IEEE, 84(8), pp. 1090-1123, 1996.
22. [LCL187] F. Lin, P. Chu, M. Liu, Protocol Verification using Reachability Analysis, Computer Communication Review, Vol. 17, No. 5, 1987.
23. [LCL287] F. Lin, P. Chu, M. Liu, Protocol Verification using Reachability Analysis: the state explosion problem and relief strategies, Computer Communication Review, 17(5) 126-134, 1987.
24. [LBP94] G. Luo, G. v. Bochmann, A. Petrenko, Test Selection Based on Communicating Non-deterministic Finite-State Machines Using a Generalised Wp-Method, IEEE Transactions on Software Engineering, 20(2), pp. 149-161, 1994.
25. [WaL93] C.-J. Wang, M.T. Liu, Generating test cases for EFSM with given fault models, Proc. IEEE INFOCOM'93, pp 774-781, 1993.