Mã xác nhận - quá trình phần mềm xác nhận

Các thuật ngữ "xác minh" và "xác nhận" là rất thường được sử dụng trong các tài liệu kỹ thuật và có liên quan đến chất lượng của các phân tích của bất kỳ phần mềm. Trong tài liệu khoa học có cách giải thích khác nhau của các khái niệm. Vì vậy, hãy cố gắng nhìn vào vấn đề này.

Thích hợp nhất, theo quan điểm của chúng tôi, là định nghĩa sau đây. Validation và xác minh - là những hoạt động nhằm mục đích thực hiện việc kiểm soát chất lượng của phần mềm để phát hiện sai sót trong giai đoạn đầu của nó. Có vẻ như họ có một mục tiêu chung. Tuy nhiên, những loài có sự khác biệt trong các nguồn tài sản có thể kiểm chứng, hạn chế và các quy định, vi phạm mà có thể được coi là một sai lầm.

Xác minh - một kiểm tra sự phù hợp của phần mềm tài liệu kỹ thuật được cung cấp bởi các yêu cầu đặc điểm kỹ thuật, kiến trúc, lĩnh vực người mẫu. Trong mục "bổn phận" của thuật ngữ được bao gồm và các thủ tục tính toán so với quá trình phát triển, các quy tắc và tiêu chuẩn.

xác minh dữ liệu có thể được thực hiện để thiết lập các chức năng của chương trình tuân thủ thiết lập các tiêu chuẩn, yêu cầu, thiết kế và tài liệu hướng dẫn sử dụng. Trong trường hợp này, một pre-kiểm tra bắt buộc phải tuân theo những tài liệu, trong đó được so sánh với việc tuân thủ của họ với các tiêu chuẩn và các quy định đề ra trong đất nước mà phần mềm được điều hành. Nó là cần thiết để đi vào xem xét và tôn trọng tất cả các chuỗi các hoạt động thực hiện.

Trong trường hợp xảy ra lỗi hoặc khiếm khuyết trong chương trình hoặc nếu không có sự mâu thuẫn giữa các văn bản nêu trên và các chức năng hiện tại của chương trình quyết định lựa chọn công cụ để sửa chữa nên là giải pháp cho một công việc cụ thể.

Không giống như xác nhận xác minh có trách nhiệm xác minh phù hợp với nhu cầu phát triển phần mềm hoặc đi kèm hoặc các nhu cầu của khách hàng hoặc người sử dụng. Những nhu cầu này thường không được ghi lại trong bất kỳ tài liệu. Đó là lý do xác nhận ít chính thức hơn xác minh. Đây là một quá trình trong đó đại diện của khách hàng, người sử dụng, và cũng có thể tham dự một chuyên gia phân tích hoặc một chuyên gia trong lĩnh vực chuyên môn. Nói cách khác, những người có thể bày tỏ những nhu cầu cụ thể và nhu cầu thực tế của các bên liên quan.

Xác minh - là câu trả lời cho câu hỏi "Có phải phần mềm làm đúng cách?", Và xác nhận - "? Liệu phần mềm phù hợp".

Khi tìm kiếm một câu trả lời cho những câu hỏi, bạn có thể thấy rằng việc xác nhận (hoặc chứng chỉ) nội dung được đặt hơi rộng hơn so với kiểm tra (kiểm tra). Tuy nhiên, xác minh được liên kết chặt chẽ để đảm bảo kiểm soát chất lượng sản phẩm phần mềm.

Ví dụ, xác minh của một chương trình máy tính cung cấp một quá trình, trong đó cơ sở cho mục đích là để đảm bảo đáp ứng các yêu cầu này, đặc biệt là vòng đời sản phẩm thu được, để những người thu được trong bước trước.

Nếu chúng ta nói về việc xác minh mô hình, ở đây chúng tôi sẽ tập trung vào xác minh của màn hình hiển thị chính xác của các mô hình máy tính cần khái niệm hoặc mô hình toán học.

Khi mã hệ thống xác minh phân tích các nguồn mã hóa và xác minh mô tả phù hợp với tài liệu của nó.

Quá trình xác minh có thể bao gồm các hoạt động bao gồm các tính toán thay thế. Một so sánh về tài liệu kỹ thuật và khoa học của dự án mới với tài liệu thích hợp của một dự án hiện, kiểm tra bắt buộc, kiểm tra các sản phẩm phần mềm mới và kết quả chứng minh.