Automated requirements-based testing on Boeing 777 display

被引:0
|
作者
Carpenter, PB [1 ]
机构
[1] Aonix, San Diego, CA 92122 USA
关键词
D O I
暂无
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
On the 777 Airplane Program, Boeing required their suppliers to perform requirements-based testing on their embedded software systems. Honeywell defined an "Integrated Testing Philosophy" and developed a set of tools to automate the philosophy. Software through Pictures from Interactive Development Environments was being used for requirement analysis, but most of the test engineers ignored the requirement models and simply read the requirements documents to determine the test cases. During the evaluation of T, a test case generation from Programming Environments Inc. the Displays Organization recognized the potential to automatically generate test cases from information that had been captured in the Software through Pictures models by the analysts. The Displays fool integration project integrated Software through Pictures and T with Honeywell tools to provide a complete solution for requirements-base testing.
引用
收藏
页码:289 / 294
页数:6
相关论文
共 50 条
  • [1] Functional Requirements-Based Automated Testing for Avionics
    Sun, Youcheng
    Brain, Martin
    Kroening, Daniel
    Hawthorn, Andrew
    Wilson, Thomas
    Schanda, Florian
    Javier, Francisco
    Jimenez, Guzman
    Daniel, Simon
    Bryan, Chris
    Broster, Ian
    [J]. 2017 22ND INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2017, : 170 - 173
  • [2] Automated Support to Capture Environment Assertions for Requirements-Based Testing
    Bhowmik, Tanmay
    Thompson, Austin Reid
    Do, Anh Quoc
    Niu, Nan
    [J]. 2021 IEEE 22ND INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION FOR DATA SCIENCE (IRI 2021), 2021, : 123 - 130
  • [3] Risk and requirements-based testing
    Bach, J
    [J]. COMPUTER, 1999, 32 (06) : 113 - 114
  • [4] Requirements-based testing: An overview
    Mogyorodi, G
    [J]. TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 286 - 295
  • [5] Automated Requirements-Based Testing of Black-Box Reactive Systems
    Narizzano, Massimo
    Pulina, Luca
    Tacchella, Armando
    Vuotto, Simone
    [J]. NASA FORMAL METHODS (NFM 2020), 2020, 12229 : 153 - 169
  • [6] Requirements Modeling and Automated Requirements-Based Test Generation
    Lee, Chien-Chang
    Friedman, Jon
    [J]. SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2013, 6 (02): : 607 - 615
  • [7] A Formal Analysis of Requirements-Based Testing
    Pecheur, Charles
    Raimondi, Franco
    Brat, Guillaume
    [J]. ISSTA 2009: INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2009, : 47 - 55
  • [8] The Role of Environment Assertions in Requirements-Based Testing
    Bhowmik, Tanmay
    Chekuri, Surendra Raju
    Anh Quoc Do
    Wang, Wentao
    Niu, Nan
    [J]. 2019 27TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2019), 2019, : 75 - 85
  • [9] Eliciting Environmental Opposites for Requirements-Based Testing
    Sturmcr, Sarah
    Niu, Nan
    Bhowmik, Tanmay
    Savolainen, Juha
    [J]. 2022 IEEE 30TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW), 2022, : 10 - 13
  • [10] Requirements-Based Delta-Oriented SPL Testing
    Dukaczewski, Michael
    Schaefer, Ina
    Lachmann, Remo
    Lochau, Malte
    [J]. 2013 4TH INTERNATIONAL WORKSHOP ON PRODUCT LINE APPROACHES IN SOFTWARE ENGINEERING (PLEASE), 2013, : 49 - 52