On coping with real-time software dynamic inconsistency by built-in tests

Abstract

In realdtime systems, dynamic inconsistencies of software are hardly detected, diagnosed and handled. A builtdin test (BIT) method is developed to cope with software dynamic inconsistency. BIT is defined as a new kind of software testing which is explicitly described in objectdoriented source code as member functions. BITs can be activated at any designed moment at rundtime to detect, diagnose and handle software dynamic inconsistencies. This paper develops a new approach to cope with software dynamic inconsistencies at rundtime by BITs. In this paper, the concept of BITs is introduced. The standard structures which incorporate BITs into conventional objectdoriented software are analysed. Reuse methodologies for BITs in OO software are developed at object and system levels. A case study is provided for showing how to create BIT and how to inherit and reuse BITs in OO programming. Methods for incorporating BITs into OO software at object, class and system levels are provided. An approach to dynamic inconsistency control by BITs is developed.