ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems

Software Quality Journal

Volumn 8, Issue 4, 1999, Pages 303-320

  Martins, Eliane ^{a,c,d,e,f,g,h}   Sabião, Selma B ^a,i   Ambrosio, Ana Maria ^b  

^a UNIVERSITY OF CAMPINAS   (Brazil)

^b INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS   (Brazil)

^c FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^d UNIVERSITÉ DE TOULOUSE   (France)

^e FLUMINENSE FEDERAL UNIVERSITY   (Brazil)

^f Brazilian Agriculture Ministry   (Brazil)

^g Brazilian Natl Space Res Institute   (Brazil)

^h Institute of Computing   (Brazil)

ⁱ STATE UNIVERSITY OF MARINGÁ   (Brazil)

Author keywords

Communications protocol testing; EFSM based testing; Logic programming

Indexed keywords

LOGIC PROGRAMMING; PROLOG (PROGRAMMING LANGUAGE); SOFTWARE TESTING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

COMMUNICATIONS PROTOCOLS; DATA PARTS; EXTENDED FINITE STATE MACHINE; PROTOCOL SPECIFICATIONS; TEST CASE GENERATION; TEST GENERATIONS; TEST METHOD; TEST STRATEGIES;

TESTING;

EID: 0007844615     PISSN: 09639314     EISSN: 15731367     Source Type: Journal    
DOI: 10.1023/A:1008930105477     Document Type: Article

References (25)

1. Beizer, B. 1990, Software Testing Techniques, 2nd ed., International Thomson Computer Press.
2. Bochmann, G.v., and Dssouli, R. 1997. Test development for distributed systems: towards automation. Tutorial 15th Brazilian Computer Networks Symp. (SBRC).
3. Bochmann, G.v., and Petrenko, A. 1994. Protocol testing: review of methods and relevance for software testing. Proc. Int. Symp. on Software Testing and Analysis (ISSTA), pp. 109-124.
4. Bourhfir, C., Dssouli, R., and Aboulhamid, E. 1996. Automatic test generation for EFSM based systems. URL: http://www.iro.umontreal.ca/labs/teleinfo/ReprPubTest.html.
5. Bratko, I. 1986, Prolog Programming for Artificial Intelligence, Addison-Wesley.
6. Carvalho, M.J.M. 1997, Implementation and testing of the transfer layer protocol of the ground station communication system for the SACI-1 satellite. Master Thesis, Federal University of Rio Grande do Norte, Brazil (in Portuguese).
7. Castanet, R., and Sijelmassi, R. 1987. Methods and semi-automatic tools for preparing distributed testing. Proc. Protocol Specification, Testing and Verification, Elsevier Science Publishers, pp. 119-130.
8. Chadha, R., Erickson, R., Jani, S., Ness, L., and Ratel, C. 1995. Automated test generation for improved protocol testing. Proc. Int. Conf. Communications - ICC'95, Piscataway, NJ, pp. 167-171.
9. Denney, R. 1991. Test-case generation from Prolog-based specifications, IEEE Software March, 49-57.
10. Hoffman, D.M., and Strooper, P. 1991. Automated module testing in Prolog, IEEE Trans. Software Eng. 17(9): 934-943.
11. Martins, E., Araujo, M.R.R., Ambrosio, A.M., Correa, K.S., and Francisco, M.F.M. 1997. Testing fault tolerance in communication systems. Proc. VII Symp. Fault Tolerant Computing, Campina Grande, Paraiba, Brazil, pp. 369-384 (in Portuguese).
12. Myers, G.J. 1979. The Art of Software Testing, John Wiley & Sons.
13. Neufeld, G., and Vuong, S.T. 1992. An overview of ASN. 1. Comput. Networks ISDN Syst. 23: 393-415.
14. O'Keefe, R.A. 1990. The Craft of Prolog, The MIT Press.
15. Pesch, H., Schnupp, P., Schaller, H., and Spirk, A.P. 1985. Test case generation using Prolog. Proc. 8th Int. Conf. Software Engineering, London, UK, pp. 252-258.
16. Poston, R.M. 1996. Automating Specification-Based Software Testing, IEEE Computer Society Press.
17. Sabião, S.B. 1999. A method for test case generation based on extended finite state machines combining black-box testing techniques. Master Thesis, Institute of Computing, State University of Campinas, Brazil (in Portuguese).
18. Sarikaya, B., Bochmann, G.v., and Cerny, E. 1987. A test design methodology for protocol testing, IEEE Trans. Software Eng. SE-13(5): 518-531.
19. Sidhu, D.P., and Leung, T.-K. 1989. Formal methods for protocol testing: a detailed study, IEEE Trans. Software Eng. 15(4): 413-426.
20. Ural, H. 1987. Test sequence selection based on static data flow analysis, Comput. Commun. 10(5): 234-242.
21. Ural, H. 1992. Formal methods for test sequence generation, Comput. Commun. 15(5): 311-325.
22. Ural, H., and Probert, R.L. 1983. User-guided test sequence generation. Proc. Protocol Specification, Testing and Verification, Elsevier Science Publishers, pp. 421-436.
23. Ural, H., and Yang, B. 1991. A test sequence selection method for protocol testing, IEEE Trans. Commun. 39(4): 514-523.
24. Vuong, S.T., Janssen, H., Lu, Y., Mathieson, C., and Do, B. 1994. TESTGEN: an environment for protocol test suite generation and selection, Comput. Commun. 17(4): 257-270.
25. Tan, Q.M., Petrenko, A., and Bochmann, G.v. 1996. A test generation tool for specifications in the form of state machines. Proc. Int. Conf. Communications - ICC, Dallas, Texas, pp. 225-229. URL: http://www.iro.umontreal.ca/labs/teleinfo/ReprPubTest.html.