检索结果-内蒙古大学图书馆

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

JOURNAL OF SYSTEMS AND SOFTWARE 2007年第6期80卷 862-882页

作者： Lazzarini Lemos, Otavio Augusto Rizzo Vincenzi, Auri Marcelo Maldonado, Jose Carlos Masiero, Paulo Cesar Univ Sao Paulo Inst Ciencias Matemat Comp Sao Carlos SP Brazil Univ Fed Goias Inst Informat BR-74001970 Goiania Go Brazil

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.

关键词： software testing aspect-oriented programming structural testing testing criteria testing aspect-oriented programs

来源：评论

学校读者我要写书评

暂无评论

Integration testing of Object-oriented and aspect-oriented programs: A structural pairwise approach for Java

引用

SCIENCE OF COMPUTER PROGRAMMING 2009年第10期74卷 861-878页

作者： Lazzarini Lemos, Otavio Augusto Franchin, Ivan Gustavo Masiero, Paulo Cesar ICMC USP Dept Sistemas Comp BR-13560970 Sao Carlos SP Brazil

Several testing approaches focus on finding faults in software units of implementation. A problem not addressed by unit testing is the interaction among units, with respect to the correctness of their interfaces. In this paper a structural integration testing approach for Object-oriented (00) and aspect-oriented (AO) Java programs is presented. To make the activity more feasible, we address the testing of pairs of units (i.e., methods and pieces of advice). A model called PWDU (PairWise Def-Use) graph to represent the flow of control and data between pairs of units is proposed. Based on the PWDU, the following family of testing criteria is defined: all-pairwise-integrated-nodes (control-flow based), all-pairwise-integrated-edges (control-flow based), and all-pairwise-integrated-uses (data-flow based). To evaluate the proposed approach, an implementation of the criteria in a testing tool is presented along with an example of usage and an exploratory study. The study with 7 AO programs that are also 00 was conducted to investigate the cost of application and usefulness of the approach. Results provided evidence that the criteria are practical and useful for integration testing of 00 and AO programs. (C) 2009 Elsevier B.V. All rights reserved.

关键词： Software testing Object-oriented programming aspect-oriented programming Structural testing Integration testing testing criteria testing Object-oriented programs testing aspect-oriented programs Java

来源：评论

学校读者我要写书评

暂无评论

A pointcut-based coverage analysis approach for aspect-oriented programs

引用

INFORMATION SCIENCES 2011年第13期181卷 2721-2746页

作者： Lazzarini Lemos, Otavio Augusto Masiero, Paulo Cesar Fed Univ Sao Paulo UNIFESP Dept Sci & Technol BR-12231280 Sao Jose Dos Campos SP Brazil ICMC USP Sao Carlos Dept Comp Syst BR-13560970 Sao Carlos SP Brazil

aspect-oriented programming (AOP) is a promising technology that supports separation of crosscutting concerns (i.e., functionality that tends to be tangled with, and scattered through the rest of the system). In AOP, a method-like construct named advice is applied to join points in the system through a special construct named pointcut. This mechanism supports the modularization of crosscutting behavior;however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this paper presents a rigorous coverage analysis approach to ensure exercising the logic of each advice - statements, branches, and def-use pairs - at each affected join point. To make this analysis possible, a structural model based on Java bytecode - called PointCut-based Del-Use Graph (PCDU) - is proposed, along with three integration testing criteria. Theoretical, empirical, and exploratory studies involving 12 aspect-oriented programs and several fault examples present evidence of the feasibility and effectiveness of the proposed approach. (C) 2010 Elsevier Inc. All rights reserved.

关键词： Software testing aspect-oriented programming Structural testing Integration testing testing criteria testing aspect-oriented programs Java aspectJ

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：