Test generation from bounded algebraic specifications using alloy

ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies

Volumn 2, Issue , 2011, Pages 192-200

  De Andrade, Francisco Rebello ^a   Faria, João Pascoal ^a,b   Paiva, Ana C R ^a  

^a UNIVERSITY OF PORTO   (Portugal)

^b UNIVERSITY OF PORTO   (Portugal)

Author keywords

Abstract data types; Algebraic specifications; Alloy analyzer; Test case generation

Indexed keywords

ABSTRACT DATA TYPES; ALGEBRAIC SPECIFICATION LANGUAGES; ALGEBRAIC SPECIFICATIONS; ALLOY ANALYZERS; DISJUNCTIVE NORMAL FORM; FORMAL SPECIFICATION; MINTERM; MODELLING LANGUAGE; SOFTWARE COMPONENT; TEST CASE; TEST CASE GENERATION; TEST GENERATIONS;

ABSTRACTING; ALGEBRA; ALLOYS; CERIUM ALLOYS; SPECIFICATION LANGUAGES; SPECIFICATIONS; TESTING;

SOFTWARE TESTING;

EID: 80052597365     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Abreu, J., Caldeira, A., Lopes, A., Nunes, I., Reis, L. S. & Vasconcelos, V. T. 2007a. Congu, Checking Java Classes Against Property-Driven Algebraic Specifications.
2. Abreu, J., Vasconcelos, V. T., Nunes, I., Lopes, A., REIS, L. S. & Caldeira, A. 2007b. ConGu v.1.50 The Specification and the Refinement Languages.
3. Anastasakis, K., Behzadbordbar & Kuster, J. M. 2008. Analysis of model transformations via Alloy.
4. Beck, K., Gamma, E. & Saff, D. JUnit's project homepage, http://junit.sourceforge.net/ [Online]. Available: http://junit.sourceforge.net/ [Accessed].
5. Bernot, G., Gaudel, M. C. & Marre, B. 1991. Software testing based on formal specifications: a theory and a tool. Softw. Eng. J.: Michael Faraday House.
6. Bo, Y., Liang, K., Yufeng, Z. & Hong, Z. Year. Testing Java Components based on Algebraic Specifications. In: International Conference on Software Testing, Verification, and Validation, 2008 Washington, DC, USA. IEEE Computer Society, 190-199.
7. Chen, H. Y., Tse, T. H., Chan, F. T. & Chen, T. Y. 1998. In black and white: an integrated approach to class-level testing of object-oriented programs. ACM Trans. Softw. Eng. Methodol.: ACM.
8. Chen, H. Y., Tse, T. H. & Chen, T. Y. 2001. TACCLE: a methodology for object-oriented software testing at the class and cluster levels. ACM Trans. Softw. Eng. Methodol.: ACM.
9. Cunha, A. 2009. 'An introduction to Alloy' slides.
10. Dan, L. & Aichernig, B. K. 2005. Combining Algebraic and Model-Based Test Case Generation.
11. Doong, R.-K. & Frankl, P. G. 1994. The ASTOOT approach to testing object-oriented programs. ACM Trans. Softw. Eng. Methodol.: ACM.
12. Eclipse Foundation, I. 2010. Eclipse's website, http://www.eclipse.org/ [Online]. Available: http://www.eclipse.org/ [Accessed].
13. FCT 2009. A Quest for Reliability in Generic Software Components.
14. Guttag, J. V. 2002. Abstract data types, then and now. Software pioneers: contributions to software engineering. Springer-Verlag New York, Inc.
15. Hughes, M. & Stotts, D. 1996. Daistish: systematic algebraic testing for OO programs in the presence of side-effects. Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis. San Diego, California, United States: ACM.
16. Jackson, D. 2011a. Alloy Analyzer's API, http://alloy.mit.edu/alloy4/ public/ [Online]. Available: http://alloy.mit.edu/alloy4/public/ [Accessed].
17. Jackson, D. 2011b. Alloy Analyzer's website, http://alloy.mit.edu/ [Online]. Available: http://alloy.mit.edu/ [Accessed 11-06-2010].
18. Khurshid, S. & Marinov, D. 2003. TestEra: A Novel Framework for Testing Java Programs.
19. Khurshid, S. & Marinov, D. 2004. TestEra: Specification-based Testing of Java Programs Using SAT.
20. Kong, L., Zhu, H. & Zhou, B. 2007. Automated Testing EJB Components Based on Algebraic Specifications. Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02. IEEE Computer Society.
21. Mcmullin, P. R. 1982. Daists: a system for using specifications to test implementations. University of Maryland at College Park.
22. Nunes, I., Lopes, A. & Vasconcelos, V. 2009. Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.
23. Reis, L. S. 2007. ConGu v.1.50 User's Guide.
24. Vasconcelos, V. T., Nunes, I., Lopes, A., Ramiro, N. & Crispim, P. 2008. Monitoring Java Code Using ConGu.