Phân tích giá trị biên

Một phần của tài liệu kiểm thử phần mềm trên cơ sở các biểu đồ uml (Trang 26 - 77)

Vì một số lớn các lỗi có khuynh hƣớng xuất hiện tại biên của miền vào hơn là tại “trung tâm” nên phân tích giá trị biên - (BVA) đã đƣợc phát triển nhƣ một kĩ thuật kiểm thử. Việc phân tích giá trị biên dẫn tới việc chọn lựa các trƣờng hợp kiểm thử thực hiện tại các giá trị cận.

Phân tích giá trị biên là kĩ thuật thiết kế trƣờng hợp kiểm thử, để bổ sung thêm cho phân hoạch tƣơng đƣơng. Thay vì chọn bất kỳ phần tử nào của một lớp tƣơng đƣơng, BVA chọn các trƣờng hợp kiểm thử tại các giá trị biên của lớp phân hoạch. Phân tích giá trị biên tƣơng tự về nhiều khía cạnh với phân hoạch tƣơng đƣơng:

1. Nếu một điều kiện vào xác định ra một miền đƣợc giới hạn bởi các giá trị a và b, thì các trƣờng hợp kiểm thử nên đƣợc thiết kế với các giá trị ab, ngay ở dƣới ab, tƣơng ứng.

2. Nếu một điều kiện vào xác định một số các giá trị, thì các trƣờng hợp kiểm thử nên đƣợc xây dựng để thử cho các giá trị cực tiểu và cực đại. Các giá trị ngay trên và ngay dƣới cực tiểu và cực đại cũng đƣợc kiểm thử.

3. Áp dụng các hƣớng dẫn 1 và 2 cho các điều kiện ra. Chẳng hạn, giả sử rằng bảng tƣơng quan nhiệt độ và áp suất là cần đƣa ra cho một chƣơng trình phân tích kĩ nghệ. Các trƣờng hợp kiểm thử nên đƣợc thiết kế để tạo ra báo cáo: làm phát sinh số các ô đƣợc phép trong bảng tối đa (và tối thiểu)

4. Nếu các cấu trúc dữ liệu chƣơng trình bên trong đã mô tả trƣớc các biên (nhƣ một mảng có một giới hạn xác định gồm 100 ô), thì phải chắc chắn thiết kế một trƣờng hợp kiểm thử để thực hiện cấu trúc dữ liệu đó tại biên của nó.

Phần lớn các kỹ sƣ phần mềm đều thực hiện BVA một cách trực giác ở mức độ nào đó. Bằng việc áp dụng những hƣớng dẫn đã nêu ra ở trên, việc kiểm thử biên sẽ đầy đủ hơn, do đó có nhiều khả năng để phát hiện lỗi hơn.

Một phần của tài liệu kiểm thử phần mềm trên cơ sở các biểu đồ uml (Trang 26 - 77)