Để xây dựng ITG, chúng ta cần các kiểu SATAN, là các đồ thị truyền tin cơ sở của các toán tử. Để xây dựng ITN, chúng ta cần các mô tả hệ số mất mát thông tin của mỗi toán tử. Thư viện In-Mac định nghĩa các kiểu SATAN và hệ số mất mát thông tin tương ứng của mỗi toán tử cơ bản được sử dụng để phát triển phần mềm.
66
Kiểu SATAN
Kiểu SATAN của một toán tử mô hình hóa luồng dữ liệu của toán tử đó. Các kiểu SATAN được mô tả bởi ngôn ngữ In-Mac. Chi tiết về ngôn ngữ In- Mac được trình bày trong Phụ lục II. Các kiểu SATAN được chứa trong thư viện In-Mac. Thư viện này sẽ được sử dụng để tạo ra ITN cho một thiết kế luồng dữ liệu của hệ thống phần mềm cần phân tích.
Một mô tả kiểu SATAN chứa các thông tin sau: − Tên của kiểu SATAN ứng với tên của toán tử; − Các đầu vào của toán tử;
− Các đầu ra của toán tử;
− Mô hình mô tả sự truyền tin trong toán tử.
Đối với mỗi môi trường phát triển, chúng ta cần xây dựng một thư viện các kiểu SATAN tương ứng. Các toán tử của môi trường phát triển có thể được chia làm hai nhóm:
− Các toán tử cơ bản: gồm các toán tử số học, toán tử lô-gíc, toán tử quan hệ…
− Các toán tử phức tạp được thiết kế bởi người sử dụng, như các hệ thống con.
Có hai loại kiểu SATAN: kiểu SATAN đơn giản và kiểu SATAN chi tiết. Kiểu SATAN đơn giản là một sự mô hình hóa đơn giản luồng dữ liệu của một toán tử: toán tử được xem là một hộp đen. Ngược lại, đối với một số toán tử, đôi khi cần thiết mô hình hóa chi tiết luồng dữ liệu của chúng. Sự mô hình hóa chi tiết như thế cho phép phân tích chính xác hơn tính khả kiểm thử của hệ thống.
67
Tính toán hệ số mất mát thông tin
Đối với các kiểu SATAN đơn giản của toán tử, mỗi đầu ra của toán tử được tạo ra chỉ bởi một mô-đun chức năng. Như thế, hệ số mất mát thông tin của mô-đun chức năng được tính toán từ đầu ra tương ứng. Đối với các kiểu SATAN chi tiết của toán tử, mỗi đầu ra của toán tử có thể được tạo ra bởi nhiều mô-đun chức năng. Hệ số mất mát thông tin của một mô-đun chức năng không còn được tính toán từ đầu ra của toán tử, bởi vì một giá trị ởđầu ra của toán tử không thể cho biết mô-đun nào đã tạo ra nó. Phương pháp tính toán hệ số mất mát thông tin đã được trình bày trong mục 2.5.
Xây dựng mạng truyền tin cơ sở
Việc sử dụng một toán tử có thể khác nhau do các kiểu dữ liệu của các đầu vào/đầu ra. Chẳng hạn, đối với toán tử SUM, cộng hai số nguyên khác với cộng hai số thực. Mỗi mạng truyền tin (ITN) cơ sở gồm tên toán tử, các đầu vào với kiểu dữ liệu của chúng và các đầu ra với kiểu dữ liệu của chúng. Các kiểu dữ liệu cho phép tính toán khả năng thông tin của các đầu vào và đầu ra. Một hoặc nhiều ITN cơ sở được xây dựng tương ứng với một kiểu SATAN, nghĩa là mỗi ITN cơ sở là một trường hợp sử dụng của một toán tử (tương ứng với kiểu dữ liệu được sử dụng). Cú pháp của ngôn ngữ In-Mac dùng để mô tả ITN được trình bày trong Phụ lục II.
Thư viện kiểu SATAN và ITN cơ sở
Thư viện In-Mac chứa các kiểu SATAN và các ITN cơ sở tương ứng với mỗi kiểu SATAN. Thư viện In-Mac được xây dựng như sau:
− Trước hết, thư viện các toán tử của môi trường phát triển được xem xét để xây dựng thư viện In-Mac. Đối với mỗi toán tử, cần xem xét sự hoạt động và sử dụng của nó để mô hình hoá luồng
68
dữ liệu của toán tử nhằm xây dựng kiểu SATAN. Cần tính toán các khả năng đầu vào/đầu ra và các hệ số mất mát thông tin của các mô-đun chức năng của toán tử nhằm xây dựng ITN cơ sở. − Sau đó, trong khi phân tích tính khả kiểm thử, nếu hệ thống phần
mềm có chứa các toán tử mới, mà không tồn tại trong thư viện In-Mac, thì thư viện sẽ được bổ sung kiểu SATAN đơn giản và ITN cơ sở của các toán tử đó.