Kiểm tra lỗi phần mềm dễ dàng bằng kỹ thuật phân loại, truy tìm lỗi mục tiêu

Tiến sĩ Đại học Công nghệ Eindhoven, Thomas Neele đã phát triển kỹ thuật mới để kiểm tra lỗi phần mềm một cách thông minh hơn, nhanh hơn và chuẩn xác hơn, đáp ứng xu hướng phát triển công nghệ trong tương lai.

Ai cũng biết, máy tính và phần mềm là những khái niệm gắn bó với nhau và chúng cũng quan trọng hơn bao giờ hết. Trong các hệ thống như ô tô, máy bay và thiết bị y tế, điều quan trọng là phải triển khai phần mềm an toàn để không thể xảy ra bất kỳ lỗi phần mềm nào. Nếu không, nó sẽ để lại nhiều hậu quả nghiêm trọng.

Chính vì vậy, Tiến sĩ Đại học Công nghệ Eindhoven Thomas Neele đã phát triển một kỹ thuật mới để kiểm tra lỗi phần mềm một cách thông minh hơn và nhanh hơn dựa trên phương pháp kiểm tra mô hình.

Được biết, kiểm tra mô hình là một trong những kỹ thuật nghiêm ngặt nhất để kiểm tra phần mềm. Nó xem xét tất cả những thứ mà một hệ thống phần mềm có thể có, vận hành hay các trạng thái vận hành hiện tại của phần mềm.

Tuy nhiên, có một thách thức đó là phần mềm thường bao gồm nhiều cơ chế hoạt động song song. Điều đó có thể gây ra sự bùng nổ về số lượng các trạng thái phần mềm cần được kiểm tra, làm cho việc kiểm tra mô hình trở nên tốn kém và thậm chí có thể không thể quản lý được. Chính vì thế, Neele đã khám phá ra một cách mới để giải quyết vấn đề này, bằng cách giảm số lượng trạng thái cần được kiểm tra trong các phần mềm thiết bị công nghệ.

Nói một cách rõ hơn, kỹ thuật giảm thiểu mà Neele phát triển có một điểm chung: chúng coi trọng yêu cầu của các trạng thái phần mềm. Nghĩa là kỹ thuật mới giúp nhận diện các cơ chế, trạng thái phần mềm nào không cần kiểm tra, có thể dễ dàng bỏ qua để tập trung tìm kiếm các lỗi phần mềm mục tiêu.

Kỹ thuật này vận hành trên cơ chế nhóm các trạng thái vận hành “không lỗi” trên phần mềm lại với nhau. Sau đó, họ sẽ kiểm tra xem các phần tử dữ liệu nhất định còn lại trong phần mềm xem chúng có liên quan tới lỗi hay không, từ đó sẽ loại bỏ chúng ra khỏi trường hợp “lỗi mục tiêu” nếu không có. Sau khi loại trừ, việc tìm kiếm các lỗi trọng tâm trong phần mềm sẽ dễ dàng hơn rất nhiều.

Chính vì thế, trong tương lai những ý tưởng này sẽ giúp nâng cao độ bảo mật, an toàn, chính xác cho các phần mềm công nghệ, giúp giảm chi phí phát triển phần mềm. Từ đó mà dịch vụ chăm sóc sức khỏe, vận tải theo hướng công nghệ cao sẽ phát triển vượt bậc, an toàn, có độ bảo mật cao, giảm chi phí bảo trì sửa chữa, có giá cả phải chăng hơn và do đó mọi người dễ tiếp cận hơn.

Hơn nữa, các kỹ thuật của Neele có thể giúp loại bỏ các lỗi phần mềm nguy hiểm từ các hệ thống như máy bay. Hiện tại, việc áp dụng các ý tưởng của Neele đòi hỏi rất nhiều chuyên môn, kỹ thuật để thử nghiệm nguyên mẫu trên thực tế, và cũng cần thêm một thời gian để biến tất cả thành sự thật.

Theo Techxplore