Table des Matières
Publicité
Vérification des programmes
Remarque
Zone
Plages des
Plages des zones des opérandes
opérandes
Types des données d'opérandes
Vérification de l'accès aux mots en lecture seule
Vérification de la plage des opérandes, y compris :
• constantes (#, &, +, –)
• codes de commandes
• vérification des limites des zones pour les opérandes à
plusieurs mots
• vérification des relations de taille pour les opérandes à
plusieurs mots
• chevauchement des plages d'opérandes
• affectations de plusieurs mots
• opérandes double longueur
• vérification des limites des zones pour les décalages
Capacité du
Nombre de pas
programme pour les
Capacité générale
API
Nombre de tâches
Syntaxe
Vérification des appels pour les instructions par paire
• IL–ILC
• JMP–JME, CJP/CJPN-JME
• SBS–SBN–RET, MCRO–SBN–RET
• STEP–SNXT
• BPRG–BEND
• IF–IEND
• LOOP–LEND
Emplacement de programmation limité pour BPRG–BEND
Emplacement de programmation limité pour SBN-RET
Emplacement de programmation limité pour STEP-SNXT
Emplacement de programmation limité pour FOR-NEXT
Emplacement de programmation limité pour les tâches
d'interruption
Emplacement de programmation obligatoire pour
BPRG–BEND
Emplacement de programmation obligatoire pour FOR-NEXT
Imbrication illégale
Instruction END(001)
Cohérence des numéros
Structure du
Dépassements de piles
schéma contact
Duplication des
Duplique la vérification des résultats
résultats
• Par bit
• Par mot
• Instructions de temporisation/compteur
• Longs mots (de 2 ou 4 mots)
• Mots affectés plusieurs fois
• Plages de début/fin
• Numéros de l'instruction FAL
• Instructions comprenant plusieurs opérandes de sortie
Tâches
Vérifie les tâches devant commencer au début du
fonctionnement
Affectation du programme des tâches
La duplication des résultats n'est pas vérifiée entre les tâches ; elle ne l'est
qu'au sein des tâches individuelles.
Chapitre 2-3
Vérification
67
Publicité
Chapitres
Table des Matières
