PROCEDE ET EQUIPEMENTS DE PRODUCTION DE LOGICIEL

摘要

Le procédé comprend essentiellement une étape de génération de code S1 générant un code modulaire CO, une étape de traçabilité S2, et une étape de test et validation S3. Un processus de raffinement est utilisé pour produire de manière récursive les blocs du code CO sur la base d'une analyse des sorties et des conditions discriminantes. Un partitionnement et une construction de classes d'équivalence sont effectués relativement à l'aspect fonctionnel et à l'aspect structurel. Le procédé permet un couplage entre le modèle de validation MO et la structure du code modulaire CO. Les caractéristiques du procédé permettent une production partiellement automatisée des logiciels et autorisent des tests avec une bonne maîtrise des couvertures fonctionnelle et structurelle.