Software test tool based on source code is an important aided tool of software quality assurance, and under the environments that test technology and test requirement continuously vary, Software test tool itself shoul...
详细信息
Software test tool based on source code is an important aided tool of software quality assurance, and under the environments that test technology and test requirement continuously vary, Software test tool itself should be endowed with extensibility, easy reuse and interoperation. In the paper, the necessity of research on integrated framework of component-based software test tool is analyzed, based on the analysis of traditional model of software test tool and characteristic of software test tool, we study architecture design of integrated framework of software test tool, come up with a reference model of integrated framework of software test tool, which is based on component and can be compatible with CORBA. Moreover, the technology of implementing dynamic configuration based on different user's requirements is also introduced.
In the process of developing distributed applications, system reliability, availability, openness, resource sharing and reusability, etc. are very complex and difficult to solve. Recent research into agent theory has ...
详细信息
In the process of developing distributed applications, system reliability, availability, openness, resource sharing and reusability, etc. are very complex and difficult to solve. Recent research into agent theory has demonstrated that agent-orientedtechnology may be effective in handling these problems. The paper first discusses the relationships of distributed systems from an agent viewpoint, then presents an agent framework based on distributed objects which could be used to construct enterprise distributed applications. To enhance the openness and resource sharing in distributed systems, an agent communication language-KQML is introduced and implemented in the framework.
PDEFA is a distributed Ada95 pre-compiler, compiler and run-time system. PDEFA-I is the latest version of PDEFA that supports inheritance between parallel objects. Because of the inheritance anomaly problem with concu...
详细信息
PDEFA is a distributed Ada95 pre-compiler, compiler and run-time system. PDEFA-I is the latest version of PDEFA that supports inheritance between parallel objects. Because of the inheritance anomaly problem with concurrent objects, Ada95 doesn't support this mechanism, so we have to slightly modify the language to make inheritance possible. Code of each interface of a protected object in Ada95 is divided into two parts, synchronization code called condition and implementation code called action. These two parts of code can be changed or replaced independently in subclasses, making great effort for maximum code reuse. Consequently, PDEFA evolves into PDEFA-I with its parallel object model improved in order to solve inheritance anomaly. We demonstrate in this paper mainly the work we have done with service objects.
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving developers the possibility to freely combin...
详细信息
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving developers the possibility to freely combine individual tools. We discuss how tools can be integrated even in the context of conflicting data models, and provide an architecture for doing so, based on component technology and XML Metadata Interchange. As an example, we discuss the implementation of an electronic whiteboard tool, Knight, which adds support for creative and collaborative object-oriented modelling to existing computer-aided software engineering through integration using our proposed architecture.
In order to meet the requirements of building CORBA-based distributed multimedia applications, OMG has defined the CORBA A/V Stream Service Specification. However, it is not specified to use what network mechanism to ...
详细信息
In order to meet the requirements of building CORBA-based distributed multimedia applications, OMG has defined the CORBA A/V Stream Service Specification. However, it is not specified to use what network mechanism to ensure the QoS of multimedia streams. In this paper, an implementation model of IntServ/RSVP based CORBA A/V Stream Service is proposed. It first maps the application-level QoS parameters of multimedia streams specified by application developers into network-level QoS parameters. It then negotiates the QoS requirements with the IntServ/RSVP enabled network and reserves corresponding network resource in the endsystems and intermediate network systems to maintain end-to-end QoS enforcement through the RSVP API. Also, developers can flexibly control and manage the multimedia streams using CORBA IIOP protocol.
Many data objects in the real world have attributes concerning location and time. Such spatiotemporal objects can be found in applications such as geographic information systems (GIS), environmental data management an...
详细信息
Many data objects in the real world have attributes concerning location and time. Such spatiotemporal objects can be found in applications such as geographic information systems (GIS), environmental data management and multimedia databases. Traditional relational database technology is not suitable for managing spatiotemporal data, which are multi-dimensional with complex structures and behaviours. Spatiotemporal data can only be managed by the new generation of data management technologies such as object-oriented and object-relational databases. We present a comprehensive survey covering aspects from fundamental user requirements for spatiotemporal applications, spatiotemporal object modelling, object storage structures and techniques for manipulation of spatiotemporal objects such as multidimensional indexing, data structures, query evaluation strategies and architectures for spatiotemporal database management systems.
We describe methods for specification based testing and testing measurement for real time reactive systems. The methods are based on an objectoriented formal specification of real time reactive systems. Test cases ge...
详细信息
We describe methods for specification based testing and testing measurement for real time reactive systems. The methods are based on an objectoriented formal specification of real time reactive systems. Test cases generated by our method satisfy two test adequacy criteria, and minimally cover the global states and transitions of interest. The testing measurement provides measures of test suite adequacy in terms of coverage. We use a metric based algorithm to select the optimal set of test cases. One of the goals of this work is to automate these methods and integrate them into TROMLAB, a rigorous framework for the development of real time reactive systems.
The importance of having a sound basis for engineers to reason about architectural standards should not be underestimated. A component standard, or integration architecture, is a set of design rules that is meant to e...
详细信息
The importance of having a sound basis for engineers to reason about architectural standards should not be underestimated. A component standard, or integration architecture, is a set of design rules that is meant to ensure that such components can be integrated in defined ways without undue effort. This paper presents a formalized abstract component object model, Z-COM, based on Microsoft's Component object Model (COM), and describes the design and abstract implementation of object-Bus, which is the kernel of Z-COM.
With the rapid development of the Internet, the integrated applications of Web, database, CORBA and Java have offered the three-tiered client/server application models a good computing environment and implementation s...
详细信息
With the rapid development of the Internet, the integrated applications of Web, database, CORBA and Java have offered the three-tiered client/server application models a good computing environment and implementation strategy. This paper briefly introduces this kind of client/server application model based on CORBA and Web, and discusses a persistent object service for it. The paper describes in detail the persistent object service's architecture model, interactive process of components, main interface descriptions and some considerations when implementing this strategy. Finally, a summary is supplied for the persistent object service.
The proceedings contain 62 papers. The topics discussed include: class algebra for ontology reasoning;software evolution: prototypical deltas;modeling and reuse perspectives of inheritance can be reconciled;synchroniz...
ISBN:
(纸本)0769503934
The proceedings contain 62 papers. The topics discussed include: class algebra for ontology reasoning;software evolution: prototypical deltas;modeling and reuse perspectives of inheritance can be reconciled;synchronizing java threads using assertions;the typing of communicating sequential processes;object mapping for layered cooperative systems;reasoning about inheritance and cloning behaviors of software agents;an objectoriented data model for web and its algebra;extending formal specification to object-oriented models through level-view structured schemas;an 0bject:oriented net graph model for agent group-based network management;risk analysis and assessment using object-oriented techniques;a multi-layered system of metrics for the measurement of reuse by inheritance;and obtaining generic classes automatically through a parameterization operator. a focus on constrained genericity.
暂无评论