Real-Time, Fault-Tolerance and Security in Distributed Systems

摘要

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.