Mô tả
Các chủ đề về phương pháp suy diễn kiểm thử hình thức, quản lý kiểm thử, kiểm thử và xác minh dựa trên CASE ở mức cao, các phép đo dòng dữ liệu và dòng điều khiển và các chỉ số để đánh giá chất lượng thiết kế và mã, phân tích hồi quy và kiểm thử.
Văn bản tham chiếu bằng ngôn ngữ gốc
Topics in formal test derivation methods, test management, high-level, CASE-based verification and validation, data-flow and control-flow measures and metrics for assessing quality of designs and code, regression analysis and testing.
Nguồn và tham khảo
Ngày và nguồn được giữ lại để giúp bạn kiểm tra thông tin. Các bản dịch được cung cấp để dễ đọc; nguồn chính thức là tham chiếu cho các điều kiện và yêu cầu.
Nguồn tham khảo : https://calendar.carleton.ca/grad/courses/COMP/