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

6th International Conference on the Principles and Practice of programming in Java (PPPJ 2008)

作者： Villazon, Alex Binder, Walter Moret, Philippe Ansaloni, Danilo Univ Lugano Fac Informat CH-6900 Lugano Switzerland

aspect-oriented programming (AOP) has been successfully applied to application code thanks to techniques such as Java bytecode instrumentation. Unfortunately, with existing AOP frameworks for Java such as aspectJ, aspects cannot be woven into the standard Java class library. This restriction is particularly unfortunate for aspects that would benefit from comprehensive aspect weaving with complete method coverage, such as profiling or debugging aspects. In this article we present MAJOR, a new tool for comprehensive aspect weaving, which ensures that aspects are woven into all classes loaded in a Java Virtual Machine, including those in the standard Java class library. MAJOR includes the pluggable module CARAJillo, which supports efficient access to a complete and customizable calling context representation. We validate our approach with three case studies. Firstly, we weave existing profiling aspects with MAJOR which otherwise would generate incomplete profiles. Secondly, we introduce an aspect for memory leak detection that also benefits from comprehensive weaving. Thirdly, we present an aspect subsuming the functionality of ReCrash, an existing tool based on low-level bytecode instrumentation techniques that generates unit tests to reproduce program failures. Our aspect-based tools are concisely implemented in a few lines of code, and leverage MAJOR and CARAJillo for comprehensive aspect weaving and for efficient access to calling context information. (C) 2010 Elsevier B.V. All rights reserved.

关键词： aspect-oriented programming aspect weaving Bytecode instrumentation Profiling Debugging Detecting memory leaks Recreating crashing conditions Java Virtual Machine

来源：评论

学校读者我要写书评

暂无评论

Proteum/AJ: A Mutation System for aspectJ Programs 11

Proteum/AJ: A Mutation System for AspectJ Programs

引用

10th International Conference on aspect-oriented Software Development (AOSD)

作者： Ferrari, Fabiano Cutigi Nakagawa, Elisa Yumi Maldonado, Jose Carlos Rashid, Awais Univ Fed Sao Carlos Sao Carlos SP Brazil Univ Sao Paulo Sao Carlos SP Brazil Univ Lancaster Lancaster Lancs England

ISBN: (纸本)9781450305563

aspect-oriented programming (AOP) has introduced a complementary set of mechanisms which enhance the modularisation of crosscutting concerns. However, such mechanisms represent new potential sources of faults that may be systematically tackled with mutation testing. In this demonstration we present a tool, named Proteum/AJ, which automates the mutation testing of aspectJ programs. Proteum/AJ supports the main steps of this testing approach and realises a set of requirements for mutation-based testing tools like mutant handling, test case handling and mutant analysis. Our experience in using the tool provided us with evidence on the feasibility of performing mutation testing of AO programs. In this demonstration we are going to share some of this experience with the audience.

关键词： Mutation testing aspect-oriented programming test automation aspectJ testing tools

来源：评论

学校读者我要写书评

暂无评论

Object-oriented stream programming using aspects: A high-productivity programming paradigm for hybrid platforms

Object-oriented stream programming using aspects: A high-pro...

引用

作者： Wang, Mingliang Rutgers The State University of New Jersey School of Graduate Studies

学位级别：Ph.D.

The move to massively parallel hybrid platforms, such as multicore CPUs accelerated with heterogeneous GPU co-processing systems, is significantly impacting software programmers because existing programs have to be properly parallelized before they can take advantage of these advanced processing architectures. However, using current programming frameworks such as CUDA leads to tangled source code that combines code for the core computation with that for device and computational kernel management, data transfers between memory spaces, and various optimizations. In this research, we propose a programming system based on the principles of aspect-oriented programming, to un-clutter the code and to improve programmability of these heterogeneous parallel systems. Specifically, we use a standard Object-oriented language to describe the core computations and aspects to encapsulate all other support functions, such as parallelization granularity and memory access optimization. An aspect-weaving compiler is then used to combine the core OO program with these aspects to generate parallelized programs. This approach modularizes concerns that are hard to manage using conventional programming frameworks such as CUDA, has a small impact on existing program structure as well as performance, and as a result, simplifies the programming of accelerator-based heterogeneous parallel systems. Studies on example programs suggest that programs written using this system can be successfully translated to CUDA programs for execution on a CPU + GPU co-processing system with comparable performance. The performance of the translated code achieved ∼80% of the hand-coded CUDA programs. We also introduce a performance model based on Bulk Synchronous Parallel (BSP) to help with quick identification of performance bottlenecks and tuning programs for better performance. This model defines a machine parameter (Machine Characteristic Ratio) and an application parameter (Application Characteristic Ratio)

关键词： aspect-oriented programming Object-oriented programming (Computer science)

来源：评论

学校读者我要写书评

暂无评论

Modeling and Testing of aspect-oriented Systems

Modeling and Testing of Aspect-Oriented Systems

引用

作者： Jiang, Wenhuan East Carolina University

学位级别：M.S.

aspect-oriented programming modularizes crosscutting concerns into aspects, which are automatically weaved to the specified points of a program. Although aspect-oriented programming improves program maintainability and the encapsulation of crosscutting concerns, it also breaks some traditional programming rules due to the weaving mechanism. Therefore, a new software testing approach has to be developed to rigorously test aspect-oriented programs. In this thesis, we introduce the concept of aspect modeling and aspect testing and then proceed to our investigation of a model-based incremental approach for testing aspect-oriented programs. First, a state machine model in UML is created for each aspect and each base class, which is the class to be weaved with the aspect. Then each individual aspect or base class is tested using the test cases generated from state machine models. A combined state machine model is established by weaving the aspect model into the base class model. Finally, we perform a test on the woven program using test cases generated from the combined state machine model. Because the number of scenarios for weaving aspects and base classes could be very large, it may require a huge number of test cases to effectively test the program. To speed up the process, we propose a prioritizing strategy for selecting test cases in order to find errors sooner since different test cases have different capacity for tracking errors. We demonstrate that the test cases generated from the state machine model have to satisfy the adequacy of the transition coverage, the round-trip coverage, and the state coverage in the state machine model. Furthermore, the prioritizing strategy is developed based on the number of changes brought by weaving of an aspect and its base classes. The test case including more changes will have a higher priority. The effectiveness of the investigated strategy is evaluated through the case study and the mutation testing. The result of case study

关键词： Computer science Computer engineering aspect-oriented modeling aspect-oriented testing aspect-oriented programming Computer programming?– Testing

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework

引用

SCIENCE OF COMPUTER programming 2006年第3期63卷 297-320页

作者： Altisen, K. Maraninchi, F. Stauch, D. Verimag Ctr Equat F-38610 Gieres France

aspect-oriented programming (AOP) has emerged recently as a language concept for expressing cross-cutting concerns, mainly in object-oriented software. Since then, the concept has been applied to a wide variety of other contexts. In this paper, we explore some cross-cutting concerns for parallel programs of reactive systems: we propose an aspect language, Larissa, and a weaving mechanism, in a core language based on parallel communicating Mealy machines. (c) 2006 Elsevier B.V. All rights reserved.

关键词： reactive systems aspect-oriented programming synchronous languages formal semantics

来源：评论

学校读者我要写书评

暂无评论

Composition of Dynamic Analysis aspects

引用

ACM SIGPLAN NOTICES 2011年第2期46卷 113-122页

作者： Tanter, Eric Moret, Philippe Binder, Walter Ansaloni, Danilo Univ Chile Comp Sci Dept DCC PLEIAD Lab Santiago Chile Univ Lugano Fac Informat Lugano Switzerland

aspect-oriented programming provides a convenient high-level model to define several kinds of dynamic analyses, in particular thanks to recent advances in exhaustive weaving in core libraries. Casting dynamic analyses as aspects allows the use of a single weaving infrastructure to apply different analyses to the same base program, simultaneously. However, even if dynamic analysis aspects are mutually independent, their mere presence perturbates the observations of others: this is due to the fact that aspectual computation is potentially visible to all aspects. Because current aspect composition approaches do not address this kind of computational interference, combining different analysis aspects yields at best unpredictable results. It is also impossible to flexibly combine various analyses, for instance to analyze an analysis aspect. In this paper we show how the notion of execution levels makes it possible to effectively address these composition issues. In order to realize this approach, we explore the practical and efficient integration of execution levels in a mainstream aspect language, aspectJ. We report on a case study of composing two out-of-the-box analysis aspects in a variety of ways, highlighting the benefits of the approach.

关键词： Algorithms Languages Measurement aspect-oriented programming execution levels aspect composition dynamic program analysis aspectJ

来源：评论

学校读者我要写书评

暂无评论

Towards context-adaptable Web service policies

引用

Procedia Computer Science 2011年 5卷 610-617页

作者： H. Yahyaoui L. Wang A. Mourad M. Almullah Q.Z. Sheng Computer Science Department Kuwait University Kuwait State of Kuwait School of Computer Science University of Adelaide Australia Department of Computer Science and Mathematics Lebanese American University Beirut Lebanon

We propose in this paper a new approach to achieve highly adaptable Web services through context-adaptable Web service policies. A Web service policy is a set of rules that defines the capabilities and requirements of a Web service as well as governs the runtime behavior, quality and result of the Web service. Our Web service policies are superbly adaptable in the sense that we specify context for both policies and rules to make the policies contextadaptable at both policy and rule levels. The main contributions of our approach include: i) an innovative WSPL (Web Service Policy Language) extension to allow context specification at both policy and rule levels; and ii) a tool that supports the development of aspect oriented policies, including an option to translate WSPL policies into aspect oriented policies. These policies can then be statically woven into compositeWeb services (e.g. a BPEL process). The synergy between context, policies and aspects allows to increase the level of adaptability of Web services at different levels of applications.

关键词： Context Policies Web Services Web Service Policy Language aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Collaborative Runtime Verification with Tracematches

引用

JOURNAL OF LOGIC AND COMPUTATION 2010年第3期20卷 707-723页

作者： Bodden, Eric Hendren, Laurie Lam, Patrick Lhotak, Ondrej Naeem, Nomair A. McGill Univ Sable Res Grp Montreal PQ Canada Univ Waterloo Dept Elect & Comp Engn Waterloo ON N2L 3G1 Canada Univ Waterloo Programming Languages Grp Waterloo ON N2L 3G1 Canada

Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during an application's deployment than during testing. The use of runtime verification after deployment would enable developers to detect unexpected situations. Unfortunately, the prohibitive performance cost of runtime monitors prevents their use in deployed code. In this work, we study the feasibility of collaborative runtime verification, a verification approach which can distribute the burden of runtime verification among multiple users and over multiple runs. Each user executes a partially instrumented program and therefore suffers only a fraction of the instrumentation overhead. We focus on runtime verification using tracematches. Tracematches are a specification formalism that allows users to specify runtime verification properties via regular expressions with free variables over the dynamic execution trace. We propose two techniques for soundly partitioning the instrumentation required for tracematches: spatial partitioning, where different copies of a program monitor different program points for violations, and temporal partitioning, where monitoring is switched on and off over time. We evaluate the relative impact of partitioning on a user's runtime overhead by applying each partitioning technique to a collection of benchmarks that would otherwise incur significant instrumentation overhead. Our results show that spatial partitioning almost completely eliminates runtime overhead (for any particular benchmark copy) on many of our test cases, and that temporal partitioning scales well and provides runtime verification on a 'pay as you go' basis.

关键词： Runtime monitoring verification randomization whole-program analysis aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented design and implementation of adaptable access control for Electronic Medical Records

引用

INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS 2010年第3期79卷 181-203页

作者： Chen, Kung Chang, Yuan-Chun Wang, Da-Wei Natl Chengchi Univ Dept Comp Sci Taipei 116 Taiwan Acad Sinica Inst Informat Sci Taipei 115 Taiwan

Objectives: Maintaining proper access control to Electronic Medical Records (EMR) is essential to protecting patients' privacy. We aim to develop mechanisms and tools that can support fine-grained and adaptable access control for EMR. Method: This paper presents an aspect-oriented design and implementation scheme to providing adaptable access control for Web-based EMR systems. In our scheme, access control logic is decoupled from the core of the EMR application and collected into separate aspect modules which are automatically synthesized from access control rules in XML format and properly designed aspect templates. The generated aspect modules will then be compiled and integrated into the underlying EMR application using standard aspect tools. At runtime, these binary aspect modules will be executed to enforce the required access control. Future changes of access control rules can also be effectively realized through these mechanisms without actual coding. Results: A structured form of access control rules based on the Taiwan Electronic Medical Record Template, a suite of abstract aspects and templates for enforcing access control and a translator for synthesizing the complete access control code in aspectJ from such access control rules and aspect templates. We have also built a Web-based EMR prototype implementation to demonstrate our approach. Conclusion: Our approach can not only accommodate a wide range of fine-grained access control requirements but also enforce them in a modular and easy to adapt manner without incurring extra performance overhead due to rule interpretation. The use of aspect-oriented technology to provide adaptable access control for EMR is a promising approach. We have further enhanced our scheme with a mechanism for dynamic adjustment of access control rules. Other tools for authoring and analyzing the access control rules are the main parts of our future work. (C) 2010 Elsevier Ireland Ltd. All rights reserved.

关键词： Access control aspect-oriented programming Electronic Medical Record

来源：评论

学校读者我要写书评

暂无评论

Photooxidative destruction of organic compounds by hydrogen peroxide in water

引用

JOURNAL OF WATER CHEMISTRY AND TECHNOLOGY 2010年第1期32卷 17-32页

作者： Goncharuk, V. V. Soboleva, N. M. Nosonovich, A. A. Natl Acad Sci Ukraine Dumanskii Inst Colloid Chem & Water Chem Kiev Ukraine

The paper has studied the state of the art in the investigations into the kinetics and the mechanism of photoinduced oxidative destruction of organic compounds of various classes by hydrogen peroxide in aqueous media. We have analyzed the impact of physical and chemical factors (substrate structure, pH of the medium, H2O2 concentration, presence of oxygen, etc.) and the rate of the photooxidative process. The analysis of the technicoeconomic characteristics of the UV/H2O2 system in correlation with other highly effective AOP methods (Advanced Oxidation Processes) is an evidence of good prospects of using it in the technology of treating natural and industrial wastewaters from organic pollutants.

关键词： aspect-oriented programming organic compounds aqueous media hydrogen peroxide Destruction advanced oxidation processes Organic pollutants state of the art

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：