This paper provides a brief introdu

This paper provides a brief introduction to the ideas and behind Search-Based Software Testing, including some examples of past work. The rest of the paper is devoted to open problems that still exist in the area and may form the basis of future work. Section II gives an overview of the main optimization algorithms that have been applied in Search-Based Testing, including Hill Climbing, Simulated Annealing and Genetic Algorithms. Key to any optimisation approach is the definition of a fitness function - it is the guidance provided by the fitness function that allows the search to find good solutions in a reasonable time frame. Section III details some example fitness functions used in three example applications of Search-Based Testing: temporal testing, functional testing and structural testing.

Kết quả (Việt) 1:

Bài báo này cung cấp một giới thiệu ngắn gọn để những ý tưởng và đằng sau dựa trên tìm kiếm thử nghiệm phần mềm, bao gồm một số ví dụ về công việc trong quá khứ. Phần còn lại của giấy được dành để mở vấn đề đó vẫn tồn tại trong khu vực và có thể hình thành cơ sở của các công việc trong tương lai. Phần II cho một tổng quan về các thuật toán tối ưu hóa chính đã được áp dụng trong thử nghiệm dựa trên tìm kiếm, bao gồm cả Hill leo núi, Làm cho deo mô phỏng và thuật toán di truyền. Chìa khóa để bất kỳ phương pháp tối ưu hoá là định nghĩa của một chức năng thể dục - đó là hướng dẫn cung cấp chức năng thể dục cho phép tìm kiếm để tìm giải pháp tốt trong một khoảng thời gian hợp lý. Phần III chi tiết một số chức năng thể dục ví dụ được sử dụng trong ba ví dụ ứng dụng của tìm kiếm dựa trên thử nghiệm: thời gian thử nghiệm, chức năng kiểm tra và thử nghiệm kết cấu.

Kết quả (Việt) 2:

Bài viết này cung cấp một giới thiệu ngắn gọn để các ý tưởng và phía sau tìm kiếm dựa trên kiểm thử phần mềm, bao gồm một số ví dụ về làm việc trước đây. Phần còn lại của bài báo được dành để mở vấn đề vẫn còn tồn tại trong khu vực và có thể hình thành cơ sở của công việc trong tương lai. Phần II trình bày tổng quan các thuật toán tối ưu hóa chính đã được áp dụng trong tìm kiếm dựa trên thử nghiệm, bao gồm cả Hill Leo núi, mô phỏng luyện kim và thuật toán di truyền. Quan trọng đối với bất kỳ phương pháp tối ưu hóa là định nghĩa của một chức năng tập thể dục - đó là hướng dẫn được cung cấp bởi các chức năng tập thể dục, cho phép tìm kiếm để tìm giải pháp tốt trong một khung thời gian hợp lý. Mục III Các chi tiết về một số chức năng ví dụ tập thể dục được sử dụng trong ba ứng dụng ví dụ về tìm kiếm dựa trên kiểm tra: kiểm tra thời gian, chức năng kiểm tra và thử nghiệm cơ cấu.