Driven by functionality requirements, software codes are increasingly inflated, and invocations between codes are frequent and randomThis makes it difficult for programmers to be thoughtful when modifying code, increa...
详细信息
This paper presents an integrated approach covering the fields of designing, validating and testing services and reusable service components. A methodology which applies concepts from the Reference Model for Open Dist...
详细信息
This paper presents an integrated approach covering the fields of designing, validating and testing services and reusable service components. A methodology which applies concepts from the Reference Model for Open Distributed Processing (ODP) is introduced. As an important part to bridge the gap from the design plane to the implementation plane a language mapping from ODL to C++ is described. A CORBA based environment is assumed to be the execution platform. To ensure that the service to be designed meets the requirements of a potential users, a validation stage has been included into the design methodology. After the validation of the SLD model abstract TTCN test cases are derived from it semi-automatically. This paper also contains a new method for automated testing of distributed services through executing these test cases in a CORBA based target environment.
Generic types in programming languages are most often supported with various forms of parametric polymorphism, i.e. functions on types. Within the framework of object-oriented languages, virtual types present an alter...
详细信息
Modelling is central to doing and learning object-oriented development. We present a new tool, Ideogramic UML, for gesture-based collaborative object-oriented modelling, which is particularly effective on pen-based in...
详细信息
Aspect-oriented software development is gaining popularity with the adoption of aspect-oriented languages in writing programs. To reduce the manual effort in assuring the quality of aspect-oriented programs, we have d...
详细信息
Aspect-oriented software development is gaining popularity with the adoption of aspect-oriented languages in writing programs. To reduce the manual effort in assuring the quality of aspect-oriented programs, we have developed a set of techniques and tools for automated testing of aspect-oriented programs. This position paper presents our perspectives on automated testing techniques from three dimensions: testing aspectual behavior or aspectual composition, unit tests or integration tests, and test-input generation or test oracles. We illustrate automated testing techniques primarily through the last dimension in the perspectives. By classifying these automated testing techniques in the perspectives, we provide better understanding of these techniques and identify future directions for automated testing of aspect-oriented programs. This position paper also presents a couple of new techniques that we propose based on the perspectives. Copyright 2007 ACM.
The software package Dymola, which implements the new, vendor-independent standard modelling language Modelica, exemplifies the emerging generation of object-oriented modelling and simulation tools. This paper shows h...
详细信息
The software package Dymola, which implements the new, vendor-independent standard modelling language Modelica, exemplifies the emerging generation of object-oriented modelling and simulation tools. This paper shows how, in addition to its simulation capabilities, it may be used as an embodiment design tool, to size automatically a design assembled from a library of generic parametric components. The example used is a miniature model aircraft diesel engine. To this end, the component classes contain extra algebraic equations calculating the overload factor (or its reciprocal, the safety factor) for all the different modes of failure, such as buckling or tensile yield. Thus the simulation results contain the maximum overload or minimum safety factor for each failure mode along with the critical instant and the device state at which it occurs. The Dymola "Initial Conditions Calculation" function, controlled by a simple software script, may then be used to perform automatic component sizing. Each component is minimised in mass, subject to a chosen safety factor against failure, over a given operating cycle. Whilst the example is in the realm of mechanical design, it must be emphasised that the approach is equally applicable to the electrical or mechatronic domains, indeed to any design problem requiring numerical constraint satisfaction.
This paper deals with the feedback given to teachers in order they better manage their activities. We support teachers' activities, especially their interventions effectiveness, by giving them feedback about the e...
详细信息
As software evolves, data types have to be extended, possibly with new data variants or new operations. object-oriented design is well-known to support data extensions well. In fact, most popular books showcase data e...
详细信息
In the field of J2EE, MVC framework exists crosscutting concerns across multiple modules (e.g. logging, validation, transaction etc.) causing the code scattering and code confusion and making the system difficult to m...
详细信息
Up to now, subsea pipeline design was the matter of skilled experts, able to discriminate technical solutions using specific software or calculation models to reach a conclusion. However, with the increasing level of ...
详细信息
暂无评论