v1.01.103 ZZZZ103 – Tests unitaires de fonctions de base du gestionnaire de mémoire Jeveux#
Résumé:
Ce test permet de vérifier le fonctionnement d’utilitaires de base du gestionnaire de mémoire JEVEUX.
La modélisation A imprime les valeurs associées aux constantes numériques dépendant de la plate-forme. Notamment les longueurs et les valeurs extrémales des nombres entiers et des nombres flottants, quelques constantes mathématiques particulières, et certains paramètres liés à l’utilisation de la mémoire et des fichiers. Les valeurs sont accessibles à l’aide des fonctions ENVIMA décrites dans le document [D6.01.01].
La modélisation B vérifie que la fonctionnalité d’extension des bases se déclenche (sur la base volatile) en cas de manque de mémoire vive et de place dans la base précédente.
La modélisation C vérifie la fonctionnalité d’extension des bases sur la base globale, ainsi que le retassage.
Cette documentation est volontairement succincte.