https://velo.wiki.ls2n.fr/ 2026-05-02T06:18:49+02:00 https://velo.wiki.ls2n.fr/ https://velo.wiki.ls2n.fr/lib/tpl/dokuwiki/images/favicon.ico text/html 2018-04-03T16:59:36+02:00 https://velo.wiki.ls2n.fr/doku.php?id=kmelia:discussions&rev=1522767576&do=diff Tableau 25/06/09 text/html 2018-04-03T16:59:36+02:00 https://velo.wiki.ls2n.fr/doku.php?id=kmelia:glossary&rev=1522767576&do=diff Kmelia Glossary (Glossary of the Kmelia Model) Overview metamodel Component * (component) interface : a set of provided service names, a set of required service names * types : a set of (user) type definitions * (component) state can be divided into observable/non observable parts text/html 2018-04-03T16:59:36+02:00 https://velo.wiki.ls2n.fr/doku.php?id=kmelia:gramkml&rev=1522767576&do=diff Grammaire Kmelia Modifs : Peut-on remplacer “existe” et “forall” par “#” et “!” ? NOn: c'est illisible et ce sont des caracteres reserves ( commentaire et emission de message) class AnalyserSyn extends Parser; Composant component : text/html 2018-04-03T16:59:36+02:00 https://velo.wiki.ls2n.fr/doku.php?id=kmelia:keywords&rev=1522767576&do=diff Alphabet and keywords protected DIGIT : '0'..'9'; protected UNDER : '_'; protected LETTER : 'a'..'z' | 'A'..'Z'; protected BIDIRPIPE : "<|>"; NUMBER : DIGIT (DIGIT)*; WORD : LETTER (DIGIT | LETTER | UNDER)* ; protected GOTO : "GOTO" ; // ports SELF : "_SELF"; CALLER :"_CALLER"; LINKTYPE : "r-r"|"r-p"|"p-p"|"p-r"; PORT : UNDER (WORD | SELF | CALLER); //PRIMITIVE TYPES protected INTEGER_TYPE :"INT"; protected BOOL_TYPE:"BOOL"; protected STRING_TYPE:"STRING"; protected INTEGER : NUMBER; LT :… text/html 2018-04-03T16:59:36+02:00 https://velo.wiki.ls2n.fr/doku.php?id=kmelia:kmltestissues&rev=1522767576&do=diff Kmelia - Test issues Défis à relever Modèle Aide au test * observateurs du modèle * raffinement data/services * test des communications (suppoosé fait par la vérification) Impact refactoring sur le test * opérateurs de transformation text/html 2018-04-03T16:59:36+02:00 https://velo.wiki.ls2n.fr/doku.php?id=kmelia:kmltestprocess&rev=1522767576&do=diff Kmelia - Le processus de test Processus Sélection des composants trois niveaux * test d'un service : gébération complète du code * test unitaire de composant * test d'intégration à partir d'un système Génération d'une application de test text/html 2018-04-03T16:59:36+02:00 https://velo.wiki.ls2n.fr/doku.php?id=kmelia:metamodel&rev=1522767576&do=diff Kmelia Metamodel Overview of concepts * minimal abstract metamodel ([V0-abstract]) * minimal concrete metamodel ([V0-concrete]) * full metamodel ([V1-draftEconet-to-updtate]) * executable metamodel text/html 2018-04-03T16:59:36+02:00 https://velo.wiki.ls2n.fr/doku.php?id=kmelia:photo_tableau&rev=1522767576&do=diff text/html 2018-04-03T16:59:36+02:00 https://velo.wiki.ls2n.fr/doku.php?id=kmelia:start&rev=1522767576&do=diff The Official Website * <http://costo.univ-nantes.fr/> The Detailed Kmelia Page The Model * some related Kmelia publications here * metamodel * glossary The Kmelia Data Grammar * gramKml 29/01/2009 * keywords 09/04/2009 * Kmelia Types and Functions * Kmelia Data Libraries * [Coloration syntaxique Kmelia pour gedit] * [Style Latex pour Kmelia] * [Plugin Costo core à placer dans eclipse/dropins/plugins] * [Plugin Costo UI à placer dans eclipse/dropins/plugins] Testing Kmelia… text/html 2018-04-03T16:59:36+02:00 https://velo.wiki.ls2n.fr/doku.php?id=kmelia:test_kml&rev=1522767576&do=diff Kmelia - Le test photo tableau Exemple support * au niveau modele et non meta Originalité * périmètre du test variable (schéma avec bouchons à la place d'un service interne ou non) * sources de données non bornées * (éventuellement composites, random) * (peuvent interroger leur environnement pour s'adapter eg. évaluer des assertions qu'elles doivent satisfaire) * (difficulté : stratégies d'ordonnancement des sources appelées)