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 条
  • [31] A model-based approach for robustness testing
    Fernandez, JC
    Mounier, L
    Pachon, C
    TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2005, 3502 : 333 - 348
  • [32] Model-Based Testing of Electronic Passports
    Mostowski, Wojciech
    Poll, Erik
    Schmaltz, Julien
    Tretmans, Jan
    Schreur, Ronny Wichers
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5825 : 207 - 209
  • [33] Model-based testing through a GUI
    Kervinen, Antti
    Maunumaa, Mika
    Paakkonen, Tuula
    Katara, Mika
    FORMAL APPROACHES TO SOFTWARE TESTING, 2006, 3997 : 16 - 31
  • [34] Model-based Testing of Scratch Programs
    Goetz, Katharina
    Feldmeier, Patric
    Fraser, Gordon
    2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, : 411 - 421
  • [35] Efficient model-based bioequivalence testing
    Moellenhoff, Kathrin
    Loingeville, Florence
    Bertrand, Julie
    Nguyen, Thu Thuy
    Sharan, Satish
    Zhao, Liang
    Fang, Lanyan
    Sun, Guoying
    Grosser, Stella
    Mentre, France
    Dette, Holger
    BIOSTATISTICS, 2022, 23 (01) : 314 - 327
  • [36] Model-based testing: Challenges ahead
    Heimdahl, MPE
    Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005, : 330 - 330
  • [37] A symbolic framework for model-based testing
    Frantzen, L.
    Tretmans, J.
    Willemse, T. A. C.
    FORMAL APPROACHES TO SOFTWARE TESTING AND RUNTIME VERIFICATION, 2006, 4262 : 40 - +
  • [38] Fast model-based penetration testing
    Singh, S
    Lyons, J
    Nicol, DM
    PROCEEDINGS OF THE 2004 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2004, : 309 - 317
  • [39] Model-Based Testing of Quantum Computations
    Lochau, Malte
    Schaefer, Ina
    TESTS AND PROOFS, TAP 2024, 2025, 15153 : 127 - 147
  • [40] Model-based testing with Spec#
    Jacky, J
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 5 - 6