objectoriented Evolutionary programming is used to evolve programs that calculate some statistical measures on a set of numbers. We compared this technique with a more standard functional representation. We also stud...
详细信息
ISBN:
(纸本)9783540716020
objectoriented Evolutionary programming is used to evolve programs that calculate some statistical measures on a set of numbers. We compared this technique with a more standard functional representation. We also studied the effects of scalar and Pareto-based multi-objective fitness functions to the induction of multi-task programs. We found that the induction of a program residing in an OO representation space is more efficient, yielding less fitness evaluations, and that scalar fitness performed better than Pareto-based fitness in this problem domain.
this report covers the twelfth Workshop on Component-orientedprogramming (WCOP). WCOP has been affiliated withecoop since its inception in 1996. the report summarizes the contributions made by authors of accepted po...
ISBN:
(纸本)9783540781943
this report covers the twelfth Workshop on Component-orientedprogramming (WCOP). WCOP has been affiliated withecoop since its inception in 1996. the report summarizes the contributions made by authors of accepted position papers as well as those made by all attendees of the workshop sessions.
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system is covered by tests, running the tests...
详细信息
ISBN:
(纸本)0769525369
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system is covered by tests, running the tests on the new version can identify potential differences or discrepancies. However, writing tests for an unknown and large system is difficult due to the lack of internal knowledge. It is especially difficult to bring the system to an appropriate state. Our solution is based on the acknowledgment that one of the few trustable piece of information available when approaching a legacy system is the running system itself Our approach reifies the execution traces and uses logic programming to express tests on them. thereby it eliminates the need to programatically bring the system in a particular state, and handles the test-writer a high-level abstraction mechanism to query the trace. the resulting system, called TESTLOG, was used on several real-world case studies to validate our claims.
Nowadays Web applications quality, reliability and dependability are important factors because software glitches could block entire businesses and cause major embarrassment. Web applications are complex and heterogene...
详细信息
Nowadays Web applications quality, reliability and dependability are important factors because software glitches could block entire businesses and cause major embarrassment. Web applications are complex and heterogeneous software, based on several components, often written in many different languages and potentially distributed over the Web. thus, testing Web applications may be a complex task. this paper presents the OO-based framework used in our WAAT project (Web Applications Analysis and Testing) to test traditional Web applications composed of Web documents, objects and server components (e.g., applications written in HTML, Javascript, PHP4/5, etc.). Our Web testing model named OTMW (OO Testing Model of WAAT project) is inspired by the conventional category partition testing method applied to Web software through the use of a reverse engineered OO model used to describe the architecture of existing applications. OTMW tests Web software using three different layers of test: unit, integration and system testing. this paper describes the set of techniques used by OTMW in every testing layer. To achieve this result this paper describes the OO model used (based on UML class and state diagrams) and it defines the reverse engineering techniques used to analyze software and to describe them through the model. Moreover, the paper proposes a method to identify software units and sequences of units to test applications components and their interactions. Furthermore, it describes an approach to define test cases using the reverse engineered models with a technique based on the subdivision of input data in classes of equivalence. Finally, this paper presents tools used to perform some empirical experiments to evaluate the power, effectiveness and flexibility of the OTMW approach.
In aspect-orientedprogramming, pointcuts are used to describe crosscutting structure. Pointcuts that abstract over irrelevant implementation details are clearly desired to better support maintainability and modular r...
详细信息
ISBN:
(纸本)354027992X
In aspect-orientedprogramming, pointcuts are used to describe crosscutting structure. Pointcuts that abstract over irrelevant implementation details are clearly desired to better support maintainability and modular reasoning. We present an analysis which shows that current pointcut languages support localization of crosscutting concerns but are problematic with respect to information hiding. To cope withthe problem, we present a pointcut language that exploits information from different models of program semantics, such as the execution trace, the syntax tree, the heap, static type system, etc., and supports abstraction mechanisms analogous to functional abstraction. We show how this raises the abstraction level and modularity of pointcuts and present first steps toward an efficient implementation by means of a static analysis technique.
In this work we plan to provide a suite of measures to address mainly two problem areas within contemporary object-oriented software measurement: (i) the lack of measures for the early stages of system development, li...
详细信息
ISBN:
(纸本)1595930140
In this work we plan to provide a suite of measures to address mainly two problem areas within contemporary object-oriented software measurement: (i) the lack of measures for the early stages of system development, like conceptual modeling and (ii) the lack of measures for dynamic models of an object-oriented system. Our suite of measures is going to be taken from UML 2.0 diagrams. OCL (object-Constraint Language) and the UML 2.0 meta-model will be used to formalize and contextualize the definitions. Copyright 2005 ACM.
there are many different options when using aspect-oriented tools or languages to solve similar problems. Modern aspect-oriented languages provide new features and design ideas, through the combination of objectand as...
详细信息
ISBN:
(纸本)9783879408054
there are many different options when using aspect-oriented tools or languages to solve similar problems. Modern aspect-oriented languages provide new features and design ideas, through the combination of objectand aspect-oriented features. Most aspect-oriented examples and patterns describe scenarios where aspects work on a set of objects. this is not the only use case of aspects. In advanced aspect-oriented software aspects often cooperate withobjects as well as with other aspects. this paper describes two core patterns of interacting and cooperating aspects - the SESSION ASPECT, and the COLLABORATOR.
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as improving precision and conciseness of ...
详细信息
ISBN:
(纸本)1595930140
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as improving precision and conciseness of specifications. We propose a specification technique for objects based on abstract states that incorporates state refinement, method refinement, and orthogonal state dimensions. Union and intersection types form the underlying semantics of method specifications. the approach guarantees substitutability and behavioral subtyping. We designed a dynamic analysis to check existing object-oriented software for protocol conformance and validated our approach by specifying two standard Java libraries. We provide preliminary evidence for the usefulness of our approach. Copyright 2005 ACM.
the application of distributed control systems is one of the main trends in current automation. Here, besides the programming of the control application code and its functional allocation to specific devices, an impor...
详细信息
ISBN:
(纸本)078039402X
the application of distributed control systems is one of the main trends in current automation. Here, besides the programming of the control application code and its functional allocation to specific devices, an important point is the implementation of communication related code to exploit the underlying communication platform and realise the collaboration of the distributed control application code. Due to the real-timeliness and even time-criticality of control applications, the correct handling of real-time constraints has to be considered. this paper presents two approaches for integrating communication related code into distributed control application code. One integration method is based on the application of AspectJ, an extension for aspect-orientedprogramming with Java, and the other method is based on ordinary object orientation applying standard design patterns. this work is part of the research project TORERO, which was funded by the european Commission under the IST program.
the 10thecoop workshop on mobile object systems, which was held on 14 June, 2004 in Oslo University is discussed. the workshop has dealt withthe topics related to the movement of code and data between application pl...
详细信息
ISBN:
(纸本)354023988X
the 10thecoop workshop on mobile object systems, which was held on 14 June, 2004 in Oslo University is discussed. the workshop has dealt withthe topics related to the movement of code and data between application platforms, security, operating system support, application quality of service, and programming language paradigms. the presentation made at the workshop include portable CPU accounting in Java by Jarle Hualaas and Walter Binder, reducing the overhead of portable CPU accounting in Java by Jarle Hualaas and Walter Binder. the consensus at the end of the workshop was that the workshop was a success, and that the theme of object mobility is present in application.
暂无评论