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

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

 

-----

:[[מונחים בתוכנה]]