Top

Published in:

2019 | OriginalPaper | Chapter

White-Box Testing Framework for Object-Oriented Programming. An Approach Based on Message Sequence Specification and Aspect Oriented Programming

Authors : Martín L. Larrea, Juan Ignacio Rodríguez Silva, Matías N. Selzer, Dana K. Urribarri

Published in: Computer Science – CACIC 2018

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter An Approach to Automated Recognition of Pavement Deterioration Through Machine Learning

next chapter Proposal for a Model of a Computer Systems Implantation Process (MoProIMP)

http://cs.uns.edu.ar/~mll/lapaz/.

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/9781439889503CrossRef

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.030CrossRef

10.

Larrea, M.L.: Black-box testing technique for information visualization. Sequencing constraints with low-level interactions. J. Comput. Sci. Technol. 17, 37–48 (2017)

11.

Turner, J.D.: Supporting interactive system testing with interaction sequences. Ph.D. thesis, The University of Waikato (2019)

12.

Laddad, R.: AspectJ in Action: Practical Aspect-Oriented Programming. Manning Publications Co., Greenwich (2003)

13.

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-0CrossRef

Title: White-Box Testing Framework for Object-Oriented Programming. An Approach Based on Message Sequence Specification and Aspect Oriented Programming
Authors: Martín L. Larrea
Juan Ignacio Rodríguez Silva
Matías N. Selzer
Dana K. Urribarri
Publisher: Springer International Publishing
Book: Computer Science – CACIC 2018
Print ISBN: 978-3-030-20786-1

Electronic ISBN: 978-3-030-20787-8

Copyright Year: 2019
DOI: https://doi.org/10.1007/978-3-030-20787-8_10

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner