Control and data flow structural testing criteria for aspect-oriented programs

Otávio Augusto Lazzarini Lemos

doi:10.1016/j.jss.2006.08.022

Control and data flow structural testing criteria for aspect-oriented programs

2007-06-01

25

PRE

AI

O

Otávio Augusto Lazzarini Lemos *

A

Auri Marcelo Rizzo Vincenzi

J

José Carlos Maldonado

P

Paulo César Masiero

DOI：10.1016/j.jss.2006.08.022

原文链接

原文求助

摘要

En 中文

Although it is claimed that, among other features, aspect-oriented programming (AOP) increases understandability and eases the maintenance burden, this technology cannot provide correctness by itself, and thus it also requires the use of systematic verification, validation and testing (VV&T) approaches. With the purpose of producing high quality software, many approaches to apply structural testing criteria for the unit testing of procedural and object-oriented (00) programs have been proposed. Nevertheless, until now, few works have addressed the application of such criteria to test aspect-oriented programs. In this paper we define a family of control flow and data flow based testing criteria for aspect-oriented programs inspired by the implementation strategy adopted by AspectJ - an aspect-oriented extension of the Java language - and extending a previous work proposed for Java programs. We propose the derivation of a control and data flow model for aspect-oriented programs based upon the static analysis of the object code (the Java bytecode) resulted from the compilation/weaving process. Using this model, called aspect-oriented def-use graph (AODU) traditional and also aspect-oriented testing criteria are defined (called Control and Data Flow Structural Testing Criteria for Aspect-Oriented Programs - CDSTC-AOP). The main idea is that composition of aspect-oriented programs leads to new crosscutting interfaces in several modules of the system, which must be considered for coverage during structural testing. The implementation of a prototype tool - the JaBUTi/AJ tool - to support the proposed criteria and model is presented along with an example. Also, theoretical and practical questions regarding the CDSTC-AOP criteria are discussed. (C) 2006 Elsevier Inc. All rights reserved.

Keyword:

software testing

aspect-oriented programming

structural testing

testing criteria

testing aspect-oriented programs

Control and data flow structural testing criteria for aspect-oriented programs

摘要

AI总结

期刊

机构

引用论文