phiờn bản cú thể được kiểm định với cựng dữ liệu kiểm định để đảm bảo rằng tất cả cỏc cung cấp đầu ra y như nhau. Sau đú, tất cả cỏc phiờn bản được thực thi song song với so sỏnh thời gian thực cỏc kết quả để đảm bảo tớnh chắc chắn. Cỏc phiờn bản độc lập là cơ sở của kỹ thuật kiểm định hộp đen được gọi là kiểm định so sỏnh.
Kiểm định so sỏnh cũng cũn được gọi là kiểm định dựa vào nhau, cỏc bước thực hiện như sau:
- Thực thi nhiều bản khỏc nhau cho cựng một đặc tả.
- Thực hiện cỏc kỹ thuật hộp đen với cỏc sản phẩm đú cho cựng cỏc ca kiểm định và cựng cỏc dữ liệu vào.
- So sỏnh cỏc kết quả thu được: nếu cú khỏc biệt thỡ chứng tỏ cú sai trong một sản phẩm nào đú.
Khi nhiều cài đặt của cựng một đặc tả được đưa ra, cỏc trường hợp kiểm định thiết kế sử dụng cỏc kỹ thuật hộp đen khỏc (như phõn hoạch tương đương chẳng hạn) được cung cấp như đầu vào cho mỗi phiờn bản của phần mềm. Nếu đầu ra của mỗi phiờn bản là như nhau, sẽ cho rằng tất cả cỏc cài đặt là đỳng. Nếu đầu ra là khỏc nhau, mỗi ứng dụng được nghiờn cứu để xỏc định cú sai sút nào trong một hoặc nhiều phiờn bản là nguyờn nhõn gõy lỗi. Trong nhiều trường hợp, so sỏnh cỏc đầu ra cú thể được thực hiện bởi cỏc cụng cụ tự động.
Như thế, kiểm định so sỏnh là khụng rừ ràng. Nếu đặc tả mà tất cả cỏc phiờn bản được phỏt triển trờn đú là cú lỗi, thỡ tất cả cỏc phiờn bản sẽ cú khả năng dẫn đến lỗi. Hơn nữa, nếu mỗi phiờn bản độc lập tạo ra giống nhau, nhưng khụng đỳng thỡ cỏc kết quả kiểm định sẽ thất bại trong việc phỏt hiện lỗi.
2.2. THIẾT KẾ CÁC GIAI ĐOẠN KIỂM ĐỊNH PHẦN MỀM THEO TIẾP CẬN HỘP ĐEN
2.2.1. Một số chiến lƣợc kiểm định phần mềm
Chiến lược kiểm định phần mềm là tớch hợp cỏc bước thiết kế trường hợp kiểm định thành một loạt cỏc bước được hoạch định sẵn [6, 7, 8, 14, 19, 20].
Việc phỏt triển phần mềm, đi vào dọc theo đường xoỏy ốc, giảm dần cỏc mức trừu tượng trờn mỗi vũng, gồm cỏc bước sau đõy:
Cụng nghệ hệ thống Phõn tớch yờu cầu Thiết kế Mó hoỏ.
Chiến lược kiểm định phần mềm cũng cú thể di chuyển dọc theo đường xoỏy ốc và đi ra theo đường xoỏy ốc theo luồng mở rộng phạm vi kiểm định trờn mỗi vũng, tức theo thứ tự ngược lại, tương ứng như sau:
Kiểm định hệ thốngKiểm định tớnh hợp lệKiểm định tớch hợpKiểm định đơn vị.