Current Technologies in Automatic Test Suites Generation and Verification of Complex Systems

Sergiu Adrian Darabant 1
1 RESEDAS - Software Tools for Telecommunications and Distributed Systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We have in our days more complex systems than ever in the so called information age. Everything is based on the ability to manage information, more information each moment. The success of this aim is based on the communication systems which are, in turn, more developed and, as a consequence, more complicated. In order to control this complexity explosion new architectures have been developed, architectures that hide details that are not relevant for a real system, implemented above all these. This alleviates the need to concentrate on all the general, non important aspects; for example the communication layer in a data exchanging architecture. It remains for the developer to concentrate on data exchange issues and not on the communication ones. Open systems are another example of this. Here multivendor components operate in a meaningful way in order to achieve a common goal. Testing and verifying such complex systems where many details are hidden becomes an important issue, especially if they are meant to co-operate. It is not a handy task to manually test and prove correctness requirements for a complex communicating system or software system. Proving that an implementation is correct is feasible only for very small entities. Testing systems, on the other side, requires them to be formally specified. The task of manually generating test sequences is acceptable also only for simple systems but not feasible for complex ones. This is due, here, to the large number of cases that should be considered. Therefore, a more practical approach is to test every manufacturer's system against a single test source, that corresponds to the system standard specification. This is generally known as conformance testing - the process of verifying that an implementation is in accordance with a particular standard
Type de document :
[Intern report] 99-R-140 || darabant99a, 1999, 23 p
Liste complète des métadonnées
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:38:28
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 11:43:00



  • HAL Id : inria-00098795, version 1



Sergiu Adrian Darabant. Current Technologies in Automatic Test Suites Generation and Verification of Complex Systems. [Intern report] 99-R-140 || darabant99a, 1999, 23 p. 〈inria-00098795〉



Consultations de la notice


Téléchargements de fichiers