93documents trouvés
Panorama des méthodes formelles
H.WAESELYNCK, V.WIELS
TSF, ONERA-CERT
Rapport de Contrat : Contrat LAAS-CNRS/ONERA pour Siemens Transportation Systems, Décembre 2007, 39p. , N° 07705
Non diffusable
112480Revised reference model. Deliverable n° D1.2
J.ARLAT, M.KAANICHE, A.BONDAVALLI, M.CALHA, A.CASIMIRO, A.DAIDONE, L.FALAI, G.HUSZERL, M.O.KILLIJIAN, A.KOVI, Y.LIU, P.LOLLINI, E.V.MATTHIESEN, M.RADIMIRSCH, T.RENIER, N.RIVIERE, M.ROY, H.P.SCHWEFEL, I.E.SVINNSET, H.WAESELYNCK
TSF, UNIFI, FCUL Portugal, BME Hungary, AAU, AAU Danemark, Carmeq, TELENOR
Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, Août 2007, 86p. , N° 07456
Diffusable
111259Automatisation des tests OCASIME, rapport n° 2 de la 2ème année
G.DURRIEU, H.WAESELYNCK, V.WIELS
ONERA, TSF, ONERA-CERT
Rapport de Contrat : Contrat ONERA/AIRBUS - Recherche CDV/Automatisation des tests OCASIME. , Juillet 2007, 12p. , N° 07368
Non diffusable
110877Mobile systems from a validation perspective: a case study
H.WAESELYNCK, Z.MICSKEI, M.D.NGUYEN, N.RIVIERE
TSF, Budapest
Manifestation avec acte : 6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), Hagenberg (Autriche), 5-8 Juillet 2007, pp.85-92 , N° 07083
Diffusable
Plus d'informations
Abstract
Advances in wireless networking have yielded the development of mobile applications. However, sound technology to specify, design and validate such applications is still to be investigated. In order to exemplify some of the challenges that are raised, this paper reports on a case study: a group membership protocol for ad hoc networks. The protocol has been analyzed by reviewing the specification and the code, and then by testing the implementation. The outcomes provides us with hints for research direction.
Challenges in testing mobile computing applications
M. DNGUYEN, H.WAESELYNCK, N.RIVIERE
TSF
Rapport LAAS N°07295, Juin 2007, 10p.
Diffusable
110647Automatisation des tests OCASIME
G.DURRIEU, H.WAESELYNCK, V.WIELS
ONERA, TSF, ONERA-CERT
Rapport de Contrat : Contrat ONERA/AIRBUS - Recherche CDV/Automatisation des tests OCASIME. , Avril 2007, 18p. , N° 07217
Non diffusable
110206Simulated annealing applied to test generation: landscape characterization and stopping criteria
H.WAESELYNCK, P.THEVENOD-FOSSE, O.ABDELLATIF-KADDOUR
TSF
Revue Scientifique : Empirical Software Engineering, Vol.12, N°1, pp.35-63, Février 2007 , N° 05420
Diffusable
109131Automatisation des tests OCASIME. Rapport N°2
G.DURRIEU, C.SEGUIN, H.WAESELYNCK, V.WIELS
ONERA, TSF, ONERA-CERT
Rapport de Contrat : Contrat ONERA/AIRBUS - Recherche CDV/Automatisation des tests OCASIME. Rapport n° 2/11191/DTIM, Décembre 2006, 52p. , N° 06861
Non diffusable
108881The SESAME experience: from assembly languages to declarative models
Y.CROUZET, H.WAESELYNCK, B.LUSSIER, D.POWELL
TSF
Manifestation avec acte : 2nd Workshop on Mutation Analysis (Mutation'2006), Raleigh (USA), 7 Novembre 2006, 10p. , N° 06567
Diffusable
Plus d'informations
Abstract
SESAME (Software Environment for Software Analysis by Mutation Effects) is a fault injection tool using mutation as the target fault model. It has been used for 15 years to support dependability research at LAAS-CNRS. A salient feature of SESAME is that it is multi-language. This made it possible to inject faults into software written in assembly languages, procedural languages (Pascal, C), a data-flow language (LUSTRE), as well as in a declarative language for temporal planning in robotics. This paper provides an overview of the tool, and reports on its use in experimental research addressing either fault removal or fault tolerance topics.
Analysis of a group membership protocol for Ad-hoc networks
Z.MICSKEI, H.WAESELYNCK, M. DNGUYEN, N.RIVIERE
TSF
Rapport LAAS N°06797, Novembre 2006, 42p.
Diffusable
108581