Abstract
The quality of software has become one of the most important factor in determining the success of products or enterprises. This paper presents a white-box testing framework for Object-Oriented Programming based on Message Sequence Specification and Aspect Oriented Programming. In the context of an Object-Oriented program, our framework can be used to test the correct order in which the methods of a class are invoked.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
References
Kirani, S., Tsai, W.T.: Specification and verification of object-oriented programs. Computer Science Department, University of Minnesota, Technical report (1994)
Daniels, F., Tai, K.: Measuring the effectiveness of method test sequences derived from sequencing constraints. In: Proceedings of Technology of Object-Oriented Languages and Systems-TOOLS 30 (Cat. No. PR00278), pp. 74–83. IEEE (1999). https://doi.org/10.1109/TOOLS.1999.787537
Silva, J.I.R., Larrea, M.: White-box testing framework for object-oriented programming based on message sequence specification. In: XXIV Congreso Argentino de Ciencias de la Computación (Tandil 2018), pp. 532–541 (2018)
Jorgensen, P.C.: Software Testing: A Craftsman’s Approach. Auerbach Publications (2013). https://doi.org/10.1201/9781439889503
Weißleder, S.: Test models and coverage criteria for automatic model-based test generation with UML state machines. Ph.D. thesis, Humboldt University of Berlin (2010)
Friske, M., Schlingloff, B.H., Weißleder, S.: Composition of model-based test coverage criteria. In: MBEES, pp. 87–94 (2008)
Tsai, W.T., Tu, Y., Shao, W., Ebner, E.: Testing extensible design patterns in object-oriented frameworks through scenario templates. In: Proceedings of the Twenty-Third Annual International Computer Software and Applications Conference (Cat. No. 99CB37032), pp. 166–171. IEEE (1999). https://doi.org/10.1109/CMPSAC.1999.812695
Tsai, W.T., Paul, R., Cao, Z., Yu, L., Saimi, A.: Verification of web services using an enhanced UDDI server. In: Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), pp. 131–138. IEEE (2003). https://doi.org/10.1109/WORDS.2003.1218075
Nobakht, B., de Boer, F.S., Bonsangue, M.M., de Gouw, S., Jaghoori, M.M.: Monitoring method call sequences using annotations. Comput. Imaging Vis. 94, 362–378 (2014). https://doi.org/10.1016/j.scico.2013.11.030
Larrea, M.L.: Black-box testing technique for information visualization. Sequencing constraints with low-level interactions. J. Comput. Sci. Technol. 17, 37–48 (2017)
Turner, J.D.: Supporting interactive system testing with interaction sequences. Ph.D. thesis, The University of Waikato (2019)
Laddad, R.: AspectJ in Action: Practical Aspect-Oriented Programming. Manning Publications Co., Greenwich (2003)
Larrea, M.L., Castro, S.M., Bjerg, E.A.: A software solution for point counting. Petrographic thin section analysis as a case study. Arab. J. Geosci. 7(8), 2981–2989 (2014). https://doi.org/10.1007/s12517-013-1032-0
Acknowledgment
This work was partially supported by the following research projects: PGI 24/N037 and PGI 24/ZN29 from the Secretaría General de Ciencia y Tecnología, Universidad Nacional del Sur, Argentina.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Larrea, M.L., Silva, J.I.R., Selzer, M.N., Urribarri, D.K. (2019). White-Box Testing Framework for Object-Oriented Programming. An Approach Based on Message Sequence Specification and Aspect Oriented Programming. In: Pesado, P., Aciti, C. (eds) Computer Science – CACIC 2018. CACIC 2018. Communications in Computer and Information Science, vol 995. Springer, Cham. https://doi.org/10.1007/978-3-030-20787-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-20787-8_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-20786-1
Online ISBN: 978-3-030-20787-8
eBook Packages: Computer ScienceComputer Science (R0)