TCVN 10607-2:2014

ISO/IEC 15026-2:2011

KỸ THUẬT PHẦN MỀM VÀ HỆ THỐNG - ĐẢM BẢO PHẦN MỀM VÀ HỆ THỐNG - PHẦN 2: TRƯỜNG HỢP ĐẢM BẢO

Systems and software engineering - Systems and software assurance - Part 2: Assurance case

Lời nói đầu

TCVN 10607-2:2014 hoàn toàn tương đương với ISO/IEC 15026-2:2011.

TCVN 10607-2:2014 do Ban kỹ thuật tiêu chuẩn quốc gia TCVN/JTC 1 Công nghệ thông tin biên soạn, Tổng cục Tiêu chuẩn Đo lường Chất lượng đề nghị, Bộ Khoa học và Công nghệ công bố.

Bộ TCVN 10607 (ISO/IEC 15026) Kỹ thuật phần mềm và hệ thống gồm các tiêu chuẩn sau:

- TCVN 10607-1:2014 (ISO/IEC 15026-1:2013) Kỹ thuật phần mềm và hệ thống - Đảm bảo phần mềm và hệ thống - Phần 1: Khái niệm và từ vựng;

- TCVN 10607-2:2014 (ISO/IEC 15026-2:2011) Kỹ thuật phần mềm và hệ thống - Đảm bảo phần mềm và hệ thống - Phần 2: Trường hợp đảm bảo;

- TCVN 10607-3:2014 (ISO/IEC 15026-3:2011) Kỹ thuật phần mềm và hệ thống - Đảm bảo phần mềm và hệ thống - Phần 3: Mức toàn vẹn hệ thống;

- TCVN 10607-4:2014 (ISO/IEC 15026-4:2012) Kỹ thuật phần mềm và hệ thống - Đảm bảo phần mềm và hệ thống - Phần 4: Đảm bảo trong vòng đời.

KỸ THUẬT PHẦN MỀM VÀ HỆ THỐNG - ĐẢM BẢO PHẦN MỀM VÀ HỆ THỐNG - PHẦN 2: TRƯỜNG HỢP ĐẢM BẢO

Systems and software engineering - Systems and software assurance - Part 2: Assurance case

1. Phạm vi áp dụng

Tiêu chuẩn này quy định các yêu cầu tối thiểu cho cấu trúc và nội dung của một trường hợp đảm bảo. Trường hợp đảm bảo bao gồm một đòi hỏi mức cao cho đặc tính của một hệ thống hay sản phẩm (hoặc tập các đòi hỏi), lập luận có hệ thống liên quan tới đòi hỏi đó, bằng chứng và các giả định rõ ràng làm cơ sở cho lập luận này. Việc lý luận thông qua nhiều mức đòi hỏi mức thấp, lập luận có cấu trúc này kết nối đòi hỏi mức cao với bằng chứng và các giả định.

Tiêu chuẩn này không nêu ra các yêu cầu về chất lượng nội dung trong một trường hợp đảm bảo. Hơn nữa, tiêu chuẩn này nêu ra các yêu cầu về việc tồn tại các nội dung và cấu trúc của một trường hợp đảm bảo. Trong khi một vài chú thích và các thuật ngữ hơi khác nhau hiện được dùng trong thực tế, tiêu chuẩn này không yêu cầu việc sử dụng một thuật ngữ hoặc một trình diễn địa lý đặc biệt. Tương tự, tiêu chuẩn này không nêu ra các yêu cầu về cách thức triển khai dữ liệu vật lý, mà không có một yêu cầu nào đối với sự dư thừa hay đồng vị.

2. Sự phù hợp

Một trường hợp đảm bảo phù hợp với tiêu chuẩn này nếu đáp ứng các yêu cầu trong Điều 6 và Điều 7.

3. Tài liệu viện dẫn

Các tài liệu viện dẫn sau rất cần thiết cho việc áp dụng tiêu chuẩn này. Đối với các tài liệu viện dẫn ghi năm công bố thì áp dụng phiên bản được nêu. Đối với các tài liệu viện dẫn không ghi năm công bố thì áp dụng phiên bản mới nhất, bao gồm cả các sửa đổi, bổ sung (nếu có).

TCVN 10607-1 (ISO/IEC 15026-1), Kỹ thuật phần mềm và hệ thống - Đảm bảo phần mềm và hệ thống - Phần 1: Khái niệm và từ vựng

ISO/IEC 15289, Systems and software engineering - Content of systems and software life cycle process information products

4. Thuật ngữ và định nghĩa

Tiêu chuẩn này áp dụng các thuật ngữ và định nghĩa được đưa ra trong TCVN 10607-1.