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

Testing abstract behavioral specifications

Wong, Peter ; Bubel, Richard ; Boer, Frank ; Gómez-Zamalloa, Miguel ; Gouw, Stijn ; Hähnle, Reiner ; Meinke, Karl ; Sindhu, Muddassar

International Journal on Software Tools for Technology Transfer, 2015, Vol.17(1), pp.107-119 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-014-0301-x

Toàn văn sẵn có

Trích dẫn Trích dẫn bởi
  • Nhan đề:
    Testing abstract behavioral specifications
  • Tác giả: Wong, Peter ; Bubel, Richard ; Boer, Frank ; Gómez-Zamalloa, Miguel ; Gouw, Stijn ; Hähnle, Reiner ; Meinke, Karl ; Sindhu, Muddassar
  • Chủ đề: Automated testing ; Industrial case study ; Black-box testing ; Glass-box testing ; Runtime assertion checking
  • Là 1 phần của: International Journal on Software Tools for Technology Transfer, 2015, Vol.17(1), pp.107-119
  • Mô tả: We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to the introduction of subtle bugs that are hard to detect in the presence of steady adaptation. While static analysis techniques are available for an abstract language such as ABS, testing is still indispensable and complements analytic methods. We focus on fully automated testing techniques including black-box and glass-box test generation as well as runtime assertion checking, which are shown to be effective in an industrial setting.
  • Ngôn ngữ: English
  • Số nhận dạng: ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-014-0301-x

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