Khảnăng mở rộng của JPF

Một phần của tài liệu Tìm hiểu về công cụ tự động sinh test case tự động kiểm thử phần mềm (Trang 57)

Hình 2.4: Mẫu Listener

JPF có thể được coi như là một Framework mà tại đó bất kỳ nhà phát triển nào đều có thể mở rộng để phục vụ cho một mục đích cụ thể. JPF cung cấp một cơ chế mở rộng để cho phép thêm vào các chức năng mới mà không phải thay đổi trực tiếp cài đặt của Search hoặc VM.

Yêu cầu về khả năng mở rộng có thể đạt được bằng cách sử dụng mẫu Listerner trên hình 2-4. Các thể hiện sẽ tự đăng ký hoặc đăng ký với đối tượng Search/VM, nhận thông báo khi một đối tượng (Subject) tương ứng thực thi một hoạt động nhất định, và sau đó có thể tương tác với đối tượng để truy vấn các thông tin bổ sung hoặc điểu khiển hành vi của đối tượng.

Việc thay đổi các khía cạnh của đổi tượng được ánh xạ vào các phương thức Observer riêng biệt, các thể hiện của đối tượng sẽ được truyền đi như tham số. Đối tượng Subject sẽ theo dõi các listener đã đăng ký theo Multicaster.

Có 3 mức khác nhau để có thể lấy được thông tin của đối tượng Subject bằng cách cài đặt listener.

• Generic – listener cư trú bên ngoài các gói JPF và chỉ sử dụng các thông tin đã được công khai (public) theo gov.nasa.jpf.Search / VM.

• Search-specific – listener cư trú bên ngoài gói JPF nhưng sẽ đưa các tham số thông báo của đối tượng Subject vào các cài đặt cụ thể (ví dụ: gov.nasa.jpf.search.heuristic.BFSHeuristic), và sử dụng các API của nó để lấy các thông tin cài đặt cụ thể.

• Internal - listener cư trú trong các gói cài đặt Subject riêng biêt và truy cập các thông tin riêng của gói ( private) .

Một phần của tài liệu Tìm hiểu về công cụ tự động sinh test case tự động kiểm thử phần mềm (Trang 57)

Tải bản đầy đủ (DOCX)

(72 trang)
w