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

  • Authors:

  • Yingxu Wang;Graham King;Dilip Patel;Shushma Patel;Alec Dorling

  • Affiliations:

  • School of Computing, Information Systems and Mathematics, South Bank University, London, 103 Borough Road, London SE1 0AA, UK E-mail: yingxu.wang@ acm.org, dilip@ sbu.ac.uk, shushma& ...;Research Centre for Systems Engineering, Southampton Institute, Southampton SO14 0YN, UK E-mail: graham.king@ solent.ac.uk;School of Computing, Information Systems and Mathematics, South Bank University, London, 103 Borough Road, London SE1 0AA, UK E-mail: yingxu.wang@ acm.org, dilip@ sbu.ac.uk, shushma& ...;School of Computing, Information Systems and Mathematics, South Bank University, London, 103 Borough Road, London SE1 0AA, UK E-mail: yingxu.wang@ acm.org, dilip@ sbu.ac.uk, shushma& ...;IVF, Centre for Software Engineering, Argongatan 30, S‐431 53, Molndal, Sweden E-mail: alec.dorling@ ivf.se

  • Venue:
  • Annals of Software Engineering
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

In real‐time systems, dynamic inconsistencies of software are hardly detected, diagnosed and handled. A built‐in 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 object‐oriented source code as member functions. BITs can be activated at any designed moment at run‐time to detect, diagnose and handle software dynamic inconsistencies. This paper develops a new approach to cope with software dynamic inconsistencies at run‐time by BITs. In this paper, the concept of BITs is introduced. The standard structures which incorporate BITs into conventional object‐oriented 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.