Nou De asigurare a calității și de testare software Pentru Achim D. Brucker and Burkhart Wolff

HOL-TestGen permite să scrie specificațiile de testare în logica de ordin superior (HOL). Se poate (semi-) se împarte în mod automat spațiul de intrare, care rezultă în cazuri abstracte de testare, iar selecta automat datele de testare concrete.Generarea...