Automated testing EJB components based on algebraic specifications

Proceedings - International Computer Software and Applications Conference

Volumn 2, Issue , 2007, Pages 717-722

  Kong, Liang ^b   Zhu, Hong ^a   Zhou, Bin ^b  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

^b NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER AIDED SOFTWARE ENGINEERING; FAULT DETECTION; JAVA PROGRAMMING LANGUAGE; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; ALGEBRAIC TESTING; JAVA COMPONENTS;

SOFTWARE TESTING;

EID: 37349025358     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2007.82     Document Type: Conference Paper

References (26)

1. Hopkins, J., Component primer, CACM 43(10), Oct. 2000, pp27-30.
2. Szyperski, C., Component Software: Beyond Object-Oriented Programming, Second Edition, Addison Wesley, Nov. 2002.
3. D'Souza, D. and Wills, A. C., Objects, Components and Frameworks with UML: The Catalysis Approach, Addison Wesley, 1999.
4. Gao, J., Tsao, J. H.-S., and Wu, Y., Testing and Quality Assurance for Component-Based Software, Artech House, 2003.
5. Sparling, M., Lessons learned through six years of component-based development, CACM 43(10), Oct.2000, pp47-53.
6. Crnkovic, I., Larsson, M., A case study: demands on component-based development, Proc. ICSE'2000, June, 2000, pp22-30.
7. Morisio, M., Seaman, C. B., Parra, A. T., Basili, V. R., Kraft, S. E. and Condon, S. E., Investigating and improving a COTS-based software development, Proc. ICSE'2000, June 2000, pp32-41.
8. Beydeda S. and Gruhn, V. (eds), Testing COTS Components and Systems, Springer, 2005.
9. Beydeda, S. and Gruhn, V., State of art in testing components, Proc. of QSIC03, Oct. 2003, IEEE CS, pp146-153.
10. Beydeda, S., The Self-Testing COTS Component STECC Method, PhD Thesis, Department of Computer Science, University of Leipzig, Germany, 2004.
11. Beydeda, S., Self-Metamorphic-Testing Components, Proc. COMPSAC06, 2006, pp.265-272
12. Briand, L. C., Labiche, Y., Sówka, M. M., Automated, Contract-based User Testing of Commercial-Off-The-Shelf Components, Proc. of ICSE'06, May, 2006, Shanghai, China, IEEE CS Press, pp.92-101.
13. Gallagher, L. and Offutt, J., Automatically testing interacting software components, Proc. AST'06, ACM Press, May 2006, pp.57-63.
14. Guttag, J., "Abstract data types and the development of data structures", CACM 20(6), 1977, pp396-404.
15. Goguen, J. A., Thatcher, J. W., Wagner, E. G., and Wright, J. B., Initial Algebra Semantics and Continuous Algebras, J. ACM 24(1), Jan. 1977, pp68-95.
16. Sannella, D. and Tarlecki, A., Algebraic methods for specification and formal development of programs, ACM Comput. Surv. 31(3es), Article 10, Sept. 1999.
17. Gonnon, J., McMullin, P. and Hamlet, R., Data-Abstraction Implementation, Specification, and Testing, ACM TOPLAS 3(3), July 1981, pp211-223.
18. Bernot, G., Gaudel, M. C., and Marre, B., Software testing based on formal specifications: a theory and a tool, Software Engineering Journal, Nov. 1991, pp387-405.
19. Goguen, J. and Malcolm, G., A hidden agenda, Theoretical Computer Science 245(1), 2000, pp55-101.
20. Sannellla, D., and Tarlecki, A., On observational equivalence and algebraic specification, Journal of Computer and System Sciences 34, 1987, pp150-178.
21. Doong, R. K. and Frankl, P. G., The ASTOOT approach to testing object-oriented programs, ACM TSEM 3(2), Apr.1994, pp101-130.
22. Hughes, M. and Stotts, D., Daistish: systematic algebraic testing for OO programs in the presence of side-effects. Proc. ISSTA'96, ACM Press, January 1996, pp53-61.
23. Chen, H. Y., Tse T. H. and Chen, T. Y., TACCLE: a methodology for object-oriented software testing at the class and cluster levels, ACM TSEM 10(1), Jan. 2001, pp56-109.
24. Chen, H.Y., et al., In black and white: an integrated approach to class-level testing of object-oriented programs, ACM TSEM 7(3), Jul. 1998, pp250-295.
25. Zhu, H., A Note on Test Oracles and Semantics of Algebraic Specifications,Proc.QSIC'03,Dallas,USA,Nov.2003,pp91-99.
26. Harrold, M. J, Offutt, J, A. and Tewary, K. (1997) An approach to fault modeling and fault seeding using the program dependence graph, J. of Systems & Software 3, pp.273-296.