A Model-Based V&V Test Strategy Based on Emerging System Modeling Techniques

被引:0
|
作者
Wang, Gan [1 ]
Pavalkis, Saulius [2 ]
机构
[1] BAE Systems McLean, VA, United States
[2] No Magic, Inc. Allen, TX, United States
关键词
1102.1 - 961 Systems Science;
D O I
10.1002/j.2334-5837.2019.00634.x
中图分类号
学科分类号
摘要
16
引用
收藏
页码:771 / 787
相关论文
共 50 条
  • [21] Model-based Test Generation Techniques Verifying the On-board Module of a Satellite-based Train Control System Model
    Wu, Daohua
    Schnieder, Eckehard
    Krause, Jan
    2013 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2013, : 275 - 280
  • [22] Agent-based Modeling for Oil Pricing Policy: Simulation and V & V Test Research
    Zhou Yong
    Mi Jia-ning
    2014 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE & ENGINEERING (ICMSE), 2014, : 815 - 819
  • [23] Model-based prognostic techniques
    Luo, JH
    Namburu, M
    Pattipati, K
    Qiao, L
    Kawamoto, M
    Chigusa, S
    AUTOTESTCON 2003, PROCEEDINGS: FUTURE SUSTAINMENT FOR MILITARY AND AEROSPACE, 2003, : 330 - 340
  • [24] The strategy of model-based science
    Peter Godfrey-Smith
    Biology and Philosophy, 2006, 21 : 725 - 740
  • [25] The strategy of model-based science
    Godfrey-Smith, Peter
    BIOLOGY & PHILOSOPHY, 2006, 21 (05) : 725 - 740
  • [26] System Model-Based Definition of Modeling Language Semantics
    Groenniger, Hans
    Ringert, Jan Oliver
    Rumpe, Bernhard
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5522 : 152 - 166
  • [27] Model-based Material Decomposition with System Blur Modeling
    Wang, Wenying
    Tivnan, Matthew
    Gang, Grace J.
    Ma, Yiqun
    Cao, Qian
    Lu, Minghui
    Star-Lack, Josh
    Colbeth, Richard E.
    Zbijewski, Wojciech
    Stayman, J. Webster
    MEDICAL IMAGING 2020: PHYSICS OF MEDICAL IMAGING, 2020, 11312
  • [29] Test case prioritization techniques for model-based testing: a replicated study
    João Felipe S. Ouriques
    Emanuela G. Cartaxo
    Patrícia D. L. Machado
    Software Quality Journal, 2018, 26 : 1451 - 1482
  • [30] Test case prioritization techniques for model-based testing: a replicated study
    Ouriques, Joao Felipe S.
    Cartaxo, Emanuela G.
    Machado, Patricia D. L.
    SOFTWARE QUALITY JOURNAL, 2018, 26 (04) : 1451 - 1482