Generating functional test cases in-the-large for time-critical systems from logic-based specifications

  • Authors:

  • Sandro Morasca;Angelo Morzenti;Pieluigi SanPietro

  • Affiliations:

  • Dip. di Elettronica e Informazione, Politecnico di Milano, Piazza Leonardo da Vinci 32, 1-20133 Milano, Italy.;Dip. di Elettronica e Informazione, Politecnico di Milano, Piazza Leonardo da Vinci 32, 1-20133 Milano, Italy.;Japan Advanced Institute of Science and Technology, 15 Asahidai, Tatsunokuchi, Ishikawa 923-12, Japan

  • Venue:
  • ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

We address the problem of generating functional test cases for complex, highly structured time-critical systems starting from a modularized logic-based specification written in the TRIOR+ language, an object-oriented extension of the temporal logic TRIO.First, we present methods for producing test cases for a TRIO+ specification module, referring both to the internal, hidden, portion of the module and to its interface. Then, we discuss criteria to be used in the construction of test cases from a TRIO+ specification based on its composing modules and the connections among their interfaces. We formally define the notions related to test case derivation from TRIO+ modules and we introduce an executable language for describing a variety of strategies for constructing test cases for structured TRIO+ specifications starting from (parts of) the test cases of the composing modules. This language can be the basis for the implementation of an interactive tool for the semiautomatic construction of functional test cases from complex time-critical systems starting from their TRIO+ specification.