L'assurance qualité logicielle 1 — Alain April, Claude Yvon Laporte