DMCA
An Approach to Verification and Validation of a Reliable Multicasting Protocol (1996)
Cached
Download Links
- [research.ivv.nasa.gov]
- [research.ivv.nasa.gov]
- DBLP
Other Repositories/Bibliography
| Venue: | in Proceedings of the International Symposium on Software Testing and Analysis |
| Citations: | 17 - 14 self |
BibTeX
@INPROCEEDINGS{Callahan96anapproach,
author = {John Callahan and Todd L. Montgomery},
title = {An Approach to Verification and Validation of a Reliable Multicasting Protocol},
booktitle = {in Proceedings of the International Symposium on Software Testing and Analysis},
year = {1996},
pages = {8--10}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
: This paper describes the process of implementing a complex communications protocol that provides reliable delivery of data in multicast-capable, packet-switching telecommunication networks. The protocol, called the Reliable Multicasting Protocol (RMP), was developed incrementally using a combination of formal and informal techniques in an attempt to ensure the correctness of its implementation. Our development process involved three concurrent activities: (1) the initial construction and incremental enhancement of a formal state model of the protocol machine; (2) the initial coding and incremental enhancement of the implementation; and (3) model-based testing of iterative implementations of the protocol. These activities were carried out by two separate teams: a design team and a V&V team. The design team built the first version of RMP with limited functionality to handle only nominal requirements of data delivery. This initial version did not handle off-nominal cases such as network...
Keyphrases
reliable multicasting protocol incremental enhancement design team nominal requirement limited functionality formal state model reliable delivery initial construction iterative implementation separate team off-nominal case packet-switching telecommunication network first version model-based testing development process concurrent activity initial version initial coding complex communication data delivery informal technique protocol machine
