הבטחת איכות תוכנה

הבטחת איכות תוכנה הינו שם כולל למכלול הפעולות שנועדו להבטיח את איכותו של מוצר תוכנה מוגמר, ותחום זה הוא חלק מתחום הבטחת איכות הכולל והנדסת תוכנה.

הבטחת איכות תוכנה נעשית באמצעות בדיקתה של התוכנה. בדיקה זו נעשית על ידי בודק אנושי, לפי תסריטי בדיקה שנועדו לבחון את כל המצבים העיקריים שהתוכנה תעבור, או באמצעות תוכנת בדיקה, העוברת על תסריטים דומים באופן אוטומטי. קיומם של באגים גם במוצרי תוכנה שעברו בדיקות מקיפות מוכיח את מוגבלותן של שיטות אלה.

במסגרת מדעי המחשב נחקר התחום של אימות תוכנה, שנועד לאפשר הוכחת נכונותה של תוכנה.