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

Development of a software tester for distributed object-oriented systems

JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS 2007年第1期30卷 115-131页

作者： Cheng, Fan-Tien Su, Yu-Chuan Wang, Chin-Hui Wu, Shang-Lun Natl Cheng Kung Univ Inst Mfg Engn Tainan 701 Taiwan

It is well-known that testing and debugging in software development demand a Great deal of resources, and open-environment architecture of general distributed systems tends to increase the complexity of testing. To resolve the problems mentioned above, this work proposes a software tester for distributed object-oriented systems. This software tester possesses a test-plan wizard which can generate a test-result template and test-plan execution codes according to class diagrams and sequence diagrams. The software tester is applicable to tests of an individual unit or module or a whole distributed object-oriented system as long as the functions and operations of the component or system can be presented with only class diagrams (as well as interface definitions) and sequence diagrams generated by the tools used during the software development. Two examples are applied to demonstrate the usage of this software tester, performing a unit test and a system integration test. Research results indicate that this software tester enables integrated planning of the software development and testing, reduces testing cost, and improves overall development efficiency.

关键词： distributed object-oriented systems unified modeling language software tester test-plan wizard

来源：评论

学校读者我要写书评

暂无评论

Creol: A type-safe object-oriented model for distributed concurrent systems

引用

THEORETICAL COMPUTER SCIENCE 2006年第1-2期365卷 23-66页

作者： Johnsen, Einar Broch Owe, Olaf Yu, Ingrid Chieh Univ Oslo Dept Informat N-0316 Oslo Norway

object-oriented distributed computing is becoming increasingly important for critical infrastructure in society. In standard object-oriented models, objects synchronize on method calls. These models may be criticized in the distributed setting for their tight coupling of communication and synchronization;network delays and instabilities may locally result in much waiting and even deadlock. The Creol model targets distributed objects by a looser coupling of method calls and synchronization. Asynchronous method calls and high-level local control structures allow local computation to adapt to network instability. object variables are typed by interfaces, so communication with remote objects is independent from their implementation. The inheritance and subtyping relations are distinct in Creol. Interfaces form a subtype hierarchy, whereas multiple inheritance is used for code reuse at the class level. This paper presents the Creol syntax, operational semantics, and type system. It is shown that runtime type errors do not occur for well-typed programs. (c) 2006 Elsevier B.V. All rights reserved.

关键词： distributed object-oriented systems type and effect system type soundness

来源：评论

学校读者我要写书评

暂无评论

Backwards type analysis of asynchronous method calls

引用

JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 2008年第1-2期77卷 40-59页

作者： Johnsen, Einar Broch Yu, Ingrid Chieh Univ Oslo Dept Informat N-0316 Oslo Norway

Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called processor release points in order to allow concurrent objects to adapt local scheduling to network delays in a very flexible way. However, asynchronous method calls complicate the type analysis by decoupling input and output information for method calls, which can be tracked by a type and effect system. Interestingly, backwards type analysis simplifies the effect system considerably and allows analysis in a single pass. This paper presents a kernel language with asynchronous method calls and processor release points, a novel mechanism for local memory deallocation related to asynchronous method calls, an operational semantics in rewriting logic for the language, and a type and effect system for backwards analysis. Source code is translated into runtime code as an effect of the type analysis, automatically inserting inferred type information in method invocations and operations for local memory deallocation in the process. We establish a subject reduction property, showing in particular that method lookup errors do not occur at runtime and that the inserted deallocation operations are safe. (C) 2008 Elsevier Inc. All rights reserved.

关键词： distributed object-oriented systems futures type and effect systems

来源：评论

学校读者我要写书评

暂无评论

A distributed object-oriented framework for dependable multiparty interactions 99

A distributed object-oriented framework for dependable multi...

引用

Proceedings of the 14th ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications

作者： A. F. Zorzo R. J. Stroud Faculdade de Informática Pontifícia Universidade Católica do RS 90619-900 Porto Alegre RS Brazil Department of Computing Science University of Newcastle upon Tyne Newcastle upon Tyne UK NE1 7RU

ISBN: (纸本)9781581132380

In programming distributed object-oriented systems, there are several approaches for achieving binary interactions in a multiprocess environment. Usually these approaches take care only of synchronisation or communication. In this paper we describe a way of designing and implementing a more general concept: multiparty interactions. In a multiparty interaction, several parties (objects or processes) somehow “come together” to produce an intermediate and temporary combined state, use this state to execute some activity, and then leave this interaction and continue their normal execution. The concept of multiparty interactions has been investigated by several researchers, but to the best of our knowledge none have considered how failures in one or more participants of the multiparty interaction can be dealt with. In this paper, we propose a general scheme for constructing dependable multiparty interactions in a distributed object-oriented system, and describe its implementation in Java. In particular, we extend the notion of multiparty interaction to include facilities for handling exceptions. To show how our scheme can be used, we use our framework to build an abstraction mechanism that supports cooperative and competitive concurrency in distributed systems. This mechanism is then applied to program a system in which multiparty interactions are more than simple synchronisations or communications.

关键词： fault tolerance multiparty interactions distributed object-oriented systems coordinated atomic actions concurrent exception handling

来源：评论

学校读者我要写书评

暂无评论

Formal specification and prototyping of CORBA systems 13th

引用

13th European Conferenc on object-oriented Programming (ECOOP 99)

作者： Bastide, R Sy, O Palanque, P Univ Toulouse 1 FROGIS LIHS F-31042 Toulouse France

ISBN: (纸本)3540661565

We propose to extend the CORBA interface definition of distributed objects by a behavioral specification based on high level Petri nets. This technique allows specifying in an abstract, concise and precise way the behavior of CORBA servers, including internal concurrency and synchronization. As the behavioral specification is fully executable, this approach also enables to early prototyping and testing of a distributed object system as soon as the behaviors of individual objects have been defined. The paper discusses several implementation issues of the multithreaded, distributed interpreter built for that purpose. The high level of formality of the chosen formalism allows for mathematical analysis of behavioral specifications.

关键词： formal methods distributed object-oriented systems CORBA Petri nets behavioral specification

来源：评论

学校读者我要写书评

暂无评论

A formal notation and tool for the engineering of CORBA systems

引用

Concurrency and Computation: Practice and Experience 2000年第14期12卷

作者： Rémi Bastide Ousmane Sy Philippe Palanque LIHS-FROGIS Université Toulouse I Place Anatole France F-31042 Toulouse CEDEX France

CORBA is a standard proposed by the object Management Group (OMG) in order to promote interoperability between distributed object systems. CORBA provides a programming-language neutral Interface Definition Language (IDL) that describes the syntactic aspects of services supported by remote objects. However, CORBA IDL does not provide any means to specify the behavior of objects in an abstract and formal way. In the current practice, behavioral specification is provided either in plain English, or directly in the programming language chosen for the implementation. We propose to extend the CORBA interface definition of distributed objects by a behavioral specification based on high level Petri nets. We detail at the syntactic and semantic level how this formalism supports the features of the CORBA object model. We present a realistic case study to demonstrate our approach. Our technique allows specifying in an abstract, concise and precise way the behavior of CORBA servers, including internal concurrency and synchronization. As the behavioral specification is fully executable, this approach also enables to prototype and test a distributed object system as soon as the behaviors of individual objects have been defined. The paper discusses several implementation issues of the tool that supports the edition of models and their interactive excution. The high level of formality of the chosen formalism allows for mathematical analysis of behavioral specifications. Copyright © 2000 John Wiley & Sons, Ltd.

关键词： Formal methods distributed object-oriented systems CORBA Petri nets behavioral specification

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：