30documents trouvés
TERMOS: a formal language for scenarios in mobile computing systems
H.WAESELYNCK, Z.MICSKEI, N.RIVIERE, A.HAMVAS, I.NITU
TSF, Budapest
Manifestation avec acte : International Conference on Mobile and Ubiquitous Systems: Computing Networking and Services (MobiQuitous 2010), Sydney (Australie), 6-9 Décembre 2010, 12p. , N° 10520
Diffusable
123379GraphSeq: a graph matching tool for the extraction of mobility patterns
M.D.NGUYEN, H.WAESELYNCK, N.RIVIERE
TSF
Manifestation avec acte : 3rd International Conference on Software Testing, Verification and Validation (ICST 2010), Paris (France), 7-9 Avril 2010, pp.195-204 , N° 08714
Diffusable
Plus d'informations
Mots-Clés / Keywords
Algorithms; Graph matching; Testing; Mobile computing systems; Scenario;
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
118694Refined 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;
Petri nets and linear logic
B.PRADIN-CHEZALVIEL, R.VALETTE, N.RIVIERE
OLC, TSF
Ouvrage (contribution) : Petri Nets: Fundamental Models, Verification and Applications , N°ISBN 978-1848210790, Décembre 2008, Chapitre 6, 21p. , N° 08786
Diffusable
116794Testing 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;
Astac-Amil- Application des solutions technologiques et d'architectures du monde civil aux avioniques militaires intégrées. Rapport final poste 3
J.CAZIN, C.PAGETTI, S.FAUCOU, Y.TRINQUET, A.DE BONNEVAL, N.RIVIERE, Y.CHEVALIER, F.BONIOLS, C.FRABOUL, F.FRANCES, A.MIFDAOUI
ONERA, IRCCYN, TSF, IRIT-UPS, ENSEEIHT, ISAE
Rapport de Contrat : Rapport n° 3/12145/DTIM, Avril 2008, 62p. , N° 08807
Diffusion restreinte
117354Astac-Amil: application des solutions technologiques et d'architectures du monde civil aux avioniques militaires intégrées. Poste 2: état de l'art recensement et caractérisation
S.FAUCOU, Y.TRINQUET, F.BONIOLS, C.FRABOUL, F.FRANCES, A.MIFDAOUI, A.DE BONNEVAL, N.RIVIERE, J.CAZIN, C.PAGETTI, Y.CHEVALIER
IRCCYN, ENSEEIHT, ISAE, TSF, ONERA, IRIT-UPS
Rapport de Contrat : Rapport final n° 2/12145/DTIM, Janvier 2008, 181p. , N° 08806
Diffusion restreinte
117356Preliminary 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;