Quá trình xác minh và xác nhận thiết kế

Xác minh thiết kế

Xác minh thiết kế Kiểm chứng thiết kế là một phương pháp để xác nhận, thông qua việc kiểm tra và cung cấp bằng chứng, rằng đầu ra của một sản phẩm phần mềm được thiết kế đáp ứng các thông số kỹ thuật đầu vào. Mục tiêu của quá trình kiểm chứng thiết kế trong quá trình phát triển phần mềm là để đảm bảo rằng sản phẩm phần mềm được thiết kế giống với những gì đã được chỉ định.

Đầu vào thiết kế là bất kỳ yêu cầu vật lý và hiệu năng nào được sử dụng làm cơ sở cho thiết kế. Đầu ra thiết kế là kết quả của từng giai đoạn thiết kế và của toàn bộ nỗ lực thiết kế. Trong các ngành công nghiệp được quản lý chặt chẽ như thiết bị y tế, đầu ra thiết kế cuối cùng trở thành cơ sở cho hồ sơ chính của thiết bị, đó là lý do tại sao thuật ngữ kiểm soát thiết kế xuất hiện rất thường xuyên trong tài liệu xác minh.

Trên thực tế, quá trình xác minh so sánh hai bộ tài liệu: các thông số kỹ thuật, tiêu chuẩn và ràng buộc đầu vào, với các bản vẽ, mã nguồn và hướng dẫn kiểm thử đầu ra. Bất kỳ sự không khớp nào giữa chúng đều là một phát hiện cần xác minh.

Xác thực thiết kế

Kiểm chứng chứng minh tính nhất quán nội bộ. Thẩm định đặt ra câu hỏi khó hơn: liệu bản đặc tả có mô tả đúng sản phẩm ngay từ đầu hay không.

Xác thực thiết kế Kiểm định thiết kế là một quá trình đánh giá sản phẩm phần mềm dựa trên các yêu cầu chính xác của người dùng cuối hoặc các bên liên quan. Mục đích của kiểm định thiết kế là để kiểm tra sản phẩm phần mềm sau khi phát triển nhằm xác nhận rằng nó đáp ứng các yêu cầu đó khi được sử dụng trong môi trường của người dùng.

Quá trình xác thực liên quan đến việc chứng minh tính nhất quán và đầy đủ của thiết kế so với nhu cầu của người dùng. Đây là giai đoạn bạn thực sự xây dựng một phiên bản của sản phẩm và xác thực nó dựa trên các yêu cầu của người dùng.

Biểu ngữ bên dưới mô tả hai phần của hoạt động như thường được trình bày trong hồ sơ thiết kế.

Sơ đồ dưới đây minh họa quy trình xác thực thiết kế, từ nhu cầu người dùng cho đến sản phẩm đã được xác thực.

Mục đích là để chứng minh bằng chứng cứ khách quan rằng sản phẩm đáp ứng được các nhu cầu đã được ghi nhận của người dùng. Chứng cứ khách quan đơn giản là bằng chứng vật lý về kết quả đầu ra — một hình ảnh, một tệp văn bản, một tệp âm thanh hoặc một báo cáo có chữ ký — cho thấy quy trình đã thực sự được thực hiện.

Thông qua bằng chứng khách quan đó, quy trình này liên tục kiểm tra xem sản phẩm có đáp ứng các yêu cầu đã được xác định trước hay không. Nó bao gồm các hoạt động thử nghiệm, kiểm tra, phân tích và các kỹ thuật tương tự, đó là lý do tại sao quá trình thẩm định thường dựa trên... Thử nghiệm hệ thống và kiểm tra sự chấp nhận của người dùng thay vì kiểm tra ở cấp đơn vị.

Sự khác biệt giữa Xác minh và Xác thực Thiết kế

Luôn có những hiểu lầm giữa xác minh và thẩm định. Chúng là hai hoạt động khác nhau, và cả hai đều được thực hiện ở mọi giai đoạn của quá trình phát triển chứ không chỉ ở một mốc quan trọng duy nhất.

Một lối tắt hữu ích: việc xác minh chủ yếu là công việc tĩnh so sánh với tài liệu, trong khi xác thực chủ yếu là thử nghiệm động chống lại một lối chơi tấn công dồn dập.

Quy trình xác minh thiết kế

Quá trình xác minh diễn ra qua năm giai đoạn, và mỗi giai đoạn tạo ra một sản phẩm mà giai đoạn tiếp theo phụ thuộc vào.

Nhận dạng và chuẩn bị:

• Trong quá trình xây dựng bản đặc tả kỹ thuật, hoạt động kiểm chứng được xác định song song. Điều này cho phép người thiết kế đảm bảo bản đặc tả kỹ thuật thực sự có thể kiểm chứng được, để kỹ sư kiểm thử có thể bắt đầu lập kế hoạch và quy trình kiểm thử chi tiết. Bất kỳ thay đổi nào đối với bản đặc tả kỹ thuật đều phải được thông báo.
• Xác định phương pháp tiếp cận tốt nhất để tiến hành xác minh và định nghĩa các phương pháp đo lường, nguồn lực, công cụ và thiết bị cần thiết.
• Kế hoạch thẩm định đã hoàn thiện sẽ được xem xét lại với nhóm thiết kế để phát hiện các vấn đề trước khi kế hoạch được hoàn thiện.

Lập kế hoạch:

• Lập kế hoạch xác minh là một hoạt động song song giữa nhóm cốt lõi và nhóm phát triển. Hoạt động này diễn ra xuyên suốt vòng đời dự án và được cập nhật bất cứ khi nào các thông số thiết kế thay đổi.
• Trong giai đoạn này, phần mềm hoặc hệ thống cần kiểm thử được ghi lại trong phạm vi kiểm thử.
• Một kế hoạch thử nghiệm sơ bộ được lập ra và sau đó được tinh chỉnh. Kế hoạch này ghi lại các mốc quan trọng giúp giảm thiểu rủi ro dự án.
• Các công cụ, môi trường thử nghiệm và chiến lược phát triển được lựa chọn, và các yêu cầu cần được xác nhận thông qua kiểm tra hoặc phân tích được xác định.

phát triểnping:

• Kiểm tra trường hợp sự phát triển trùng khớp với Phương pháp SDLC Nhóm dự án đã triển khai nhiều phương pháp thử nghiệm khác nhau. Ở giai đoạn này, nhiều phương pháp thử nghiệm đã được xác định.
• Các yếu tố đầu vào thiết kế phải được phát triển sao cho ngay cả các hoạt động kiểm chứng đơn giản nhất cũng phải rõ ràng và có thể kiểm chứng được.
• Thời gian xác minh được rút ngắn khi các khái niệm tương tự được xác minh theo trình tự, bởi vì kết quả của một bài kiểm tra có thể được sử dụng lại làm đầu vào cho bài kiểm tra tiếp theo.
• TracCác liên kết khả thi được tạo ra giữa các trường hợp thử nghiệm và các đầu vào thiết kế tương ứng của chúng, để đảm bảo rằng mọi yêu cầu đều được kiểm tra và đầu ra thiết kế đáp ứng các đầu vào thiết kế.

Chấp hành:

• Các quy trình kiểm thử được tạo ra trong giai đoạn phát triển được thực hiện theo kế hoạch kiểm thử và tuân thủ nghiêm ngặt trong suốt hoạt động xác minh.
• Nếu xảy ra kết quả không hợp lệ, hoặc nếu cần sửa đổi bất kỳ quy trình nào, những thay đổi đó phải được ghi lại và phê duyệt chính thức.
• Mọi vấn đề được phát hiện sẽ được ghi nhận là lỗi thông qua quy trình thông thường. quy trình quản lý khuyết tật.
• A tracma trận khả năng Công cụ này được tạo ra để xác minh rằng mọi thông số đầu vào thiết kế được xác định trong kế hoạch kiểm thử xác thực đã được kiểm tra và để xác định tỷ lệ đạt yêu cầu.

Báo cáo:

• Hoạt động này được thực hiện vào cuối mỗi giai đoạn thực hiện xác minh.
• Báo cáo xác nhận thiết kế cung cấp bản tóm tắt chi tiết về kết quả xác nhận, bao gồm quản lý cấu hình, kết quả cho từng loại thử nghiệm và các vấn đề được phát hiện trong quá trình xác nhận.
• Xác minh thiết kế tracBáo cáo khả thi được tạo ra dựa trên sự tương quan giữa các yêu cầu và kết quả kiểm thử tương ứng, nhằm xác nhận rằng tất cả các yêu cầu đã được kiểm thử và các kết quả phù hợp đã được ghi nhận.
• Mọi sự không phù hợp đều được ghi nhận và xử lý thích đáng.
• RevViệc đánh giá được thực hiện sau khi hoàn thành hoạt động xác minh thiết kế và các kết quả đầu ra được phê duyệt chính thức.

Quy trình xác nhận thiết kế

Quá trình thẩm định không có trình tự cố định nào. Thay vào đó, nó dựa trên một tập hợp nhỏ các phương pháp được chấp nhận, và một dự án thường sử dụng nhiều hơn một trong số đó.

• So sánh với các thiết kế tương đương. Một số thiết kế có thể được xác thực bằng cách so sánh chúng với các thiết bị tương tự phục vụ cùng mục đích. Điều này đặc biệt quan trọng khi xác thực các thay đổi cấu hình đối với cơ sở hạ tầng hiện có, hoặc các thiết kế tiêu chuẩn đang được tích hợp vào một hệ thống hoặc ứng dụng mới.
• Trình diễn và kiểm tra. Một trong hai, hoặc cả hai, đều có thể được sử dụng để xác thực các yêu cầu và chức năng khác của sản phẩm.
• Phân tích. Thiết kế có thể được phân tích thông qua mô hình toán học hoặc mô phỏng tái tạo chức năng cần thiết.
• Kiểm tra. Các bài kiểm tra được thực hiện trên thiết kế cuối cùng để xác nhận khả năng hoạt động của hệ thống theo đúng thông số kỹ thuật, đó là nơi mà... thử nghiệm chức năng và kiểm thử phi chức năng Đáp ứng yêu cầu của người dùng.
• Tài liệu. Kế hoạch thử nghiệm, quá trình thực hiện và kết quả cần được ghi chép và lưu giữ như một phần của hồ sơ thiết kế. Cuối cùng, quá trình thẩm định chính là tập hợp các kết quả thu thập được từ tất cả các hoạt động thẩm định.
• Lý giải tương đương. Khi sử dụng các sản phẩm tương đương trong quá trình xác nhận thiết kế cuối cùng, nhà sản xuất phải ghi lại sự tương đồng và bất kỳ sự khác biệt nào so với sản phẩm ban đầu.

Ví dụ

Một ví dụ ngắn gọn sẽ làm rõ sự khác biệt này.

• Hãy lấy một sản phẩm đơn giản làm ví dụ: một chiếc đồng hồ chống nước.
• Tài liệu yêu cầu sản phẩm có thể nêu rõ rằng “đồng hồ phải chống nước khi bơi”. Đó là nhu cầu của người dùng, và đó là tiêu chí để đánh giá quá trình thẩm định.
• Bản đặc tả thiết kế có thể nêu rõ rằng “đồng hồ phải hoạt động ngay cả khi người dùng bơi trong thời gian dài”. Đó là thông tin đầu vào thiết kế, và đó là tiêu chí để đánh giá quá trình kiểm định.
• Kết quả thử nghiệm phải xác nhận rằng đồng hồ đáp ứng các yêu cầu này. Nếu không, quá trình thiết kế lại sẽ tiếp tục cho đến khi đạt được yêu cầu.

Hãy lưu ý cách một chiếc đồng hồ có thể vượt qua quá trình xác minh nhưng vẫn không vượt qua được quá trình kiểm định. Nếu đặc tả kỹ thuật định nghĩa một cuộc bơi kéo dài là mười lăm phút và người bơi thực tế ở trong nước trong một giờ, thì đầu ra của thiết kế khớp hoàn hảo với đầu vào nhưng vẫn không đáp ứng được yêu cầu của người dùng.

Ưu điểm của việc xác nhận và xác minh thiết kế

Việc thực hiện cả hai hoạt động liên tục, thay vì chỉ thực hiện một bước duy nhất ở cuối, sẽ mang lại những lợi ích được nêu dưới đây.

• Quá trình thiết kế có thể được giám sát liên tục, giúp đáp ứng các yêu cầu do người dùng đặt ra ở mọi giai đoạn.
• Việc thẩm định thiết kế giúp chỉ ra sự khác biệt giữa cách chức năng hoạt động thực tế và cách chức năng đó được kỳ vọng.
• Việc ghi chép lại các quy trình kiểm định giúp dễ dàng hiểu được chức năng đó sau này, bất cứ khi nào có sự thay đổi hoặc cải tiến.
• Thời gian phát triển được rút ngắn đáng kể và năng suất được cải thiện, giúp sản phẩm được bàn giao đúng như kỳ vọng.
• Quy trình này xác định phạm vi và giới hạn của từng phương pháp kiểm định cần được áp dụng.
• Quá trình xác thực có thể được thực hiện bằng cách sử dụng dữ liệu thiết kế chi tiết, thể hiện các yêu cầu của người dùng cuối.
• Mọi sự khác biệt giữa kết quả và tài liệu yêu cầu của người dùng đều được ghi nhận chứ không bị bỏ sót.
• Những thay đổi đối với thiết kế đã được xác nhận sẽ kích hoạt hoạt động xác nhận lại, do đó hồ sơ sẽ không bao giờ bị lệch khỏi sản phẩm.
• Việc ghi chép lại mọi hoạt động diễn ra trong quá trình thẩm định là điều chứng minh đầy đủ rằng thiết kế đáp ứng các yêu cầu của người dùng.

Do đó, việc xác minh và thẩm định thiết kế nên được lên kế hoạch trong phạm vi rộng hơn. vòng đời kiểm thử phần mềm và được đối chiếu với các yếu tố khác. các loại kiểm thử phần mềmthay vì được coi là một bài tập tuân thủ riêng biệt.

Câu Hỏi Thường Gặp