The first publication on what has b

The first publication on what has become known as ‘Search-Based Software Testing’ appeared in 1976, and was he work of two American researchers, Webb Miller and David Spooner . Their approach was a simple technique for generating test data consisting of floating-point inputs, and was a completely different approach to the test data generation techniques being developed at the time, which were based on symbolic execution and constraint solving. In Miller and Spooner’s approach, test data were sought by executing a version of the software under test, with these executions being guided toward to the required test data through the use of a ‘cost function’ (hereon referred to a fitness function), coupled with a simple optimization process. Inputs that were ‘closer’ to executing a desired path through the program were rewarded with lower cost values, whilst inputs with higher cost values were discarded.

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

Công bố đầu tiên vào những gì đã được biết đến như là 'Tìm kiếm dựa trên phần mềm thử nghiệm' xuất hiện vào năm 1976, và là ông làm việc của hai nhà nghiên cứu người Mỹ, Webb Miller và David Spooner. Cách tiếp cận của họ là một kỹ thuật đơn giản để tạo ra dữ liệu thử nghiệm bao gồm floating-point đầu vào, và là một cách tiếp cận hoàn toàn khác nhau để kiểm tra dữ liệu thế hệ kỹ thuật được phát triển lúc đó, mà dựa trên biểu tượng thực hiện và hạn chế giải quyết. Trong cách tiếp cận Miller và của Spooner, dữ liệu thử nghiệm đã được tìm kiếm bằng cách thực hiện một phiên bản của phần mềm theo thử nghiệm, với những vụ xử tử được hướng dẫn về hướng để yêu cầu kiểm tra dữ liệu bằng cách sử dụng chức năng chi phí một' (hereon được gọi đến một chức năng thể dục), cùng với một quá trình tối ưu hóa đơn giản. Đầu vào 'gần gũi hơn' để thực hiện một con đường bạn muốn thông qua chương trình đã được khen thưởng với giá trị chi phí thấp hơn, trong khi đầu vào với giá trị chi phí cao hơn đã được loại bỏ.

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

Việc công bố lần đầu tiên vào những gì đã trở thành được gọi là 'Tìm kiếm dựa trên kiểm thử phần mềm' xuất hiện vào năm 1976, và đã được ông làm việc của hai nhà nghiên cứu Mỹ, Webb Miller và David Spooner. Phương pháp của họ là một kỹ thuật đơn giản để tạo ra các dữ liệu thử nghiệm bao gồm các yếu tố đầu vào dấu chấm động, và là một cách tiếp cận hoàn toàn khác với các kỹ thuật sinh dữ liệu thử nghiệm được phát triển đồng thời, được thực hiện dựa trên biểu tượng và giải quyết khó khăn. Trong Miller và Spooner của phương pháp tiếp cận, kiểm tra dữ liệu được thu thập bằng cách thực hiện một phiên bản của phần mềm dưới sự kiểm tra, với những hành được hướng dẫn đối với các dữ liệu thử nghiệm cần thiết thông qua việc sử dụng một "hàm chi phí (theo Hợp đồng này đề cập đến một chức năng tập thể dục), cùng với một quá trình tối ưu hóa đơn giản. Đầu vào mà là 'gần' để thực hiện một đường dẫn mong muốn thông qua chương trình đã được khen thưởng với giá trị chi phí thấp hơn, trong khi nguyên liệu đầu vào với giá trị chi phí cao hơn đã bị loại bỏ.