共 50 条
- [2] A Formal Analysis of Requirements-Based Testing [J]. ISSTA 2009: INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2009, : 47 - 55
- [3] A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs [J]. ADVANCES IN COMPUTERS, VOL 98, 2015, 98 : 89 - 140
- [4] The Role of Environment Assertions in Requirements-Based Testing [J]. 2019 27TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2019), 2019, : 75 - 85
- [5] Eliciting Environmental Opposites for Requirements-Based Testing [J]. 2022 IEEE 30TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW), 2022, : 10 - 13
- [6] Functional Requirements-Based Automated Testing for Avionics [J]. 2017 22ND INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2017, : 170 - 173
- [7] Automated requirements-based testing on Boeing 777 display [J]. DATA SYSTEMS IN AEROSPACE - PROCEEDINGS, 1998, : 289 - 294
- [8] Requirements-Based Delta-Oriented SPL Testing [J]. 2013 4TH INTERNATIONAL WORKSHOP ON PRODUCT LINE APPROACHES IN SOFTWARE ENGINEERING (PLEASE), 2013, : 49 - 52
- [9] A formal approach to requirements-based testing in open systems standards [J]. PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, 1996, : 94 - 100
- [10] Requirements-based UML [J]. EIGHTEENTH ANNUAL PACIFIC NORTHWEST SOFTWARE QUALITY CONFERENCE, PROCEEDINGS, 2000, : 411 - 426