Công cụ hỗ trợ SMERFS

Một phần của tài liệu Phương pháp dựa trên giá trị phân tích chất lượng phần mềm nghiên cứu,thử nghiệm đánh giá độ tin cậy phần mềm (Trang 55 - 56)

SMERFS là một công cụ để mô hình hóa độ tin cậy phần mềm. Công cụ này là công cụ cung cấp sự linh hoạt trong thu thập dữ liệu và cung cấp các mô hình miền thời gian (time-domain) (Littlewood và Verrall, Musa thời gian thực hiện cơ bản, Musa/Okumoto logarit Poisson,...) và mô hình khoảng thời gian (interval-domain) (Brooks và Motley, Yamada , ...). Điều này làm cho nó hữu ích cho các nhà tạo mô hình, những ngƣời không sẵn sàng giải quyết quá trình gỡ lỗi phần mềm của họ dựa vào một mô hình duy nhất.

SMERFS 3 vừa triển khai một khái niệm cơ sở dữ liệu để nhập dữ liệu và cho phép đầu vào tập tin của dữ liệu ở dạng ASCII. Trong đầu vào cơ sở dữ liệu, ngƣời dùng nhập vào dữ liệu lỗi bằng cách sử dụng mô-đun nhập liệu của SMERFS. Ngƣời sử dụng không cần biết hoặc hiểu định dạng của tập tin đầu vào, mặc dù nó có thể tốn nhiều thời gian. SMERFS cho phép các nhà phân tích lựa chọn phƣơng pháp mô hình ƣớc lƣợng tham số: một trong hai khả năng tối đa (maximum likelihood) hoặc bình phƣơng tối thiểu (least square). SMERFS cũng cung cấp các số liệu thống kê cơ bản đƣợc tính từ dữ liệu và khả năng phân tích các đầu ra từ phân tích mô hình.

SMERFS cho phép ngƣời dùng nhập dữ liệu, chỉnh sửa và chuyển đổi dữ liệu, xác định sự phù hợp của mô hình bằng cách sử dụng các kỹ thuật thống kê và đồ họa, đƣa ra dự đoán độ tin cậy khác nhau dựa trên mô hình đƣợc trang bị, và cố gắng thử các mô hình khác nhau nếu mô hình ban đầu chứng minh không đầy đủ. Trong số các chỉ số về độ tin cậy khác nhau đƣợc cung cấp bởi các mô hình khác

nhau nhƣ: dự kiến thời gian tiếp theo thất bại xảy ra, ƣớc tính độ tin cậy trong một thời gian hoạt động quy định, số lƣợng các lỗi còn lại trong phần mềm, một ƣớc tính thời gian cần để kích hoạt những lỗi còn lại, và số lƣợng dự kiến sẽ lỗi trong các phiên làm việc tiếp theo của một thời gian nhất định.

Cài đặt

Để cài đặt hệ thống, máy tính cần chạy hệ điều hành Window (XP, 7) Vào địa chỉ sau để download bộ cài chƣơng trình (file .exe):

http://www.slingcode.com/smerfs/downloads/

Một phần của tài liệu Phương pháp dựa trên giá trị phân tích chất lượng phần mềm nghiên cứu,thử nghiệm đánh giá độ tin cậy phần mềm (Trang 55 - 56)

Tải bản đầy đủ (PDF)

(76 trang)