Testing prototypes validity to enhance code reuse

Conférence Chapitre d'actes Testing prototypes validity to enhance code reuse eng 1998 author Buchs Didier 22665 author Diagne Alioune 773047 author Kordon Fabrice 6-12 10.1109/IWRSP.1998.676661 978-0-8186-8479-1 http://ieeexplore.ieee.org/document/676661/ 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). The 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, the authors 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 they exploit various hypotheses corresponding to a user's testing procedure. Prototypes Petri nets Software testing Robustness Electronic mail System recovery Software safety Formal verification Formal specifications System testing IEEE Comput. Soc true 727 Software Modeling and Verification Proceedings Ninth International Workshop on Rapid System Prototyping 3-5 June 1998 Leuven (Belgium) 6e1ebd4e-6b71-4fbc-872e-9198f242f16d Proceedings chapter (Published version) Public 1998Buchs_testing_prototypes_validity.pdf 55711 application/pdf openAccess

Title	Published in	Access level	OA Policy	Year	Views	Downloads

Testing prototypes validity to enhance code reuse	Proceedings Ninth International Workshop on Rapid System Prototyping			1998	330	338

Archive ouverte UNIGE

Diagne, Alioune