LIP6 1998/017
- Reports
Tests de prototypes pour améliorer la réutilisabilité de leurs composants - D. Buchs, A. Diagne, F. Kordon
- 7 pages - 04/30/1998- document en - http://www.lip6.fr/lip6/reports/1998/lip6.1998.017.ps.gz - 52 Ko
- Contact : Didier.Buchs (at) nulldi.epfl.ch, Alioune.Diagne (at) nulllip6.fr, Fabrice.Kordon (at) nulllip6.fr
- Ancien Thème : SRC
- Keywords : Petri Nets, Tests, Test generation, HML
- Publisher : Denis.Poitrenaud (at) nulllip6.fr
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newly developed ones. Actually, it is valuable to handle the integration of external pieces of software in the specification and testing activities. However, it is difficult to validate them formally unless doing reverse-engineering (which is a heavy procedure).
This paper proposes to use structured formal specifications to generate a reasonable set of tests that evaluate behavior of software components in order to get an answer to both questions.
To do so, we use the description of components' external behavior and express it using the OF-Class formalism (an encapsulation of Colored Petri Nets). Test patterns are generated using an appropriate formalism, HML logic, and exploit various hypotheses corresponding to users' testing procedure.
This paper proposes to use structured formal specifications to generate a reasonable set of tests that evaluate behavior of software components in order to get an answer to both questions.
To do so, we use the description of components' external behavior and express it using the OF-Class formalism (an encapsulation of Colored Petri Nets). Test patterns are generated using an appropriate formalism, HML logic, and exploit various hypotheses corresponding to users' testing procedure.