Issue No. 02 - February (1990 vol. 16)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.44379
<p>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.</p>
distributed software engineering; B/B testing; automated testing; software testing; dependability; multiple independent implementations; distributed communication protocol; Ada; complex concurrent processing systems; Ada; computer communications software; data communication systems; distributed processing; formal specification; program testing; protocols.
J.P.J. Kelly, S.C. Murphy, "Achieving Dependability Throughout the Development Process: A Distributed Software Experiment", IEEE Transactions on Software Engineering, vol. 16, no. , pp. 153-165, February 1990, doi:10.1109/32.44379