Effects of nonmodel errors on model-based testing

被引:7
|
作者
Stenbakken, GN
机构
[1] National Institute of Standards and Technology, U.S. Department of Commerce, Technology Administration, Gaithersburg
关键词
D O I
10.1109/19.492752
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
In previous work, model-based methods have been developed for efficient testing of components and instruments that allow for their full behavior to be predicted from a small set of test measurements, While such methods can significantly reduce the testing cost of such units, these methods are valid only if the model accurately represents the behavior of the units, Previous papers on this subject described many methods for developing accurate models and using them to develop efficient test methods, However, they gave little consideration to the problem of testing units which change their behavior after the model has been developed, for example, as a result of changes in the manufacturing process. Such changed behavior is referred to as nonmodel behavior or nonmodel error, When units with this new behavior are tested with these more efficient methods, their predicted behavior can show significant deviations from their true behavior, This paper describes how to analyze the data taken at the reduced set of measurements to estimate the uncertainty in the model predictions, even when the device has significant nonmodel error, Results of simulation are used to verify the accuracy of the estimates and to show the expected variation in the results for many modeling variables.
引用
收藏
页码:384 / 388
页数:5
相关论文
共 50 条
  • [41] Model-Based Testing for Avionics Systems
    Brauer, Joerg
    Schulze, Uwe
    FORMAL METHODS, 2018, 10951 : 657 - 661
  • [42] Model-Based Automated Accessibility Testing
    Brajnik, Giorgio
    Pighin, Chiara
    Fabbro, Sara
    ASSETS'15: PROCEEDINGS OF THE 17TH INTERNATIONAL ACM SIGACCESS CONFERENCE ON COMPUTERS & ACCESSIBILITY, 2015, : 319 - 320
  • [43] When Model-based Testing Fails
    Aichernig, Bernhard K.
    George, Chris
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 164 (04) : 115 - 128
  • [44] A methodology and a framework for model-based testing
    Lucio, L
    Pedro, L
    Buchs, D
    RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES, 2005, 3475 : 57 - 70
  • [45] Lightweight Model-Based Testing for Enterprise IT
    Bernard, Elodie
    Ambert, Fabrice
    Legeard, Bruno
    Bouzy, Arnaud
    2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2018, : 224 - 230
  • [46] Model-based security vulnerability testing
    Pari Salas, Percy A.
    Krishnan, Padmanabhan
    Ross, Kelvin J.
    2007 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 284 - +
  • [47] Model-Based Testing of Probabilistic Systems
    Gerhold, Marcus
    Stoelinga, Marielle
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2016), 2016, 9633 : 251 - 268
  • [48] Model-based regression testing by OCL
    Zech, Philipp
    Kalb, Philipp
    Felderer, Michael
    Atkinson, Colin
    Breu, Ruth
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (01) : 115 - 131
  • [49] A taxonomy of model-based testing approaches
    Utting, Mark
    Pretschner, Alexander
    Legeard, Bruno
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2012, 22 (05): : 297 - 312
  • [50] Skyfire: Model-Based Testing With Cucumber
    Li, Nan
    Escalona, Anthony
    Kamal, Tariq
    2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 393 - 400