Xác thực đo lường phần mềm
Xác thực phép đo của hệ thống phần mềm bao gồm hai bước:
- Xác thực hệ thống đo lường
- Xác thực hệ thống dự đoán
Xác thực hệ thống đo lường
Các biện pháp hoặc hệ thống đo lường được sử dụng để đánh giá một thực thể hiện có bằng cách mô tả số lượng một hoặc nhiều thuộc tính của nó. Một phép đo là hợp lệ nếu nó mô tả chính xác thuộc tính mà nó tuyên bố để đo lường.
Xác thực hệ thống đo lường phần mềm là quá trình đảm bảo rằng phép đo là một đặc tính số thích hợp của thuộc tính được xác nhận quyền sở hữu bằng cách chỉ ra rằng điều kiện biểu diễn được thỏa mãn.
Để xác thực hệ thống đo lường, chúng ta cần cả một mô hình chính thức mô tả các thực thể và một ánh xạ số để bảo toàn thuộc tính mà chúng ta đang đo lường. Ví dụ: nếu có hai chương trình P1 và P2 và chúng tôi muốn nối các chương trình đó, thì chúng tôi hy vọng rằng bất kỳ biện pháp nàom chiều dài để đáp ứng điều đó,
m (P1 + P2) = m (P1) + m (P2)
Nếu một chương trình P1 có độ dài hơn chương trình P2, sau đó bất kỳ biện pháp nào m cũng nên thỏa mãn,
m (P1)> m (P2)
Độ dài của chương trình có thể được đo bằng cách đếm các dòng mã. Nếu số đếm này thỏa mãn các mối quan hệ trên, chúng ta có thể nói rằng các dòng mã là một thước đo độ dài hợp lệ.
Yêu cầu chính thức để xác nhận một phép đo bao gồm việc chứng minh rằng nó đặc trưng cho thuộc tính đã nêu theo nghĩa lý thuyết đo lường. Việc xác thực có thể được sử dụng để đảm bảo rằng các thước đo được xác định đúng cách và phù hợp với hành vi trong thế giới thực của thực thể.
Xác thực các Hệ thống Dự đoán
Hệ thống dự đoán được sử dụng để dự đoán một số thuộc tính của thực thể trong tương lai liên quan đến mô hình toán học với các thủ tục dự đoán liên quan.
Xác thực hệ thống dự đoán trong một môi trường nhất định là quá trình thiết lập độ chính xác của hệ thống dự đoán bằng phương pháp thực nghiệm, tức là bằng cách so sánh hiệu suất của mô hình với dữ liệu đã biết trong môi trường nhất định. Nó liên quan đến thử nghiệm và kiểm tra giả thuyết.
Mức độ chính xác có thể chấp nhận được để xác thực phụ thuộc vào việc hệ thống dự đoán là xác định hay ngẫu nhiên cũng như người thực hiện đánh giá. Một số hệ thống dự đoán ngẫu nhiên phức tạp hơn những hệ thống khác.
Ví dụ về hệ thống dự đoán ngẫu nhiên là các hệ thống như ước tính chi phí phần mềm, ước tính nỗ lực, ước tính lịch trình, v.v. Do đó, để xác thực chính thức hệ thống dự đoán, chúng ta phải quyết định xem nó là ngẫu nhiên như thế nào, sau đó so sánh hiệu suất của hệ thống dự đoán với dữ liệu đã biết.