Software Supervision: A Technique for Indirect Software Reliability Improvement of Telecom Systems

摘要

This paper presents Software Supervision technique as a means of improving the software reliability of telecom systems. This technique consists of supervising both the inputs and outputs of a target system and checking them against the target system's specification. All discrepancies between observed sequences of signals and the target system's specification are reported as failures. The target system is assumed to be specified in SDL (Specification and Description Language). Furthermore, Statecharts-based Supervisor Modeling (SSM) is illustrated through examples. Benefits of this approach are as well discussed.