Testmethoden für sequentielle und nebenläufige Software-Systeme

Depuis quelques années, il existe des normes de gestion de la qualité et d'assurance qualité pour le développement, la livraison et la maintenance de logiciels (par exemple, DIN ISO 9000-3) ainsi qu'un modèle de maturité en cinq niveaux pour évaluer le processus de développement d'une institution. De nombreuses entreprises et départements de logiciels ont depuis obtenu la certification de leur standard de développement conforme aux normes. Cependant, il n'y a pas eu de saut notable dans la qualité et l'absence de défauts des produits logiciels. Cela est principalement dû au fait que la norme DIN mentionnée ci-dessus ne prend en compte que la qualité du processus de développement et non celle des produits réalisés, et que la plupart des institutions n'ont pas encore atteint les deux niveaux supérieurs du modèle de maturité, où les caractéristiques des produits sont examinées pour la première fois de manière quantitative et qualitative. Par conséquent, ce livre se concentre sur les vérifications.