Considerations of the Performance of a Real-Time OS

This paper presents a speci cation-based adaptive test case generation (SBATCGfmethod for integrationtesting an an open operating system standards environment. In the SBATCG method, templates describing abstract state transitions are derived from a modelbased specification, and the templates are refined to the internal structure of each implementation. In this paper, we adopt the Z notation, one of the most widely used formal specification languages.We conducted mutation analysis to study the faultexposure abilities of the SBATCG method and that of a strategy based only on a specification. In OUT experiment, we used a Z version of the ITRON2 reabtime multi-task operating system specification and two commercially available ITRON2 implementations. The results of this experiment show that the SBATCG method can achieve a higher fault detecting ability than can the strategy using only a specification.

show abstract

Considerations of the Performance of a Real-Time OS

Cited by 9 publications

References 1 publication

MLDD(Multi-Layered Design Diversity) architecture for achieving high design fault tolerance capabilities

MLDD(Multi-Layered Design Diversity) architecture for achieving high design fault tolerance capabilities

Improving design dependability by exploiting an open model-based specification

A specification-based adaptive test case generation strategy for open operating system standards

Contact Info

Product

Resources

About