Trong phần này, có ba khái niệm chính liên quan trong cách tiếp cận đã được mô tả chi tiết. Mỗi khái niệm tương ứng với một bước làm mô hình xác định, như trong Hình 23.
Hình 23: Mô hình hóa các vùng trong thiết kế phần mềm
Cách tiếp cận được mô tả trong tài liệu này tập trung vào việc hệ thống hóa hoặc thậm chí tự động hóa các bước đã được chỉ ra trong quá trình để thực hiện được sự mở rộng một cách tối đa. (việc phát hiện lỗi được thiết lập trong phần ngoặc đơn bởi vì kiểm thử sử dụng thống kê tập trung vào các thước đo tin cậy và có thể xác định chỉ các lỗi kém).
3.2.2.2.Các mô hình sử dụng và kiểm tra cách sử dụng thống kê
Kiểm tra cách sử dụng thống kê là một kỹ thuật mức độ hệ thống cho việc biết chắc chắn rằng các sản phẩm phần mềm đáp ứng một mức độ nhất định của sự tin cậy[6]. Điều này và các hoạt động đánh giá khác cho phép các biện pháp thứ hai được xác định, chẳng hạn sự sẵn sàng của phần mềm và, thậm chí, một quyết định ít rủi ro trên việc phân phát phần mềm cho khách hàng.
Kiểm tra cách sử dụng thống kê được dựa trên ý tưởng mà các phần khác nhau của một chương trình không cần được test kỹ lưỡng giống như vậy. Có một nguyên tắc nổi tiếng là 90-10 mà bắt đầu rằng phần mềm tiêu biểu dùng 90% thời gian thực hiện và 10% của việc mã hóa. Điều này có nghĩa là, những phần chia khác nhau của phần mềm được thực hiện với một tần suất cao hơn những phần chia khác. Kiểm tra cách sử dụng thống kê hướng tới xác định những phần chia này và điều chỉnh bộ test theo, buộc các phần đã được thực hiện thường xuyên hơn để test kỹ lưỡng hơn.
Bởi vì số lượng của Test case một hệ thống có thể tới là vô hạn, các kỹ thuật mẫu được yêu cầu để lựa chọn một tập hợp phù hợp của các Test case. Một kỹ thuật mẫu thông thường trong ngữ cảnh của statistic usage testing là một sự phân tích cách sử dụng và mô hình cách sử dụng. Mô hình cách sử dụng xác định hiện trạng cách sử dụng như cái gọi là các mô hình cách sử dụng.
Mô hình sử dụng (Usage models): “Một ‘usage model’ là tiêu biểu cho việc sử dụng toán tử của một hệ thống phần mềm. ‘operational use’ là sự sử dụng được mong đợi của phần mềm trong môi trường được mong đợi”. Usage models sử dụng cái gọi là các hiện trạng sử dụng để mô tả làm thế nào một hệ thống phần mềm có thể được sử
dụng bởi những người sử dụng khác nhau và sự sử dụng có thể khác nhau thế nào. Chúng được dựa trên các đặc tả sử dụng và các chức năng cho phần mềm. Thông tin này có thể có được thậm chí trước khi sự thực hiện được bắt đầu. Kết quả là, các nỗ lực cho sự phát triển phần mềm và mô hình hóa cách sử dụng trở nên độc lập, do đó cho phép lập kế hoạch test để xuất hiện song song với hoặc thậm chí ưu tiên tới sự phát triển phần mềm, giảm bớt thời gian phát triển toàn diện và cung cấp thêm các thông tin cho người phát triển.
Hình 24. Các hoạt động của cách tiếp cận được đề xuất bên trong quá trình phát triển phần mềm.
Trong hình các chuỗi có một khởi đầu duy nhất và một trạng thái cuối cùng duy nhất miêu tả sự kết thúc và sự dẫn chứng của phần mềm. Các trạng thái khởi đầu giống với các trạng thái cách sử dụng được liên hệ với nhau bằng các chuyển tiếp (hình dung theo một hướng duy nhất trong một miêu tả đồ họa). Thuộc tính đòi hỏi sự độc lập của trạng thái kế tiếp tử tất cả các trạng thái trước đó đã đưa trạng thái hiện tại.
Một khi cấu trúc của mô hình cách sử dụng đã được xác định, các khả năng có thể được gán tới tất cả của các chuyển tiếp, được dựa trên sự sử dụng được mong đợi của phần mềm. Các khả năng có thể của tất cả các chuyển tiếp đưa đến việc mất đi một trạng thái cần thêm vào.
Thông thường có một số loại người dùng (trong các biểu đồ use case UML, những người này được mô tả như các tác nhân) một hệ thống có thể tương tác với, và thậm chí một vài loại phụ mỗi loại riêng của người sử dụng được xác định bởi tiêu chuẩn thứ yếu, chẳng hạn như kinh nghiệm. Một hiện trạng cách sử dụng đơn lẻ tiêu
biểu sẽ không đủ để giải thích các kết quả khác biệt. Thay vào đó, một vài mô hình cách sử dụng khác biệt sẽ được tạo ra.