·Home
·Table of Contents
·Reliability and Validation 1

Testing real-Time Systems

R. Castanet
LaBRI, UMR 5800, Université Bordeaux I, 33405 Talence, France
P. Laurençot
LIMOS, FRE 2239, Université Clermont-Ferrand II, 63173 Aubière, France
Contact

Abstract

1 Introduction

2 TTCN language


Table 1: TTCN example for the test case sc5

3 Temporised tests expression


Table 2: Reception of a data in TTCN


Table 3: Transmission of a data in TTCN

4 Architecture for the distributed test


Fig 2: The different steps for the test


Table 4: Reception of a data in a TTCN syntax


Table 5: Transmission of data in a TTCN syntax

5 Conclusion

References

  1. R. Alur, C. Courcoubetis, and D.L. Dill. Model checking for real-time systems. In Proceedings of the 5th Annual Symposium on Logic in Computer Science, pages 414{425. IEEE Computer Society Press, 1990.
  2. G. Bernot, M. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and tool. Software Engineering Journal, 6(6), 1991.
  3. A. Ennouaary, R. Dssouli, and A. Elqortobi. Génération des tests temporisés. In Proceedings of CFIP, Liege, Belgique, 1997.
  4. Information Technology ISO/IEC 9646-3. Open Systems Interconnection-Conformance Testing methodology and framework- Part 3: Tree and Tabular Combined Notation (TTCN).
  5. Information Technology ISO/IEC 9646-4. Open Systems Interconnection- Conformance Testing methodology and framework- Part 4: Test Realization.
  6. P. Laurençot. Intégration du temps dans les tests de protocoles de communication. PhD thesis, Université de Bordeaux I, 1999.
  7. P. Laurençot, O. Koné, and R. Castanet. On the Fly Test Generation for Real Time Protocols. In Proc of International Conference on Computer Communications and Networks, Lafayette, Louisiane, U.S.A, 1998.
  8. O. Rafiq, R. Castanet, and C. Chraibi. Towards an environment for testing osi protocol. In 5th International Workshop on Protocol Specification, Testing and verification, Toulouse, France, 1985.
  9. T. Walter and J. Grabowski. Real-time ttcn for testing real-time and multimedia systems. In 10th International Workshop on testing of Communication, Korea, 1997.

© AIPnD , created by NDT.net |Home|    |Top|