Randoop's feedback-guided space exp

Randoop's feedback-guided space exploration is limited by the objects and input values it has access to. If Randoop cannot find an object of the correct type needed to invoke a method in the sequence pool, then it will never try to invoke the method. The Android API is too large to test all interdependent classes at once, so in practice many objects are not available in the sequence pool. We mitigated this problem by testing related classes together (for example, Account and AccountManager) and adding seed sequences that return common Android-specific data types. Unfortunately, this was insufficient to produce valid input parameters for many methods. Many singleton object instances can only be created through API calls with specific parameters; for example, a WifiManager instance can be obtained by calling android.content.Context.getSystemService(String) with the parameter "wifi". We addressed this by augmenting the input pool with specic primitive constants and sequences. Additionally, some API calls expect memory addresses that store specific values for parameters, which we were unable to solve at scale.

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

Thăm dò không gian hướng dẫn thông tin phản hồi của Randoop được giới hạn bởi các đối tượng và nhập giá trị nó có quyền truy cập vào. Nếu Randoop không thể tìm thấy một đối tượng chính xác loại cần thiết để gọi một phương pháp trong hồ bơi trình tự, sau đó nó sẽ không bao giờ cố gắng gọi các phương pháp. Android API là quá lớn để kiểm tra tất cả các lớp học phụ thuộc lẫn nhau cùng một lúc, do đó, trong thực tế nhiều đối tượng không có sẵn trong hồ bơi chuỗi. Chúng tôi giảm nhẹ vấn đề này bằng cách thử nghiệm liên quan đến các lớp học với nhau (ví dụ, tài khoản và AccountManager) và thêm hạt giống đoạn đó trở về phổ biến đặc trưng cho Android dữ liệu loại. Thật không may, điều này là không đủ để sản xuất các tham số đầu vào hợp lệ cho nhiều phương pháp. Nhiều singleton đối tượng trường hợp chỉ có thể được tạo ra thông qua API cuộc gọi với tham số cụ thể; Ví dụ, một trường hợp WifiManager có thể được thu được bằng cách gọi android.content.Context.getSystemService(String) với tham số "wifi". Chúng tôi giải quyết điều này bằng cách augmenting Hồ bơi đầu vào với hằng số nguyên thủy c speci và trình tự. Ngoài ra, một số cuộc gọi API mong đợi địa chỉ bộ nhớ lưu trữ các giá trị cụ thể cho tham số, chúng tôi đã không thể giải quyết ở quy mô.

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

Thông tin phản hồi-hướng dẫn thăm dò không gian Randoop được giới hạn bởi các đối tượng đầu vào và giá trị nó có thể truy cập. Nếu Randoop không thể tìm thấy một đối tượng của loại chính xác cần thiết để gọi một phương thức trong hồ bơi tự, sau đó nó sẽ không bao giờ cố gắng gọi phương thức. Các API Android là quá lớn để kiểm tra tất cả các lớp học phụ thuộc lẫn nhau cùng một lúc, vì vậy trong thực tế nhiều đối tượng không có sẵn trong hồ bơi tự. Chúng tôi giảm nhẹ vấn đề này bằng cách kiểm tra các lớp học có liên quan với nhau (ví dụ, tài khoản và AccountManager) và thêm chuỗi hạt mà trở về kiểu dữ liệu phổ biến Android cụ thể. Thật không may, điều này là không đủ để tạo ra các thông số đầu vào phù hợp cho nhiều phương pháp. Nhiều trường hợp đối tượng singleton chỉ có thể được tạo ra thông qua các cuộc gọi API với các thông số cụ thể; Ví dụ, một trường hợp WifiManager có thể thu được bằng cách gọi android.content.Context.getSystemService (String) với tham số "wifi". Chúng tôi giải quyết này bằng cách gia tăng đầu vào hồ bơi với Speci c hằng số nguyên thủy và trình tự. Ngoài ra, một số cuộc gọi API mong đợi các địa chỉ bộ nhớ lưu trữ các giá trị cụ thể cho thông số, mà chúng tôi không thể giải quyết theo quy mô.