Tester les modeles conceptuels

Statut documentaire : guide — voir Maturité et preuves.

Tester une application logiCells revient a tester ses contrats conceptuels executables. Une strategie complete couvre le chargement des modeles, implications, facettes hypergraphe et persistance, role paths, collections et joins, actions, publication, evenements, etats de processus, bindings de vues, DataSets et mappings de services.

Tester la surface conceptuelle

Preferer des assertions sur les identites publiques du modele et les capacites declarees. Un test de modele doit instancier des objets representatifs, executer les actions declarees, observer les evenements et verifier l'etat obtenu. Eviter de recopier l'algorithme d'implementation dans le test.

Pattern d'assertion functionalP :

Self.Assert(
  GUnitTest,
  condition,
  'Message explaining the expected contract'
);

Le message doit nommer le contrat protege, par exemple Start action is missing.

Contrats a proteger

Les actions publiees meritent des tests de noms de parametres, directions, types, validation, resultat et effets. Les processus doivent proteger etats et transitions observables. L'asynchrone se teste via evenements/messages et changements d'etat deterministes. Pour une vue, tester d'abord curseur, DataSet, DataSource, collection path et bindings d'actions.

Evolution

Ajouter ou mettre a jour un test declaratif chaque fois qu'une evolution introduit ou modifie un contrat applicatif stable.