Chapter 8 – Software Testing

Thử nghiệm chương trình (Program testing)

 Kiểm thử mục đích nhằm chỉ ra rằng 1 ct thực hiện những j nó dự định làm
và phát hiện ra các khiếm khuyết của ct trc khi đưa vào sử dụng
 Kiểm thử là 1 phần của quy trình xác minh và xác thực tổng quát hơn bao
gồm các kĩ thuật xác thực các tĩnh
Mô hình kiểm thử đầu vào đầu ra của kiểm thử
chương trình

Xác minh và xác nhận

 Xác minh
Phần mềm phải phù hợp với đặc điểm kĩ thuật của nó
 Xác nhận
Phần mềm nên làm những j ng dùng thật sự yêu cầu
Kiểm tra và thử nghiệm (Inspections and testing)
 Kiểm thử phần mềm liên quan đến phân tích biểu diễn hệ
thống tĩnh để phát hiện sự cố (xác minh tĩnh)
 Kiểm thử phần mềm liên quan đến việc thực hiện và quan sát
hành vi sp (xác minh động)
Mô hình kiểm thử phần mềm