93documents trouvés
Final evaluation, consolidated results and guidelines. Deliverable D1-3
B.KONNING, M.REITENSPIESS, I.DE BRUIN, S.H.DE GROOT, T.LIPPMAN, I.E.SVINNSET, Z.EGEL, G.HUZERL, M.KAANICHE, M.O.KILLIJIAN, N.RIVIERE, M.ROY, H.WAESELYNCK, A.BONDAVALLI, A.DAIDONE, F.DI GIANDOMENICO, L.FALAI, P.LOLLINI, H.P.SCHWEFEL, E.V.MATTHIESEN, A.NICKELSEN, J.J.NIELSEN, A.CASIMIRO
EXT, FSC, WMC, AAU, TELENOR, BME Hungary, TSF, CNR-ISTI, UNIFI, FCUL Portugal, Carmeq, AAU Danemark
Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, HIDENETS, Project IST-FP6-STREP-26979, Janvier 2009, 120p. , N° 09493
Diffusable
118694Application du Model Checking aux commandes de vol: l'expérience Airbus
T.BOCHOT, P.VIRELIZIER, H.WAESELYNCK, V.WIELS
AIRBUS France, TSF, ONERA/DTIM
Manifestation avec acte : Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2009), Toulouse (France), 26-28 Janvier 2009, 10p. , N° 08516
Diffusable
116673Refined design and testing framework, methodology and application results. Deliverable D5.3
G.HUSZERL, H.WAESELYNCK, Z.EGEL, A.KOVI, Z.MICSKEI, M.D.NGUYEN, G.PINTER, N.RIVIERE
TSF, Budapest, BME Hungary
Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, Décembre 2008, 118p. , N° 08667
Diffusable
Plus d'informations
Mots-Clés / Keywords
Application development; Testing; Model-based;
UML 2.0 Sequence diagram's semantics
Z.MICSKEI, H.WAESELYNCK
Budapest, TSF
Rapport LAAS N°08479, Septembre 2008, 54p.
Diffusable
Plus d'informations
Mots-Clés / Keywords
UML 2.0; Sequence diagrams; Semantics;
LETO - A lustre-based test oracle for Airbus critical systems
G.DURRIEU, H.WAESELYNCK, V.WIELS
ONERA, TSF, ONERA/DTIM
Manifestation avec acte : 13th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), L'Aquila (Italie), 15-16 Septembre 2008, 16p. , N° 08321
Diffusable
Plus d'informations
Abstract
This paper presents an approach and an associated tool that have been proposed to automate the test oracle procedure of critical systems developed at Airbus. The target tests concern the early validation of the SCADE design and are performed in a simulated environment. The proposed approach and tool have been successfully applied to several Airbus examples.
Mots-Clés / Keywords
Test Oracle; Automation; Formal methods; Avionics;
A survey of UML 2.0 sequence diagrams' semantics
Z.MICSKEI, H.WAESELYNCK
Budapest, TSF
Rapport LAAS N°08389, Août 2008, 37p.
Diffusable
Plus d'informations
Abstract
Scenario languages are widely used in software development. Typical usage scenarios, forbidden behaviors, test cases and many more aspects can be depicted with graphical scenarios. Scenario languages were introduced into the Unified Modeling Language (UML) under the name of Sequence Diagrams. The 2.0 version of UML changed Sequence Diagrams significantly, the expressiveness of the language was highly increased. However it was carried out without defining a precise semantics for the language. This paper presents the semantics defined in the specification, collects and categorizes the problems with the current approach, and gives a survey of proposed formal semantics for Sequence Diagrams.
Mots-Clés / Keywords
UML; Sequence diagrams; Semantics;
Testing mobile computing applications: toward a scenario language and tools
M.D.NGUYEN, H.WAESELYNCK, N.RIVIERE
TSF
Manifestation avec acte : International Workshop on Dynamic Analysis (WODA 2008), Seattle (USA), 21 Juillet 2008, pp.29-35 , N° 07709
Diffusable
Plus d'informations
Abstract
Advances in wireless networking have yielded the development of mobile computing applications. Their unique characteristics (dynamicity of the system structure, communication with unknown partners in local vicinity, context dependency) provide new challenges for verification. This paper elaborates on the testing technology. As a first step, a review of the state-of-the-art is performed together with a case study (a group membership protocol in mobile ad hoc settings), which allowed us to gain insights into testing problems. Work is then directed toward: (1) the definition of a scenario language with extensions to better account for mobile settings (spatial relationships, broadcast communication with neighbors), and (2) an automated support for the off-line analysis of execution traces to identify occurrences of described scenarios.
Mots-Clés / Keywords
Mobile computing systems; Scenario; Graph matching; Testing; Test platform;
Tester des applications mobiles: vers un langage de scénario et des outils
M.D.NGUYEN, H.WAESELYNCK, N.RIVIERE
TSF
Rapport LAAS N°08173, Avril 2008, 8p.
Diffusable
Plus d'informations
Mots-Clés / Keywords
Test; Systèmes informatiques mobiles; Scenario; Algorithme de recherche d'homomorphisme;
Automatisation des tests OCASIME, rapport n° 3 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. Rapport n° 3/12782/DTIM, Janvier 2008, 27p. , N° 07704
Non diffusable
Plus d'informations
Mots-Clés / Keywords
Systèmes embarqués; Test;
Preliminary testing framework and methodology. Deliverable n° D5.2
H.WAESELYNCK, Z.MICSKEI, M.D.NGUYEN, N.RIVIERE
TSF, Budapest
Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, Décembre 2007, 49p. , N° 07747
Diffusable
Plus d'informations
Mots-Clés / Keywords
Testing; Mobile computing systems; Scenario; Graph matching;