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

Abstract

The quality of software has become one of the most important factor in determining the success of products or enterprises. In order to accomplish a quality software product, several methodologies, techniques, and frameworks have been developed, each one developed and tailored to specific areas or characteristics of the software under review. 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.

New Testing Techniques to Evaluate the Quality of Information Visualization Implementations

“…Motivated by the need to ensure the quality of visualizations, Larrea [20] proposed a new black-box testing technique based on user interactions at a conceptual level. Subsequent works present the creation and evolution of a whitebox testing tool for Java source code [41,35,24,36] and a blackbox testing tool evaluated on web-visualization test cases [40]. All these proposals build on Message Sequence Specification (MSS) [25] and coverage criteria based on method sequencing constraints [26] and share some similarities with User Action Notation [27].…”

“…This new development has similarities with another developed in the 90s [26,34], in the sense that it works on restrictions to the order of calls to methods of a class instead of interactions of a visualization. This new tool, called TAPIR, became a testing framework for Java [35], and, in this work, we adapted it for C#.…”

“…TAPIR [41,35,24,36,43] is a white-box testing framework for object-oriented source code based on Message Sequence Specification (MSS) [34]. An MSS is the equivalent of an SCI but for a class in an object-oriented program.…”