Bài giảng Nhập môn công nghệ phần mềm: Chương 9 - Nguyễn Minh Huy

Bài giảng Nhập môn công nghệ phần mềm - Chương 9: Kiểm nghiệm phần mềm cung cấp cho người học các kiến thức: Khái niệm kiểm nghiệm, các hình thức kiểm nghiệm, quy trình kiểm nghiệm. Mời các bạn cùng tham khảo nội dung chi tiết.

Trang 1

Kiem nghiệm phân mêm

Trang 4

Khái niệm kiêm nghiệm I_ˆ =m Kiểm và Nghiệm (V & VI:

Tiêu chí Verification Validation

Ngữ cảnh Kiém tra phan mém Nghiém thu phan mém Y nghia Phân mêm có đúng với | Phần mềm có thỏa mãn

dac ta? nhu cau Stakeholders??

Mục tiêu Phát hiện lỗi cài đặt Phát hiện hiéu sai

Đồi tượng thực hiện | Đội ngũ phát triển Stakeholders

Cách thức thực hiện | Vận hành hoặc không Vận hành phần mềm

vận hành phân mêm

Build the thing right2? Build the right thing?’?

Trang 5

Khái niệm kiêm nghiệm I_ˆ

m Phân loại Verification:

= Kiém tra déng (dynamic verification):

> Kiém tra bang van hanh, dung thw

> Kiém tht phan mém (software testing) > Kiém tra hộp đen (black-box testing) > Dựa trên đâu vào và đâu ra

> Ưu điểm:

> It t6n kém (phần mềm bình thường) > Kiểm tra yêu câu phi chức năng

> Nhược điểm:

Trang 6

Khái niệm kiêm nghiệm I_ˆ

m Phân loại Verification:

= Kiém tra tinh (static verification):

> Kiém tra bang xét duyét, chteng minh > Kiém chứng phân mêm

> Kiém tra hép trang (white-box testing)

> Dựa trên noi dung ben trong > Uu diém: > Khơng cân hồn thành phân mêm > Không cân vận hành WHITE BOX TESTS

> Phát hiện được lỗi tìm ân —

> Nhược điểm: INPUT ey | OUTPUT

> Chi phi nhan cong ——> > =e 4 _— >

> Cân đội ngũ kinh nghiệm _—=

Trang 7

Khái niệm kiêm nghiệm

m Phân loai Validation:

m Nghiệm thu Alpha (Alpha Testing):

> Nghiem thu có giới hạn

>> Trién khai thi diém

> Chọn lọc đôi tượng tham gia

> Vận hành có kiêm soát

m Nghiệm thu Beta (Beta Testing):

> Nghiệm thu không giới hạn

>> Triên khai đại trà

> Không hạn chê đôi tượng tham gia

> Van hanh tu do

Trang 8

Khái niệm kiêm nghiệm =m Tóm tắt các loại kiêm nghiệm: amw » Kiém tra (Verification ) Kiém tht (động) (Testing) Kiém chteng (tinh) (Static Verification) ` / ⁄“ >

Nghiém thu (Validation )

Nghiém thu Alpha (Aloha Testing) Nghiém thu Beta

(Beta Testing)

Trang 10

Các hình thức kiểm nghiệm mm

= Kỹ thuật kiém tra tinh:

= Thanh tra phan mém (Software Inspection):

> Micheal Fagan dé xuat 1979

> Kiém tra bang cach doc néi dung

> ĐỘI ngũ thanh tra doc lap

> Ưu điểm:

> Có thê thực hiện ở mỗi pha

> Rất hiệu quả dé tim lỗi

> Khuyêt điểm:

> ĐỘI ngũ nhiêu kinh nghiệm > Ton kém thời gian và chi phi

Trang 11

Các hình thức kiêm nghiệm I_ˆ

= Kỹ thuật kiém tra tinh:

a Model Checking:

> Kiểm tra bằng cách chứng minh

Trang 12

Các hình thức kiểm nghiệm mm = Kỹ thuật kiểm tra động: mlestCase: > Kiểm tra đâu vào đâu ra > Dùng kịch bản kiêm thử > Các đôi tượng kiêm tra: > Một đoạn mã nguôn > Một tình huông Use Case > Một chức năng hoàn chỉnh > Noi dung Test Case: > Ngữ cảnh kiểm tra

> Dữ liệu đầu vào

Trang 13

Các hình thức kiểm nghiệm mm “97 = Test Case tinh hudng “Nhap sach that bai”:

Test Case Nhập sách thất bai

Related Use Case Nhập sách mới

Context Đăng nhập với quyên “Thủ thư” Input Data Tén sach: Chién tranh va Hoa binh

Tác giả: (trông) - Nhà xuất bản: (trỗng) Số tập: 2 tập

Expected Output Hiện thông báo “Lỗi: Thông tin sách bạn nhập vào không đây đủ!” Thông tin sách không được lưu vào cơ sở dữ liệu

Trang 16

> — ˆ

Quy trình kiêm nghiệm (Pp

m Các pha kiêm nghiệm:

= Kiểm thử đơn vị (Unit Testing):

> Kiểm tra từng đơn vị lập trình > Cac hàm trong mã nguôn

> Thực hiện trong mỗi trường cô lập > Lập trình viên thực hiện > Unit Test Case: Unit Test Case Chia cho số không Context (Không có)

Method Number.divide(float a, float b)

Input Data a=5

b=0

Expected Output Exception: Divided by zero Test Steps float c = Number.divide(5, 0)

Trang 17

Quy trình kiêm nghiệm (1s

m Các pha kiêm nghiệm:

a Kiêm thử tich hop (Sub-system Testing)

Trang 18

Quy trinh kiém nghiém

m Các pha kiêm nghiệm:

= Kiểm thử hệ thong (System Testing)

> Kiểm tra tồn bộ hệ thơng

> Hệ thông hoạt động như đặc tả?

> Thực hiện trong môi trường giả lập

> Phan loai:

> Functional Testing > Non-functional Testing

Trang 19

Quy trình kiêm nghiệm (1s

m Các pha kiêm nghiệm:

= Nghiệm thu phân mêm (Acceptance Testing)

> Khách hàng dùng thử

> Hệ thông thỏa mãn nhu câu?

> Thực hiện trong môi trường vận hành thật sự

> Phan loai:

> Nghiém thu Alpha > Nghiém thu Beta

Trang 20

Bai tap un

a Bai tap viet Test Case:

a He thong “Online Bookstore’ m Công viéc:

> Chức năng “Check-out đơn hàng :

> Thiết kê màn hình

> Viết các test case đề kiêm tra tất cả tình huỗng có thê xảy ra

> Chức năng “Thêm sách mới vào hệ thông”:

> Thiệt kê màn hình

> Viết các test case đề kiểm tra tất cả tình huỗng có thê