Bài viết sưu tầm

A.  Sinh dữ liệu thử tự động

Hầu hết các nghiên cứu về kiểm thử đột biến quan tâm đến vấn đề xây dựng đột biến và kiểm soát vấn đề chi phí từ số lượng lớn các đột biến, vấn đề không chắc chắn được lấy từ sự chưa xác định của chương trình tương đương Có một số nghiên cứu về kỹ thuật tạo dữ liệu thử để diệt đột biến bằng cách sử dụng kiểm thử đột biến và kỹ thuật tạo dữ liệu thử hơn là chỉ đơn thuần như kỹ thuật đánh giá bộ dữ liệu thử. Các kỹ thuật như thoả mãn ràng buộc [41-42], giảm miền động [43-44] hay dựa trên tìm kiếm [45-46] đã được nhiều nghiên cứu đề cập.

Với kiểm thử bậc cao, vấn đề phức tạp hơn. Để diệt được một HOM bất kỳ phải thực thi ít nhất một trong các FOM tạo nên nó. Tuy nhiên, với Strong subsuing HOM, nó chỉ bị diệt khi tất cả các FOM cấu thành bị diệt. Điều này làm cho vấn đề diệt HOM khó hơn. Tuy nhiên, đây chỉ là kỳ vọng. Toàn bộ ý tưởng về Kiểm thử đột biến bậc cao là tạo ra các đột biến khó bị diệt do đó để mô phỏng các lỗi mà có thể không được đề cập đến thời điểm đó. Các kỹ thuật dựa trên tìm kiếm và ràng buộc để giải quyết vấn đề diệt đột biến bậc cao được tiệp tục phát triển và mở rộng.

B.  Khám phá các kiểu đột biến bậc cao

Có nhiều sự phân loại đột biến bậc cao, mỗi phân loại có ý nghĩa riêng. Các kỹ thuật dựa trên tìm kiếm được dùng để định hướng  một kiểu HOM cụ thể bởi vì hàm định hướng được đưa ra đặc biệt để đáp lại sự tìm kiếm khi nó định vị các các đột biến gần với các đặc tính mong muốn. Rất đáng quan tâm khi khám phá không gian của các phân lớp khác nhau sử dụng sự tối ưu tìm kiếm để xem xét liệu chúng có chứng tỏ được các loại lỗi cụ thể của hành vi. Nó cũng đáng quan tâm để thử không gian HOMs nhằm ước lượng tỷ lệ tương đối của các HOM trong mỗi phân lớp. Điều này cho phép trả lời câu hỏi liệu có hay không một lớp cụ thể được phân bố đồng đều giữa các chương trình hay liệu có một kiểu chắc chắn nào của loại chương trình làm tăng đặc tính chắc chắn trong việc phân lớp HOM. Có nhiều kiểu phân lớp HOM có giá trị tiềm năng và đáng quan tâm như trong hình 3. Lý thuyết về phân lớp HOM được phát triển theo nghĩa chúng tương tác với các FOM cấu thành như thế nào. Lý  thuyết này cho phép khám phá mối quan hệ giữa các HOM, các ca kiểm thử diệt chúng và tập các FOM cấu thành chúng. Lý thuyết này mở ra điểm mới trong việc đánh giá và ứng dụng của kiểm thử đột biến bậc cao.

C.  Đồng tiến hoá đột biến và ca kiểm thử

Đồng tiến hoá là một hướng tiếp cận để tối ưu hoá đồng tiến trong đó hai hoặc nhiều cư dân ứng viên đồng tiến cùng nhau, với việc định hướng được xác định trước [47]. Trong cách này, hai cư dân đồng tiến đồng thời. Điều này có thể là một quá trình hợp tác, mô phỏng hành vi cộng sinh trong tiến hoá tự nhiên hoặc có thể cạnh tranh, mô phỏng hành vi ăn thịt/ săn mồi của sự thích ứng và tiến bộ đồng tiến hoá.

Với kiểm thử đột biến, chúng được lập luận [40] rằng mô hình ăn thịt/săn mồi của đồng tiến hoá cạnh tranh có thể dùng để phát triển tập đột biến bậc cao khó bị diệt và đồng thời, thiết lập các ca kiểm thử chất lượng tốt được điều chỉnh làm lộ ra các lỗi tinh vi và khó bị diệt. Trong hướng tiếp cận này, hai cư dân là cư dân của ứng viên đột biến bậc cao và cư dân của ứng viên ca kiểm thử. Định hướng cho đột biến bậc cao là đo khả năng trốn tránh của chúng (bao nhiêu ca kiểm thử thất bại khi diệt chúng) và định hướng của ca kiểm thử là đo khả năng diệt đột biến của chúng.