1. Lập danh sách các nguyên nhân (điều kiện vào) và kết quả (hành động thực hiện)
cho từng modul và gán giá trị định danh cho chúng.. Được xây dựng dựa trên các modul chức năng.
2. Phát triển một đồ thị nhân quả
3. Chuyển đồ thị đó thành bảng quyết định
4. Sử dụng các quy luật của bảng quyết định để xây dựng các ca kiểm thử.
Câu 63. Chiến lược kiểm thử thời gian thực gồm mấy bước? là những bước nào? Giải thích nội dung cơ bản mỗi bước?
Chiến lược kiểm thử thời gian thực gồm 4 bước:
1. Kiểm thử tác vụ: Kiểm thử từng tác vụ (operation) một cách độc lập với nhau
(bằng cả kỹ thuật hộp trắng và hộp đen). Nó cho phép phát hiện sai về logic và chức
năng. Chưa phát hiện hiện sai về thời gian và ứng xử.
2. Kiểm thử ứng xử:
+ Sử dụng công cụ CASE tạo mô hình hệ thống để mô phỏng ứng xử của hệ thời gian thực, xem ứng xử của nó như hậu quả của sự kiện ngoài. Dùng kết quả hoạt động phân tích này để thiết kế ca kiểm thử (tương tự kỹ thuật đồ thị nhân quả)
+ Phân lớp sự kiện (tương tự phân hoạch tương đương). Kiểm thử từng lớp sự kiện và nhận ứng xử của hệ thi hành để phát hiện các sai do xử lý đáp ứng các sự kiện đó.
+ Kiểm thử mọi lớp sự kiện. Các sự kiện được đưa vào trong hệ thống theo thứ tự ngẫu nhiên và với tần suất ngẫu nhiên nhằm phát hiện các sai ứng xử.
3. Kiểm thử liên tác: tìm các sai liên quan đến đáp ứng thời gian do không đồng bộ+ Các tác vụ không đồng bộ khi liên tác với các tác vụ khác. Vì thế cần kiểm thử với + Các tác vụ không đồng bộ khi liên tác với các tác vụ khác. Vì thế cần kiểm thử với nhịp điệu dữ liệu và mức tải với các xử lý khác nhau.
+ Các tác vụ không đồng bộ do giao tiếp phụ thuộc hàng đợi thông điệp hoặc truy nhập kho dữ liệu cũng được thử để bộc lộ các sai về cỡ dữ liệu.
4. Kiểm thử hệ thống: sau khi tích hợp phần cứng và phần mềm cần tiến hành kiểm thử hệ thống để tìm ra các sai. thử hệ thống để tìm ra các sai.
+ Giao diện (giữa phần cứng và phần mềm)
+ Môi trường (tác động từ môi trường, các sự kiện)
+ Các ngắt (các loại ngắt và các xử lý xảy ra như hậu quả của ngắt).
c. Kiểm thử đơn vị
Câu 64. Kiểm thử đơn vị là gì? Quan hệ của nó với hoạt động mã hóa như thế nào?
Kiểm thử đơn vị là tiến trình kiểm thử tập trung kiểm chứng vào đơn vị nhỏ nhất của thiết kế phần mềm đó là modul. Kiểm thử đơn vị bao giờ cũng hướng theo hộp trắng và bước này có thể được tiến hành song song cho nhiều modul.
Nó kiểm thử các phần sau:
- Kiểm thử giao diện
- Khám nghiện cấu trúc dữ liệu cục bộ. - Kiểm thử với các điều kiện biên. - Các đường độc lập.
- Các đường xử lý sai.
Quan hệ của nó với hoạt động mã hóa:
- Kiểm thử đơn vị thường được coi là phần phụ thêm của bước mã hóa.
- Sau khi bước mã nguồn đã được phát triển, được rà soát và kiểm tra tính đúng đắn cú pháp thì việc thiết kế ca kiểm thử đơn vị bắt đầu
Câu 65. Hoạt động kiểm thử đơn vị gồm những nội dung gì? Nó liên quan đến những nhân tố nào? Nêu một vài câu hỏi kiểm thử cho các nhân tố đó?