Model - Based Testing for Contractual Software using Aspects

With the development and increasing adoption of the Unified Modeling Language (UML), model-based testing has becomeone of the most researched and implemented testing areas.Among the different UML models, sequence diagrams are the mostcommonly adopted for representing the system interactions and communicating the functional requirements, and thus are oftenused to enable test case generation for a specific program. On the other hand, the “Design by Contract” technique consists ofspecifying the communication between the system components and the responsibilities and expectations of each one of them.This paper presents an approach to improve test case generation in model-based testing by encapsulating the different systemconstraints in one contract as an aspect and testing it independently as a unit. The testing of the different system base classeswill be then performed through establishing a woven sequence diagram that is simpler to understand and which combines bothbase classes and aspects’ interactions, enabling an easier and more fruitful test generation process.