אימות תוכנה – הבדלי גרסאות

{{ניווט בהנדסת תוכנה}}

'''אימות תוכנה''' הוא תחום ב[[מדעי המחשב]] העוסק ב[[הוכחה]] ש[[תוכנה]] מסוימת נכונה (כלומר מבצעת בדיוק את מה שהוגדר במפרט שלה) או בעלת תכונות מסוימות.