![Verification and Validation ,[object Object]](https://image.slidesharecdn.com/verification-and-validation-in-software-engineering-se19-24563/85/Verification-and-Validation-in-Software-Engineering-SE19-1-320.jpg)
![Objectives ,[object Object],[object Object],[object Object],[object Object]](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Recommandé
Contenu connexe
Tendances
Tendances (20)
En vedette
Similaire à V&V Software Assurance Techniques
Similaire à V&V Software Assurance Techniques (20)
Plus de koolkampus
Plus de koolkampus (20)
Dernier
Dernier (20)
V&V Software Assurance Techniques
- 7. Static and dynamic V&V
- 15. The V-model of development
- 32. LINT static analysis 138% more lint_ex.c #include <stdio.h> printarray (Anarray) int Anarray; { printf(“%d”,Anarray); } main () { int Anarray[5]; int i; char c; printarray (Anarray, i, c); printarray (Anarray) ; } 139% cc lint_ex.c 140% lint lint_ex.c lint_ex.c(10): warning: c may be used before set lint_ex.c(10): warning: i may be used before set printarray: variable # of args. lint_ex.c(4) :: lint_ex.c(10) printarray, arg. 1 used inconsistently lint_ex.c(4) :: lint_ex.c(10) printarray, arg. 1 used inconsistently lint_ex.c(4) :: lint_ex.c(11) printf returns value which is always ignored