Automatic test software of verification and validation for simulation system

被引：0
|
作者：
机构：
来源：
| 2000年 / Acta Simul System Sinica, Beijing, China卷 / 12期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Validation and verification of METEOR safety software
    Boulanger, JL
    Gallardo, M
    [J]. COMPUTERS IN RAILWAYS VII, 2000, 7 : 189 - 200
  • [42] The Role of Verification and Validation in Software Testing
    Reddy, Jogannagari Malla
    Prasad, S. V. A. V.
    [J]. PROCEEDINGS OF THE 10TH INDIACOM - 2016 3RD INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT, 2016, : 1298 - 1301
  • [43] Verification and Validation for Trustworthy Software Systems
    Michael, James Bret
    Drusinsky, Doron
    Otani, Thomas W.
    Shing, Man-Tak
    [J]. IEEE SOFTWARE, 2011, 28 (06) : 86 - 92
  • [44] A Review on Verification and Validation for Embedded Software
    Perez, Y. M.
    Marin, H. A. P.
    Bedoya, A. E.
    [J]. IEEE LATIN AMERICA TRANSACTIONS, 2016, 14 (05) : 2339 - 2347
  • [45] VALIDATION, VERIFICATION, AND TESTING OF COMPUTER SOFTWARE
    ADRION, WR
    BRANSTAD, MA
    CHERNIAVSKY, JC
    [J]. COMPUTING SURVEYS, 1982, 14 (02) : 159 - 192
  • [46] VALIDATION AND VERIFICATION OF SOFTWARE PROCESS MODELS
    GRUHN, V
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 509 : 271 - 286
  • [47] Studies on software structure of military universal automatic test system
    Fu Pengcheng
    Deng Qibin
    Duan Junbin
    Gong An
    [J]. ISTM/2007: 7TH INTERNATIONAL SYMPOSIUM ON TEST AND MEASUREMENT, VOLS 1-7, CONFERENCE PROCEEDINGS, 2007, : 4735 - 4738
  • [48] Automatic verification and validation wizard in web-centred end-user software engineering
    Lizcano, David
    Soriano, Javier
    Lopez, Genoveva
    Gutierrez, Javier J.
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2017, 125 : 47 - 67
  • [49] Logic Design Validation via Simulation and Automatic Test Pattern Generation
    Hussain Al-asaad
    John P. Hayes
    [J]. Journal of Electronic Testing, 2000, 16 : 575 - 589
  • [50] Logic design validation via simulation and automatic test pattern generation
    Al-Asaad, H
    Hayes, JP
    [J]. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2000, 16 (06): : 575 - 589
12345