Qualité du code
Aucune description
0 (0 avis)
A propos de cette formation
Sessions
Programmes de cette formation
-
- Contenu
● Bugs historiques. Echec de la mission Mars Climate Orbiter.
Correction vs Sûreté vs Sécurité.
● Tests unitaires. Tests de non-régression. Environnement
dev-staging-prod. Github CI.
● Mesures de qualités. Niveau TRL. Complexité cyclomatique.
Standard de programmation CERT. Linter. SONAR.
● Tests de pénétration. Top 10 d’OWASP. Zed-Attack Proxy.
Hackinglab.
● Preuve de programme. Supériorité des preuves sur les tests.
Propriétés intrinsèques. Propriété extrinsèques et langage de
spécification, JML pour Java.
● Les tests et les preuves dans la norme DO-178 pour l’avionique.
Proposé par
Public concerné
Prérequis
- PROG2
