Classical software reliability research has tended to focus on behavioral-type failures which typically manifest themselves as incorrect or missing outputs. In real-time software, a correct output which is not produced within a specijied response time interval may also constitutes a failure. As a result, response time failures must also be taken into account when real-time software reliability is assessed. Response-time requirements can be stated in a hard or a soft form. The latter form is often preferred when the quality of service offered is of concern. In a number of real-time applications, the responses to a particular stimulus are highly state dependent and, therefore, the response time requirements must be predicated on state.This paper considers the case where the detection of response times failures is done by a separate unit which observes the inputs and outputs of the target software.Automatic detection of such failures is complicated by state dependencies which require the unit to track a target's state as well as the elapsed times between specified stimulus and response pairs. A novel, black-box approach is described for detecting response time failures and quality of service degradations of session-oriented, real-time software.The behavior of the target software is assumed to be specijied in a formalism based on the notion of communicating extended finite state machines. The response time failure detection unit, implemented independently of the target software, interprets a formal model derived directly from the target's requirement specijications. The model is used both to track the state of the target and to determine when to start and stop time interval timing measurements. Measurements of multiple response time intervals may occur simultaneously. The approach was evaluated on the call processing program of a small telephone exchange. Some results of the evaluation are presented and discussed.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.