The process of ensuring that software meets specified requirements and is free of defects.