Achieving dependability throughout the development process: a distributed software experiment

Author

Kelly, John P J ; Murphy, Susan C.

Author_Institution

Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA

Volume

16

Issue

2

fYear

1990

fDate

2/1/1990 12:00:00 AM

Firstpage

153

Lastpage

165

Abstract

Distributed software engineering techniques and methods for improving the specification and testing phases are considered. To examine these issues, an experiment was performed using the design diversity approach in the specification, design, implementation, and testing of distributed software. In the experiment, three diverse formal specifications were used to produce multiple independent implementations of a distributed communication protocol in Ada. The problems encountered in building complex concurrent processing systems in Ada were also studied. Many pitfalls were discovered in mapping the formal specifications into Ada implementations

Keywords

Ada; computer communications software; data communication systems; distributed processing; formal specification; program testing; protocols; Ada; B/B testing; automated testing; complex concurrent processing systems; dependability; distributed communication protocol; distributed software engineering; multiple independent implementations; software testing; Automatic testing; Buildings; Fault detection; Fault tolerance; Formal specifications; Hardware; Protocols; Software engineering; Software performance; Software testing;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.44379

Filename

44379