Testing: executing program in a con

Testing: executing program in a controlled environment and verifying output
Inspections and Reviews
Formal methods (proving software correct)
Static analysis detects error-prone conditions

Results (Vietnamese) 1:

Thử nghiệm: thực hiện chương trình trong một môi trường kiểm soát và xác nhận sản lượngKiểm tra và đánh giáPhương pháp hình thức (chứng minh phần mềm đúng)Phát hiện tĩnh phân tích điều kiện dễ bị lỗi

Results (Vietnamese) 2:

Kiểm tra: thực hiện chương trình trong một môi trường có kiểm soát và kiểm tra đầu ra
Kiểm tra giá và xem lại
phương pháp chính thức (chứng minh phần mềm chính xác)
Phân tích tĩnh phát hiện điều kiện dễ bị lỗi