Contenu
- Définition - Que signifie vérification statique?
- Introduction à Microsoft Azure et au nuage Microsoft | Tout au long de ce guide, vous apprendrez ce qu'est le cloud computing et comment Microsoft Azure peut vous aider à migrer et à exploiter votre entreprise à partir du cloud.
- Techopedia explique la vérification statique
Définition - Que signifie vérification statique?
La vérification statique est une analyse du code informatique permettant de s’assurer que les pratiques de codage standard ont été respectées sans avoir à exécuter le programme. Une analyse est effectuée sur certaines versions du code source et fournit aux programmeurs un moyen de déboguer le nouveau code et de détecter les erreurs potentielles dans le code compilé.
Introduction à Microsoft Azure et au nuage Microsoft | Tout au long de ce guide, vous apprendrez ce qu'est le cloud computing et comment Microsoft Azure peut vous aider à migrer et à exploiter votre entreprise à partir du cloud.
Techopedia explique la vérification statique
La vérification statique est largement utilisée dans les logiciels des systèmes informatiques critiques pour la sécurité. Les technologies clés utilisées dans la vérification statique sont l'analyse temporelle statique et la vérification d'équivalence. La synchronisation et la vérification fonctionnelle dans un flux de vérification statique sont séparées et exécutées en parallèle. L'analyse de synchronisation statique fournit des vérifications de synchronisation, tandis que la vérification d'équivalence vérifie l'équivalence fonctionnelle de deux versions du même circuit à mesure que la conception évolue selon différentes transformations telles que le réordonnancement de la chaîne d'analyse, le routage et le placement.
Quelques techniques de mise en œuvre de la vérification statique sont l’analyse de flux de données, la vérification de modèles, l’interprétation des abstractions et l’utilisation des assertions.
Les outils généralement utilisés pour la vérification statique comprennent Sonar, Yasca, le détecteur de copier / coller, Stylecop, FxCop, BLAST, Clang, Lint et Checkstyle.