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

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2012年第1期38卷 101-117页

作者： Toledo, Rodolfo Nunez, Angel Tanter, Eric Noye, Jacques Univ Chile Pleiad Lab Dept Comp Sci Santiago 8370459 Chile Ecole Mines Nantes INRIA ASCOLA Project Team LINA 4 F-44307 Nantes 3 France

It is inevitable that some concerns crosscut a sizeable application, resulting in code scattering and tangling. This issue is particularly severe for security-related concerns: It is difficult to be confident about the security of an application when the implementation of its security-related concerns is scattered all over the code and tangled with other concerns, making global reasoning about security precarious. In this study, we consider the case of access control in Java, which turns out to be a crosscutting concern with a nonmodular implementation based on runtime stack inspection. We describe the process of modularizing access control in Java by means of aspect-oriented programming (AOP). We first show a solution based on aspectJ, the most popular aspect-oriented extension to Java, that must rely on a separate automata infrastructure. We then put forward a novel solution via dynamic deployment of aspects and scoping strategies. Both solutions, apart from providing a modular specification of access control, make it possible to easily express other useful policies such as the Chinese wall policy. However, relying on expressive scope control results in a compact implementation, which, at the same time, permits the straightforward expression of even more interesting policies. These new modular implementations allowed by AOP alleviate maintenance and evolution issues produced by the crosscutting nature of access control.

关键词： programming languages security aspect-oriented programming access control

来源：评论

学校读者我要写书评

暂无评论

A scalable method-level parallel library and its improvement

引用

JOURNAL OF SUPERCOMPUTING 2012年第3期61卷 1154-1167页

作者： Zhang, Yang Ji, Weixing Beijing Inst Technol Sch Comp Sci & Technol Beijing 100081 Peoples R China Hebei Univ Sci & Technol Sch Informat Sci & Engn Shijiazhuang Hebei Peoples R China

This paper proposes a method-level parallel library, called JPL, and an improved version based on aspect-oriented programming, called AOJPL. Both JPL and AOJPL execute a method based on run-time reflection. By adding OpenMP-like notations to the definition of a method, AOJPL can automatically finish some tasks of JPL, thus making AOJPL easy to utilize. Experimental results show that when JPL and AOJPL are applied to several benchmarks in the JGF Benchmark Suite for varying numbers of threads on two different multicore processors (Intel Xeon and Sun Sparc T2), their performance tracks JOMP very closely under the situation that the number of software threads is not more than a number (8 for Intel Xeon and 64 for Sun Sparc T2). When the number of software threads surpasses the number, JPL and AOJPL significantly outperform JOMP for all four benchmarks. Both JPL and AOJPL can gain good scalability.

关键词： Parallel library Scalability aspect-oriented programming Method-level parallelism

来源：评论

学校读者我要写书评

暂无评论

On generating mutants for aspectJ programs

引用

INFORMATION AND SOFTWARE TECHNOLOGY 2012年第8期54卷 900-914页

作者： Wedyan, Fadi Ghosh, Sudipto Colorado State Univ Dept Comp Sci Ft Collins CO 80523 USA Hashemite Univ Dept Software Engn Zarka Jordan

Context: Mutation analysis has been widely used in research studies to evaluate the effectiveness of test suites and testing techniques. Faulty versions (i.e., mutants) of a program are generated such that each mutant contains one seeded fault. The mutation score provides a measure of effectiveness. Objective: We study three problems with the use of mutation analysis for testing aspectJ programs: The manual identification and removal of equivalent mutants is difficult and time consuming. We calculate the percentage of equivalent mutants generated for benchmark aspectJ programs using available mutation tools. The generated mutants need to cover the various fault types described in the literature on fault models for aspectJ programs. We measure the distribution of the mutants generated using available mutation tools with respect to the aspectJ fault types. We measure the difficulty of killing the generated mutants. We propose the use of simple analysis of the subject programs to prevent the generation of some equivalent mutants. Method: We revised existing aspectJ fault models and presented a fault model that removes the problems in existing fault models, such as overlapping between fault types and missing fault types. We also defined three new fault types that occur due to incorrect data-flow interactions occurring in aspectJ programs. We used three mutation tools: AjMutator, Proteum/AJ, and MuJava on three aspectJ programs. To measure the difficulty of killing the mutants created using a mutation operator, we compared the average number of the mutants killed by 10 test suites that satisfy block coverage criterion. Results: A high percentage of the mutants are equivalent. The mutation tools do not cover all the fault types. Only 4 out of 27 operators generated mutants that were easy to kill. Conclusions: Our analysis approach removed about 80% of the equivalent mutants. Higher order mutation is needed to cover all the fault types. (C) 2011 Elsevier B.V. All rights re

关键词： aspectJ aspect-oriented programming Mutation testing Fault models Test generation High order mutation

来源：评论

学校读者我要写书评

暂无评论

Tools and techniques for non-invasive explicit parallelization

引用

JOURNAL OF SUPERCOMPUTING 2012年第3期62卷 1583-1608页

作者： Arora, Ritu Bangalore, Purushotham Mernik, Marjan Texas Adv Comp Ctr Austin TX 78758 USA Univ Alabama Birmingham Dept Comp & Informat Sci Birmingham AL 35294 USA Univ Maribor Fac Elect Engn & Comp Sci SLO-2000 Maribor Slovenia

This paper presents an overview of our experiments in integrating modern software engineering tools and techniques with the process of developing parallel applications for distributed memory architectures. The main goal was to determine the methods that have the potential of reducing the complexities associated with explicit parallelization. We experimented with template metaprogramming, aspect-oriented programming, program transformation engine, and a domain-specific language called Hi-PaL. The pros and cons of using each technique for explicit parallelization are presented in this paper. Our experiments demonstrate that through a combination of modern software engineering tools and techniques, the effort involved in explicit parallelization can be reduced by 90 % without any significant loss in performance.

关键词： Explicit parallelization Template metaprogramming aspect-oriented programming Generative programming Domain-specific languages

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented Refactoring of Legacy Applications: An Evaluation

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2012年第1期38卷 118-140页

作者： Mortensen, Michael Ghosh, Sudipto Bieman, James M. Google Boulder CO 80302 USA Colorado State Univ Dept Comp Sci Ft Collins CO 80523 USA

The primary claimed benefits of aspect-oriented programming (AOP) are that it improves the understandability and maintainability of software applications by modularizing crosscutting concerns. Before there is widespread adoption of AOP, developers need further evidence of the actual benefits as well as costs. Applying AOP techniques to refactor legacy applications is one way to evaluate costs and benefits. We replace crosscutting concerns with aspects in three industrial applications to examine the effects on qualities that affect the maintainability of the applications. We study several revisions of each application, identifying crosscutting concerns in the initial revision and also crosscutting concerns that are added in later revisions. aspect-oriented refactoring reduced code size and improved both change locality and concern diffusion. Costs include the effort required for application refactoring and aspect creation, as well as a decrease in performance.

关键词： aspect-oriented programming crosscutting concerns legacy systems refactoring maintainability

来源：评论

学校读者我要写书评

暂无评论

Modeling and enforcing invariants of dynamic software architectures

引用

SOFTWARE AND SYSTEMS MODELING 2012年第1期11卷 127-149页

作者： Kallel, Slim Kacem, Mohamed Hadj Jmaiel, Mohamed Tech Univ Darmstadt Software Technol Grp D-64289 Darmstadt Germany Univ Sfax ReDCAD Lab Sfax 3038 Tunisia

In this paper, we propose an "end-to-end" approach that supports dynamic reconfiguration of software architectures taking advantage of graphical modeling, formal methods and aspect-oriented programming. There are three ingredients of the proposal. The specification end of the solution is covered by a new UML profile enabling to specify the desired architectural style (model), its invariants and the intended reconfiguration operations. In order to verify the consistency of the model and the preservation of the invariants after every reconfiguration, we automatically generate formal specifications in Z notation from the defined model. At the runtime enforcing end of the solution, we propose to encode the enforcement logic as aspect in the aspectJ language. The third important ingredient that makes our approach end-to-end is the automatic translation of formal specifications into aspect-based enforcement code.

关键词： Software architecture UML profile Formal specification and verification aspect-oriented programming Runtime enforcement

来源：评论

学校读者我要写书评

暂无评论

Applying dynamic separation of aspects to distributed systems security: a case study

引用

IET SOFTWARE 2012年第3期6卷 231-248页

作者： Garcia, M. Llewellyn-Jones, D. Ortin, F. Merabti, M. Univ Oviedo Asturias Spain Liverpool John Moores Univ Liverpool L3 5UX Merseyside England

Distributed systems are commonly required to be flexible and scalable, as the number and arrangement of their (potentially mobile) devices may easily change. Security in distributed systems is a complex issue which can produce several problems such as eavesdropping, phishing or denial of service. To overcome these problems, there are various security measures that can be applied. This study proposes the use of dynamic aspect-oriented software development (AOSD) to implement security mechanisms in distributed systems. By applying dynamic separation of concerns using AOSD, it becomes possible to adapt the security measures of distributed systems, even when their sizes and arrangements change, without compromising global security. These changes can be applied when a distributed system is running, without requiring its execution to be stopped or interrupted. Using the dynamic and static aspect weaving AOSD platform, the authors have implemented solutions for two common security problems in distributed systems: (i) access control and data flow and (ii) encryption of transmissions. Moreover, the proposed approach has been tested in a real client-server FTP scenario. Qualitative and quantitative evaluations of both implementations are presented to estimate the pros and cons of using dynamic AOSD in the development of security measures of distributed systems.

关键词： COMPUTER security EAVESDROPPING aspect-oriented programming DATA encryption (Computer science) FILE Transfer Protocol (Computer network protocol) CASE studies

来源：评论

学校读者我要写书评

暂无评论

EFFECTS OF DRYING ON THE ANTIOXIDANT PROPERTIES OF HERBAL TEA FROM SELECTED VITEX SPECIES

引用

JOURNAL OF FOOD QUALITY 2012年第1期35卷 51-59页

作者： Chong, K. L. Lim, Y. Y. Monash Univ Sunway Campus Sch Sci Petaling Jaya 46150 Selangor Malaysia

This paper focuses on the effects of three thermal drying methods (microwave-, oven- and sun-drying) and one nonthermal drying method (freeze-drying) on the AOP of leaves of Vitex negundo and Vitex trifolia, which are consumed traditionally as herbal tea. Microwave-drying and freeze-drying were found to be able to maintain the AOP of the leaves but oven-drying and sun-drying resulted in deterioration of AOP. Microwave-drying has the advantage of short drying time and low water activity. AOP of Vitex herbal tea leaves that are microwave-dried and freeze-dried were not affected by storage up to 30 days.

关键词： aspect-oriented programming Herbal Teas DRYING TIME Drying solar drying Oven drying Vitex MICROWAVE DRYING Antioxidants Freeze drying

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented programming for dynamic web service selection, integration and management

引用

WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS 2007年第3期10卷 211-242页

作者： Cibran, Maria Agustina Verheecke, Bart Vanderperren, Wim Suvee, Davy Jonckers, Viviane Vrije Univ Brussel Syst & Software Engn Lab B-1050 Brussels Belgium

In service-oriented computing, applications are often created by integrating third-party Web Services. Current integration approaches, however, require client applications to hardcode references to specific Web Services, thereby affecting adaptability and robustness. Moreover, support for client-side management is rarely provided. To enable the development of more flexible and robust applications, we propose to insert a new layer between the client applications and the Web Services: the Web Services Management Layer (WSML). This layer decouples Web Services from client applications and enables hot-swapping between semantically equivalent Web Services based on availability. This mechanism allows for dynamic switching between Web Services based on selection policies that encapsulate changing business requirements. In addition, with WSML, client-side management concerns (e.g., caching, billing and logging) can be decoupled from the applications. In this paper, we identify a list of requirements for WSML to realize dynamic integration and client-side service management, and provide support for service criteria to govern the selection, integration and composition of Web Services. We also show that dynamic aspect-oriented programming (AOP) is well suited to implement the core functionality of WSML.

关键词： web services aspect-oriented programming web services management dynamic configuration

来源：评论

学校读者我要写书评

暂无评论

An aspect-oriented, model-driven approach to functional hardware verification

引用

JOURNAL OF SYSTEMS ARCHITECTURE 2012年第5期58卷 195-208页

作者： Linehan, Eamonn Clarke, Siobhan Trinity Coll Dublin Sch Comp Sci & Stat Distributed Syst Grp Lero Irish Software Engn Res Ctr Dublin Ireland

The cost of correcting errors in the design of an embedded system's hardware components can be higher than for its software components, making it important to test as early as possible. Testing hardware components before they are implemented involves verifying the design through either formal or more commonly, simulation-based functional verification. Performing functional verification of a hardware design requires software-based simulators and verification testbenches. However, the increasing complexity of embedded systems is contributing to testbenches that are progressively more difficult to understand, maintain, extend and reuse across projects. This paper presents an aspect-oriented domain-specific modelling language for the e hardware verification language that can be used as part of a model-based software engineering process. The modelling language is designed to produce well modularised models from which e code can be generated, thereby improving engineers ability to develop testbenches that can be more easily maintained, adapted and reused. We demonstrate the suitability of the modelling language through its application to a representative testbench from the automotive semiconductor industry. (C) 2011 Elsevier B.V. All rights reserved.

关键词： Model-based software engineering aspect-oriented programming Theme/UML Code generation MARIE DSML Hardware verification

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：