Guided test generation from CSP models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5160 LNCS, Issue , 2008, Pages 258-273

  Nogueira, Sidney ^a,b   Sampaio, Augusto ^a   Mota, Alexandre ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

^b MOTOROLA INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER OPERATING PROCEDURES; MOBILE DEVICES; TELECOMMUNICATION EQUIPMENT;

CSP PROCESS ALGEBRA; DEVICE FUNCTIONALITY; FEATURE INTERACTIONS; GENERATION PROCESS; INDUSTRIAL CO-OPERATION; MOTOROLA INC.; NATURAL LANGUAGES; TEST CASES; TEST EXECUTION; TEST GENERATIONS; TEST MODELING; TEST-CASE GENERATION; USE CASES;

TESTING;

EID: 51849132449     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85762-4_18     Document Type: Conference Paper

References (21)

1. Andrade, W., et al.: Interruption Test Case Generation for Mobile Phone Applications (in Portuguese). In: XXV Brazilian Symposium in Computer Networks and Distributed Systems (2007)
2. Cabral, G., Sampaio, A.: Formal Specification Generation from Requirement Documents. Electron. Notes Theor. Comput. Sci. 195, 171-188 (2008); Best Paper Award
3. Cavalcanti, A., Gaudel, M.-C.: Testing for Refinement in CSP. In: Butler, M., Hinchey, M.G., Larrondo-Petrie, M.M. (eds.) ICFEM 2007. LNCS, vol. 4789, pp. 151-170. Springer, Heidelberg (2007)
4. Hierons, R.: Checking states and transitions of a set of communicating finite state. Microprocessors and Microsystems, Special Issue on Testing and testing techniques for real-time embedded software systems 24(9), 443-452 (2001)
5. Jard, C., Jéron, T.: TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Int. J. Softw. Tools Technol. Transf. 7(4), 297-315 (2005)
6. Bogdanov, K., et al.: Working together: Formal Methods and Testing. ACM Computing Surveys (December 2003)
7. Ledru, Y., et al.: Test Purposes: Adapting the Notion of Specification to Testing. In: ASE 2000, p. 127 (2001)
8. Leitão, D., Torres, D., Barros, F.A.: Nlforspec: Translating natural language descriptions into formal test case specifications. In: SEKE, Knowledge Systems Institute Graduate School, pp. 129-134 (2007)
9. Formal Systems. Failures-Divergence Refinement - FDR2 User Manual. Formal Systems (Europe) Ltd (June 2005)
10. ISO 8807:1989. LOTOS: A formal description technique based on the temporal ordering of observational behaviour. ISO (1989)
11. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
12. Nogueira, S., Sampaio, A., and Mota, A. Guided Test Generation from CSP Models. Tech. rep., CIn-UFPE (July 2007), http://www.cin.ufpe.br/∼scn/ reports/TR-Mar08.pdf
13. Peleska, J., Siegel, M.: Test automation of safety-critical reactive systems. South African Computer Journal 19, 53-77 (1997)
14. Ramos, R., Sampaio, A., Mota, A.: Framework composition conformance via refinement checking. In: SAC 2008: Proceedings of the, ACM symposium on Applied computing, vol. 23, pp. 119-125 (2008)
15. Roscoe, A.W., Hoare, C.A.R., Bird, R.: The Theory and Practice of Concurrency. Prentice Hall PTR (1997)
16. Sampaio, A., et al.: Software test program: a software residency experience. In: ICSE 2005, pp. 611-612. ACM Press, New York (2005)
17. Schneider, S.: Abstraction and testing. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 738-757. Springer, Heidelberg (1999)
18. Torres, D., Leitão, D., Barros, F.A.: Motorola SpecNL: A Hybrid System to Generate NL Descriptions from Test Case Specifications. HIS 0, 45 (2006)
19. Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software - Concepts and Tools 17(3), 103-120 (1996)
20. Tretmans, J.: Testing concurrent systems: A formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 46-65. Springer, Heidelberg (1999)
21. Tretmans, J., Belinfante, A.: Automatic testing with formal methods. In: Eu roSTAR 1999: 7th European Int. Conference on Software Testing, Analysis & Review, November 8-12, pp. 8-12 (1999)