Real-Time, Fault-Tolerance and Security in Distributed Systems
Abstract
The research was initially based on the idea of applying model based testing. An experiment was carried out which involved cell phones. Based on experiences with this, and other observations, it was determined that a priori models were unlikely to be available. A new approach was investigated. It resulted in the development of a new kind of model generation and coverage tool called MOCCA (model oriented coverage and analysis) together with a new kind of supporting behavior model.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 17, 2002
- Accession Number
- ADA402933
Entities
People
- William E. Howden
Organizations
- University of California, San Diego