16.Độ tin cậy của phần mềm là gì ?

Là độ đo mức độ tốt của dịch vụ mà hệ thống cung ca61o cho máy tính. Là đặc trưng động của hệ thống, là một hàm của thất bại phần mềm. Thất bại phần mềm là việc hệ thống thi hành không như mong đợi. Phụ thuộc vào cách sử dụng hệ thống 

17.Kiểm tra phát triển phần mềm có mấy bước?  

Là kiểm tra của đội dự án, bao gồm:

+ Kiểm tra đơn vị: tiến hành cho từng đơn vị mã nhỏ nhất.

+ Kiểm tra tích hợp: Kiểm tra mặt logic và xử lý cho phù hợp cũa các khối, kiểm tra truyền tin giữa chúng. : đánh giá đặc tả các chức năng được đáp ứng, so sánh sự giống nhau giữa thao tác giao diện so vớ

+ Kiểm tra hệ thống  thiết kế, các công việc của ứng dụng trong môi trường thao tác đi kèm các ráng buộc. 

18.Thế nào là kiểm tra black box và white box?

Black box: Việc xử lý kết quả kiểm tra được minh chứng bằng dữ liệu, không quan tâm đến logic. Hiệu quả đối với các module chức năng đơn và các hệ thống cấp cao. Có 3 phương pháp:

+Phân hoạch cân bằng: tối thiểu các trường hợp kiểm tra cho trước. Các mục dữ liệu đầu vào được phân thành các nhóm dữ liệu có vai trò bằng nhau, một nhóm đại diện 1 tập dữ liệu. Chỉ cần kiểm tra 1 mục dữ liệu trong 1 tập dữ liệu để quyết định có chấp nhận hay không tất cả các mục tương đương trong tập đó.

+ Phân tích cực biên: là dạng nghiêm ngặt của phân hoặc cân bằng, trong đó, các mục ưu tiên kiểm tra phân tích thường xuyên và các giá trị biên.

+ Đoán lỗi: Dựa trên cơ sở trực giác kinh nghiệm dể kiểm tra lổi bằng cách đoán những loại dữ liệu dễ xảy ra nhất.

Việc bổ sung sơ đồ nguyên nhân-hệ quả giúp xác định được các tổ hợp các miền kết quả từ sự thiếu sót cũa 2 phương pháp phân hoạch cân bằng và phân tích cực biên. Kêt quả được chỉ ra: - Đầu vào: nguyên nhân. – Đầu ra, thông tin di chuyên: hệ quả

White box: Hướng dữ liệu, hướng logic-giải thuật. Xác định logic là đặc trưng quan trọng cần kiểm tra. Đánh giá 1 vài/tất cả các mặt logic để kiểm tra tính đúng đắn của chức năng. Có 3 loại white box:

kiểm tra chi tiết đến mức lệnh, quan tâm đến mức lệnh, bỏ qua một số điều kiện chương trìn

+Logic test:  h, cố gắng chọn điều kiện lẻ (giá trị bằng 1 hoặc true)để kiểm tra. Từ quan điểm của module để sinh ra dữ liệu, tạo tất cả các kết quả có thể có. Không kiểm tra được tình trạng của module so với đặc tã. Phù hợp với các ngôn ngử thế hệ 1 và 2.

+Toán học: Tiếp cận giảm thiểu sai sót về 0. Đòi hỏi tính logic, chứng minh tính đúng đắn của chương trình. Đòi hỏi đặc tả ngôn ngữ dạng hình thức.

+Cleaning test: Mở rộng của phương pháp Toán học. Tư tưởng là chặn lỗi đầu vào để giảm giá thành, tăng độ tin cậy,  không có lỗi. Sử dụng đặc tả hình thức. Là kĩ thuật kiểm tra toán học hình thức và hội ý.