タイトル | The specification-based validation of reliable multicast protocol: Problem Report |
本文(外部サイト) | http://hdl.handle.net/2060/19960011369 |
著者(英) | Wu, Yunqing |
著者所属(英) | West Virginia Univ. |
発行日 | 1995-12-01 |
言語 | eng |
内容記述 | Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP multicasting. In this report, we develop formal models for RMP using existing automated verification systems, and perform validation on the formal RMP specifications. The validation analysis help identifies some minor specification and design problems. We also use the formal models of RMP to generate a test suite for conformance testing of the implementation. Throughout the process of RMP development, we follow an iterative, interactive approach that emphasizes concurrent and parallel progress of implementation and verification processes. Through this approach, we incorporate formal techniques into our development process, promote a common understanding for the protocol, increase the reliability of our software, and maintain high fidelity between the specifications of RMP and its implementation. |
NASA分類 | COMPUTER PROGRAMMING AND SOFTWARE |
レポートNO | 96N17805 NASA-CR-200029 NAS 1.26:200029 NASA-IVV-95-012 WVU-SRL-95-012 WVU-SCS-TR-95-32 CERC-TR-TM-95-007 NIPS-96-07273 |
権利 | No Copyright |
|