Chƣơng 4– Tìm hiểu công cụ TestComplete
4.9 Nghiên cứu kỹ thuật kiểm chứng thiết kế
4.9.1
(Design checking)
.
.
Hầu hết các đặc tả mô tả đối tượng vô tận, vì vậy không gian trạng thái của chúng là vô hạn. Thậm chí ngay cả khi không gian trạng thái là hữu hạn, nó thường quá lớn để có thể kiểm chứng mô hình trực tiếp. Vì vậy, thay vì đó chúng ta sẽ xây dựng một mô hình trừu tượng trong đó một số lượng nhỏ của các mô hình trừu tượng sẽ đại diện cho một tập lớn (có thể vô hạn) của các mô hình cụ thể. Nếu sự trừu tượng có các tính chất nhất định, các kết quả thu được từ việc kiểm tra mô hình trừu tượng cũng là hợp lý cho mô hình cụ thể.
Với mỗi tập đầy đủ , ta xác định một hàm ánh xạ các giá trị của tập đầy đủ với giá trị trong tập trừu tượng hóa
:
Ví dụ: miền Int có thể được trừu tượng hóa thành miền Int* thông qua hàm ánh xạ
Những hàm này tạo ra ánh xạ trên các đối tượng phức hợp và do đó định nghĩa một hàm ánh xạ đơn trên toàn bộ miền giá trị.
Ví dụ, tập các số nguyên sẽ được ánh xạ với tập
4.9.2 Ki 9
Cơ sở của việc sử dụng kỹ thuật này
Việc thực hiện kiểm chứng thiết kế trong quá trình tạo ra sản phẩm phần mềm đặc biệt là những phần mềm phức tạp sẽ giúp làm tăng hiệu quả kinh tế nhờ việc phát hiện lỗi sớm – ngay từ bước thiết kế phần mềm sẽ rút ngắn thời gian và chi phí hoàn thành sản phẩm, đảm bảo tính tin cậy, an toàn của hệ thống được làm ra. Tuy nhiên, thiết kế thường không ở dạng chương trình có thể cài đăt và chạy được. Chính vì vậy, để có thể kiểm chứng thiết kế bằng công cụ TestComplete 9 ta sẽ thực hiện việc chuyển thiết kế thành mô hình /chương trình chạy được, sau đó sử dụng công cụ kiểm thử này để kiểm thử vét cạn chương trình đó.
:
- Bước 1: Chọn nhánh thiết kế cần kiểm chứng.
- Bước 2: Chuyển thiết kế sang mô hình trừu tượng (chẳng hạn dưới dạng máy hữu hạn trạng thái)
- Bước 3: Tạo giả chương trình mô phỏng hoạt động của máy hữu hạn trạng thái trong bước 2 gồm:
o Tập hữu hạn trạng thái.
o Các hàm chuyển trạng thái.
- Bước 4: Vét cạn các kịch bản kiểm thử giả chương trình bằng ngôn ngữ script của TestComplete 9