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

IEEE Electronics, Robotics and Automotive Mechanics Conference (CERMA)

作者： Salinas-Mendoza, Alberto Juarez-Martinez, Ulises Alor-Hernandez, Giner Olivares-Zepahua, Beatriz A. Inst Tecnol Orizaba Ave Oriente 9852Colonia Emiliano Zapata Orizaba 94300 Veracruz Mexico

ISBN: (纸本)9780769545639

In software development there are different paradigms that can be combined among them such as object-oriented paradigm, aspect-oriented paradigm and component-oriented paradigm. CaesarJ is a programming language that provides support for these paradigms, in addition to the support for software product lines, allowing the development of applications with more robustness. However, the support for code analysis tools is still limited with respect to the software engineering, taking as reference the implementation of XML-based structured representations for popular languages such as Java, C++, C#, among others. This paper presents the generation of a XML-based representation for CaesarJ source code in order to provide to developers and software engineers, a representation that can be processed by different tools for code analysis or other techniques aimed at working with source code.

关键词： aspect-oriented programming Best practices CaesarJ CaesarJ source code Measurement programming Schema XML Software Syntactics XML XML XML XML-based representation XML-based structured representation aspect-oriented aspect-oriented paradigm code analysis t

来源：评论

学校读者我要写书评

暂无评论

Testing during refactoring: Adding aspects to legacy systems

Testing during refactoring: Adding aspects to legacy systems

引用

17th International Symposium on Software Reliability Engineering

作者： Mortensen, Michael Ghosh, Sudipto Bieman, James M. Hewlett Packard Corp 3404 E Harmony RdMS 88 Ft Collins CO 80528 USA Colorado State Univ Comp Sci Dept Ft Collins CO 80528 USA

ISBN: (纸本)9780769526843

Moving program code that implements cross-cutting concerns into aspects can improve the maintainability of legacy systems. This kind of refactoring, called aspectualization, can also introduce faults into a system. A test driven approach can identify these faults during the refactoring process so that they can be removed. We perform systematic testing as we aspectualize commercial VLSI CAD applications. The process of refactoring these applications revealed the kinds of faults that can arise during aspectualization, and helped us to develop techniques to reduce their occurrences.

关键词： aspect-oriented programming refactoring legacy systems test driven development regression testing mock system test coverage

来源：评论

学校读者我要写书评

暂无评论

Reasoning about Faults in aspect-oriented Programs: A Metrics-based Evaluation

Reasoning about Faults in Aspect-Oriented Programs: A Metric...

引用

IEEE 19th International Conference on Program Comprehension (ICPC)

作者： Burrows, Rachel Taieani, Francois Garcia, Alessandro Ferrari, Fabiano Cutigi Univ Lancaster Sch Comp & Commun Lancaster LA1 4YW England Pontif Catholic Univ Rio de Janeiro Dept Informat Rio De Janeiro Brazil Univ Fed Sao Carlos Dept Comp Sao Carlos SP Brazil

ISBN: (纸本)9780769543987

aspect-oriented programming (AOP) aims at facilitating program comprehension and maintenance in the presence of crosscutting concerns. aspect code is often introduced and extended as the software projects evolve. Unfortunately, we still lack a good understanding of how faults are introduced in evolving aspect-oriented programs. More importantly, there is little knowledge whether existing metrics are related to typical fault introduction processes in evolving aspect-oriented code. This paper presents an exploratory study focused on the analysis of how faults are introduced during maintenance tasks involving aspects. The results indicate a recurring set of fault patterns in this context, which can better inform the design of future metrics for AOP. We also pinpoint AOP-specific fault categories which are difficult to detect with popular metrics for fault-proneness, such as coupling and code churn.

关键词： aspect-oriented programming Fault-proneness Software Metrics

来源：评论

学校读者我要写书评

暂无评论

A Test-Driven Approach to Developing Pointcut Descriptors in aspectJ

A Test-Driven Approach to Developing Pointcut Descriptors in...

引用

2nd International Conference on Software Testing, Verification and Validation Workshops

作者： Delamare, Romain Baudry, Benoit Ghosh, Sudipto Le Traon, Yves IRISA INRIA Rennes Rennes France Colorado State Univ Colorado Springs CO USA T Telecom Bretagn Plouzane France

ISBN: (纸本)9781424437757

aspect-oriented programming (AOP) languages introduce new constructs that can lead to new types of faults, which must be targeted by testing techniques. In particular AOP languages such as aspectJ use a point-cut descriptor (PCD) that provides a convenient way to declaratively specify a set of joinpoints in the protogram where the aspect should be woven. However a major difficulty when testing that the PCD matches the intended set of joinpoints is the lack of precise specification for this set other than the PCD itself. In this paper we propose a test-driven approach for the development and validation of the PCD. We developed a tool, AdviceTracer which enriches the JUnit API with new types of assertions that can be used to specify the expected joinpoints. In order to validate our approach, we also developed a mutation tool that systematically injects faults into PCDs. Using these two tools, we perform experiments to validate that our approach can be applied for specifying expected joinpoints and for detecting faults in the PCD.

关键词： aspect-oriented programming joinpoints pointcut descriptors mutation analysis test-driven development testing tool

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented Analysis for Embedded Real-Time Systems

Aspect-Oriented Analysis for Embedded Real-Time Systems

引用

International Conference on Advanced Software Engineering and Its Applications

作者： Zhang, Lichen Guangdong Univ Technol Fac Comp Sci & Technol Guangzhou 510090 Guangdong Peoples R China

ISBN: (纸本)9780769534329

aspect-oriented programming technology implements the software systems using crosscutting. aspect-orientation can be modeled by extending UML, and AOSD model profile can be designed in the meta model. The profile builds the aspect models from structural model, behavioral model, aspect and aspect weaving. Timing requirements could be separated from the system according the separation of concerns techniques, expressed as a time-aspect independence of the system, the real-time systems could be modeled from the static structure, dynamic behaviors and weaving of the time-aspect

关键词： embedded real time system Weaving Software systems real-time systems aspect dynamic structural analysis aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Approach for Automated Test Data Generation for Path Testing in aspect-oriented Programs using Genetic Algorithm

Approach for Automated Test Data Generation for Path Testing...

引用

International Conference on Computing, Communication & Automation (ICCCA)

作者： Khandelwal, Juhi Tomar, Pradeep Gautam Buddha Univ Sch Informat & Commun Technol Dept Comp Sci & Engn Greater Noida India

ISBN: (纸本)9781479988907

aspect-oriented programming (AOP) is an emerging programming paradigm that supports implementation of cross-cutting requirements into named program units called aspects. However, these aspects are hard to deal in many stages of Software Development Life Cycle (SDLC) especially in aspect-oriented software testing. Main aim of testing is to find the errors during execution of the program. Error can prevail in any part of the program so this study use Control Flow Graph (CFG) to depicts all path of the program during its execution. Some path of the program executes rarely, so with the help of automated test data generation tester can execute those path because generation of test data for these path is not manually possible. Test data generation process can be automated with the help of various techniques and framework. This work provides review of some of the recent work that has been done in the area of AOP test data generation. Based on those work, this work proposes a approach for generating test data for AOP using Genetic Algorithm (GA).

关键词： Genetic Algorithm Automated Test Data Generation Path Testing aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

programming Safety Requirements in the REFLECT Design Flow

Programming Safety Requirements in the REFLECT Design Flow

引用

9th IEEE International Conference on Industrial Informatics (INDIN)

作者： Petrov, Zlatko Kratky, Kamil Cardoso, Joao M. P. Diniz, Pedro C. Honeywell International s.r.o. Czech Republic

ISBN: (纸本)9781457704345

The common approach to include non-functional requirements in tool chains for hardware/software embedded systems requires developers to manually change the software code and/or the hardware, in an error-prone and tedious process. In the REFLECT research project we explore a novel approach where safety requirements are described using an aspect-and strategy-oriented programming language, named LARA, currently under development. The approach considers that the weavers in the tool chain use those safety requirements specified as aspects and strategies to produce final implementations according to specific design patterns. This paper presents our approach including LARA-based examples using an avionics application targeting the FPGA-based embedded systems consisting of a general purpose processor (GPP) coupled to custom computing units.

关键词： FPGA-based embedded systems Fault tolerant systems Hardware LARA programming language REFLECT design flow Redundancy Safety Software Weaving aerospace computing aspect-oriented programming aspect-oriented programming language avionics avionics application custom computing unit embedded systems field programmable gate array field programmable gate arrays general purpose processor hardware-software embedded systems multiprocessing systems programming languages rendering FPGA to multicore embedded computing safety requirement programming safety-critical software software code strategy-oriented programming language

来源：评论

学校读者我要写书评

暂无评论

Dynamic Deployment and Monitoring of Security Policies 12th

引用

12th International Conference on Trust, Privacy and Security in Digital Business (TrustBus)

作者： Horcas, Jose-Miguel Pinto, Monica Fuentes, Lidia Mallouli, Wissam de Oca, Edgardo Montes Univ Malaga CAOSD Grp Andalucia Tech E-29071 Malaga Spain Montimage F-75013 Paris France

ISBN: (纸本)9783319229065;9783319229058

INTER-TRUST is a framework for the specification, negotiation, deployment and dynamic adaptation of interoperable security policies, in the context of pervasive systems where devices are constantly exchanging critical information through the network. The dynamic adaptation of the security policies at runtime is addressed using aspect-oriented programming (AOP) that allows enforcing security requirements by dynamically weaving security aspects into the applications. However, a mechanism to guarantee the correct adaptation of the functionality that enforces the changing security policies is needed. In this paper, we present an approach with monitoring and detection techniques in order to maintain the correlation between the security policies and the associated functionality deployed using AOP, allowing the INTER-TRUST framework automatically reacts when needed.

关键词： aspect-oriented programming Dynamic deployment Monitoring Security policies

来源：评论

学校读者我要写书评

暂无评论

New aspectJ Pointcuts for Integer Overflow and Underflow Detection

引用

INFORMATION SECURITY JOURNAL 2008年第5-6期17卷 278-287页

作者： Alhadidi, D. Debbabi, M. Bhattacharya, P. Concordia Univ CSL Concordia Inst Informat Syst Engn Montreal PQ H3G 1M8 Canada

aspect-oriented programming (AOP) appears to be a promising paradigm for software security hardening. Using AOP, security experts can be responsible for coding security properties, and developers can concentrate on the basic functionality of the program. aspectJ extends the Java programming language to implement crosscutting concerns modularly in general. In this paper, we have extended aspectJ with new pointcuts in order to detect integer overflows and underflows in Java. Integer overflows and underflows in Java occur silently without throwing an exception. A malicious user can exploit them to produce a security breach. Hence, we implement new pointcuts: addition, multiplication, and subtraction that allow to write advices around integer arithmetic operations to detect integer overflow and underflow and consequently prevent considerable number of security breaches.

关键词： aspectJ aspect-oriented programming integer overflow integer underflow join points pointcuts

来源：评论

学校读者我要写书评

暂无评论

aspectual Caml: an aspect-oriented functional language 05

Aspectual Caml: an aspect-oriented functional language

引用

10th ACM SIGPLAN International Conference on Functional programming (ICFP)

作者： Masuhara, H Tatsuzawa, H Yonezawa, A Univ Tokyo Grad Sch Arts & Sci Tokyo Japan Univ Tokyo Dept Comp Sci Tokyo Japan Univ Tokyo Dept Comp Sci Tokyo Japan

ISBN: (纸本)9781595930644

We propose an aspect-oriented programming (AOP) language called aspectual Caml based on a strongly-typed functional language Objective Caml with two AOP mechanisms similar to those in aspectJ language. This paper describes the design and implementation issues of those AOP mechanisms that give us insights into the interaction between AOP features and common features in strongly-typed functional languages such as type inference, polymorphic types and curried functions. We implemented a prototype compiler of the language and used the language for separating crosscutting concerns in application programs, including for separating descriptions of a type system from compiler descriptions.

关键词： aspect-oriented programming objective Caml pointcut and advice

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：