Candidato: Adriana Carla Damasceno
Título do trabalho: Towards a Test Generation Approach for Compositional Real-Time Systems
Orientador(es): Patrícia Duarte de Lima Machado Wilkerson de Lucena Andrade
Banca examinadora: Patrícia Duarte de Lima Machado Wilkerson de Lucena Andrade (orientadores) Alexandre Cabral Mota (UFPE), Maria de Fátima Mattiello-Francisco (INPE), Jorge César Abrantes de Figueiredo (UFCG), Adalberto Cajueiro de Farias (UFCG).
Resumo: We can find many examples of Real-time Systems (RTS) in critical applications such as patient monitoring, air traffic control and others. A failure in this kind of system can be catastrophic. For example, it can harm human lives or increase project budgets. Hence, the testing of real-time systems must be accurate. Models are used to perform this task, since they contain information about how the system behaves and when actions may happen. Due to the complexity of the available systems, most RTS are composed of subsystems that interact as part of a bigger system. These subsystems are combined through operators to model their specification behavior. However, works on the testing of compositional models for RTS are practically nonexistent. Among the available approaches to perform testing for non-compositional RTS models, the tioco conformance testing theory focuses on generating test cases based on implementation and specification models. Moreover, a conformance relation defines whether success in testing means conformance of an implementation to a specification. To express specifications and to represent implementations under test, we use Timed Input Output Symbolic Transitions Systems (TIOSTS). These models store symbolic data and clock variables, avoiding the state space and region explosion problems. Regarding the testing of compositional models, some questions may arise: If two subsystem implementations are tioco conformant to their specifications, is it correct to assume that the composition of the implementations is also tioco conformant to the composition of their specifications? In this case, how can operators be defined to work with TIOSTS and tioco? To answer these questions, this thesis proposes the sequential, interruption and parallel operators for the TIOSTS model. For each operator, we study how the tioco conformance relation behaves with regard to subsystems and the composed system. We present results towards properties of compositional operators when the subsystems are composed, also implementing them. Besides, we show three examples where each operator can be used and illustrate the applicability of our approach in two exploratory studies. The first models components of a aircraft specification and the second presents application level interruptions in an Android system.