component users need to customize components they obtain from providers, because providers usually develop components for general use. Although the customization is accomplished by modifying the interface of a compone...
详细信息
component users need to customize components they obtain from providers, because providers usually develop components for general use. Although the customization is accomplished by modifying the interface of a component, faults from customization appear when the implementation part of a component and the interfaces interact. The implementation part is a black-box, whose source code is not available to a component user, while the interface is a white-box, whose source code is available for customization. Therefore, customization faults should be tested using both the black-box part and the white-box part of a component. This paper proposes a new technique to test customization faults using software fault injection and mutation testing, and the technique is tailored to Enterprise JavaBeans. Test cases are selected by injecting faults not into the entire interface but into specific parts of the component's interface. The specific parts that are chosen control the effectiveness of the test cases. An empirical study to evaluate the technique is reported. Copyright (C) 2003 John Wiley Sons, Ltd.
We have started a national research and development project of a manufacturing technology information infrastructure called MZ-Platform. MZ-Platform is a component-based software development framework, designed to sup...
详细信息
ISBN:
(纸本)1853127299
We have started a national research and development project of a manufacturing technology information infrastructure called MZ-Platform. MZ-Platform is a component-based software development framework, designed to support manufacturing enterprises to enhance digitalized technologies in a self-innovative way. The major characteristic is that it can switch the running program by changing their components dynamically. It can load JavaBeans components searched by a component mining method, make connections with other active components and execute them. We show some application examples related to design and a manufacturing, such as a CAD (Computer Aided Design) data check tool and manufacturing process-scheduling system.
component-based software development has been increasingly adopted as a standard engineering practice to build large systems with prefabricated components. Although this development method enjoys the great benefits of...
详细信息
ISBN:
(纸本)0769521312
component-based software development has been increasingly adopted as a standard engineering practice to build large systems with prefabricated components. Although this development method enjoys the great benefits of reusing valuable software assets, reducing development costs, improving productivity, etc., it also poses serious challenges to the quality assurance problem of component-based systems, since prefabricated components can not be simply trusted and they could be a new source of system failures. Solving this problem is of vital importance to safety-critical and mission-critical systems. This paper introduces a decompositional verification approach for component-based systems through both formal analysis (model-checking) and traditional software testing.
The ever increasing emphasis on distributed systems has led to advances in the client/server model and the emergence of component-based software development as an important paradigm in software engineering. Along with...
详细信息
This paper describes an Electronic Commerce Goods Search System (ECGSS) that has functions that increase the precision of search results through training of the search system and uses affiliated business transaction p...
详细信息
This paper describes an Electronic Commerce Goods Search System (ECGSS) that has functions that increase the precision of search results through training of the search system and uses affiliated business transaction processes. The softwarecomponent architecture for ECGSS also allows the effective deployment of the system on every local business site, in view of the evolving trend in information technology toward easier configuration and re-usability. A general information gathering system with the infrastructure to accept every Internet communication protocol and access control is described. In this affiliated business transaction model, we classify Internet sites into two groups: a cooperative sites group, and a non-cooperative sites group. While designing the components, we optimized their specifications with respect to the whole architecture analysis, dependencies, and interface types using a component-based software development process. Experiments on the effectiveness of the user training function for the search system and the response time for simple queries for each communication protocol are presented. Comparisons of commercial search solutions and architectural standards of several organizations are also given. (C) 2003 Elsevier Science B.V. All rights reserved.
Traditional IDLs were defined for describing the services that objects offer, but not those services they require from other objects, nor the relative order in which they expect their methods to be called. Some of the...
详细信息
Traditional IDLs were defined for describing the services that objects offer, but not those services they require from other objects, nor the relative order in which they expect their methods to be called. Some of the existing proposals try to add protocol information to object interfaces, but most of them fail to do so in a modular way. In this paper we propose an extension of the CORBA IDL that uses a sugared subset of the polyadic pi-calculus for describing object service protocols, based on the concept of roles. Roles allow the modular specification of the observable behavior of CORBA objects, reducing the complexity of the compatibility tests. Our main aim is the automated checking of protocol interoperability between CORBA objects in open component-based environments, using similar techniques to those used in software architecture description and analysis. In addition, our proposal permits the study of substitutability between CORBA objects, as well as the realization of dynamic compatibility tests during their runtime execution.
component-based software development is considered to he a promising technology to increase softwaredevelopment productivity. However, developing component-based applications faces different challenges. One of them i...
详细信息
component-based software development is considered to he a promising technology to increase softwaredevelopment productivity. However, developing component-based applications faces different challenges. One of them is identifying component ensembles that satisfy any particular system requirements specification. In this paper we introduce a component integration evaluation based on software engineering integration rules. These rules represent real-world experiences and are combined into knowledge base. These representative rules evaluate compatibility among components according to their attributes of component specification.
In the past 20 years, researchers were able to demonstrate that the task of developing distributed applications can be separated into two orthogonal parts: the computation and the coordination parts. component-based s...
详细信息
ISBN:
(纸本)1892512459
In the past 20 years, researchers were able to demonstrate that the task of developing distributed applications can be separated into two orthogonal parts: the computation and the coordination parts. component-based software development (CBSD) adds another facet of this orthogonality. The main idea of CBSD, where (off-the-shelf) components are put together with minimum effort, is fundamentally a coordination problem - coordination is what allows components to be arranged into large ensembles. The task of developing component-based systems requires extended coordination mechanisms that are not available in any current coordination model. This paper describes how an extension to the LINDA coordination model, called LOGOP, can be used to provide a better mechanism for the engineering of component-basedsoftware.
To reuse components in component-based real-time softwaredevelopment, especially the ones acquired from external sources, a component must satisfy its real-time constraints, such as thread priority and thread synchro...
详细信息
ISBN:
(纸本)0769515584
To reuse components in component-based real-time softwaredevelopment, especially the ones acquired from external sources, a component must satisfy its real-time constraints, such as thread priority and thread synchronization, to satisfy system real-time requirements. Since real-time applications have various real-time requirements, the ability to customize components for various real-time constraints is needed. Hence, the components to be used in real-time softwaredevelopment must have a set of well-defined features to facilitate component customization. Furthermore, since there are many techniques available for addressing real-time requirements, the features themselves must also be customizable to support these technique(s) used in a particular type of real-time applications. In this paper, an object-oriented component customization approach, including component customization and framework extension, for real-time applications softwaredevelopment is presented.
A component-based methodological approach to derive distributed implementations of parallel ODE solvers is proposed. The proposal is based on the incorporation of explicit constructs for performance polymorphism into ...
详细信息
A component-based methodological approach to derive distributed implementations of parallel ODE solvers is proposed. The proposal is based on the incorporation of explicit constructs for performance polymorphism into a methodology to derive group parallel programs of numerical methods from SPMD modules. These constructs enable the structuring of the derivation process into clearly defined steps, each one associated with a different type of optimization. The approach makes possible to obtain a flexible tuning of a parallel ODE solver for several execution contexts and applications. Following this methodological approach, a relevant parallel numerical scheme for solving stiff ODES has been optimized and implemented on a PC cluster. This numerical scheme is obtained from a Radau IIA Implicit Runge-Kutta method and exhibits a high degree of potential parallelism. Several numerical experiments have been performed by using several test problems with different structural characteristics. These experiments show satisfactory speedup results.
暂无评论