skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Black-Box Verification for GUI Applications

Arlt, Stephan ; Ermis, Evren ; Feo-Arenis, Sergio ; Podelski, Andreas; Podelski, Andreas (pacrepositoryorg)

arXiv.org, Oct 17, 2012

Toàn văn sẵn có

Trích dẫn Trích dẫn bởi
  • Nhan đề:
    Black-Box Verification for GUI Applications
  • Tác giả: Arlt, Stephan ; Ermis, Evren ; Feo-Arenis, Sergio ; Podelski, Andreas
  • Podelski, Andreas (pacrepositoryorg)
  • Chủ đề: Mathematical Models ; Graphical User Interface
  • Là 1 phần của: arXiv.org, Oct 17, 2012
  • Mô tả: In black-box testing of GUI applications (a form of system testing), a dynamic analysis of the GUI application is used to infer a black-box model; the black-box model is then used to derive test cases for the test of the GUI application. In this paper, we propose to supplement the test with the verification of the black-box model. We present a method that can give a guarantee of the absence of faults, i.e., the correctness of all test cases of the black-box model. The black-model allows us to formulate a parametrized verification problem. As we will show, it also allows us to circumvent the static analysis of the GUI tool kit. We have implemented our approach; preliminary experiments indicate its practical potential.
  • Ngôn ngữ: English

Đang tìm Cơ sở dữ liệu bên ngoài...