Cogenit refait son site Internet, si vous voulez nous aider, vous pouvez remplir un rapide questionnaire anonyme disponible à partir du lien suivant.

Merci beaucoup pour votre aide.

Les travaux sont nombreux pour mesurer la fiabilité des modèles. COGENIT propose une approche qui s'inspire de l'Agile Programming tout en enrichissant cette méthode de l'efficacité de la simulation.

La capacité de générer les tests directement à partir des spécifications permet de vérifier que les modèles, première paraphrase de la spécification, satisfont les tests, deuxième paraphrase de la spécification. A partir de ces modèles des spécifications sont corrigées pour atteindre une qualité supérieure aux spécifications d'origine. Ainsi cette qualité supérieure des documents de développement du ou des codes et de fabrication des composants permettra de limiter les recherches de bugs aux seules erreurs de conception ou de développement à l'exclusion des erreurs de spécification. Cette troisième paraphrase industrielle des spécifications permet de :

• 1. vérifier que le système répond aux attentes,
• 2. s'il répond aux attentes, il rend sans objet les spéculations sur la fiabilité des modèles.