TEACHING SOFTWARE-VERIFICATION AND VALIDATION TO SOFTWARE PRACTITIONERS

被引：0
|
作者：
LUGINBUHL, DR
CARDOW, JE
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 640卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We describe the development and teaching of a two-week course in software verification and validation (V&V). The course is taught to Air Force software practitioners by faculty at the Air Force Institute of Technology (AFIT). We show that by organizing teaching materials using a framework involving interrelationships of activities throughout the software development life cycle, we were able to significantly enhance the development and teaching of the course. Such an organization is logical since V&V pervades all activities in every part of the life cycle.
引用
收藏
页码：167 / 179
页数：13
相关论文
共 50 条
  • [41] Meteosat second generation, onboard software verification and validation
    Veith, W
    Provost-Grellier, A
    DASIA 2000: DATA SYSTEMS IN AEROSPACE, PROCEEDINGS, 2000, 457 : 253 - 258
  • [42] Research on software verification and validation for nuclear power plant
    Li, D
    Zhang, LJ
    PROGRESS IN SAFETY SCIENCE AND TECHNOLOGY, VOL 4, PTS A and B, 2004, 4 : 568 - 572
  • [43] Synergistic verification and validation of systems and software engineering models
    Jarraya, Yosr
    Soeanu, Andrei
    Alawneh, Luay
    Debbabi, Mourad
    Hassaine, Fawzi
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2009, 38 (07) : 719 - 746
  • [44] Verification and Validation in CREATE Multiphysics HPC Software Applications
    Kendall, Richard P.
    Votta, Lawrence G.
    Post, Douglass E.
    Moyer, E. Thomas
    Morton, Scott A.
    COMPUTING IN SCIENCE & ENGINEERING, 2017, 19 (06) : 18 - 26
  • [45] Software verification and validation within the (rational) unified process
    Fuhrman, C
    Djlive, F
    Palza, E
    28TH ANNUAL NASA GODDARD SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2004, : 216 - 220
  • [46] Software Verification and Validation of Digital Nuclear Instrumentation System
    Zhang, Mi
    Wang, Ju-Zhi
    Huang, Wei-Jie
    Huang, Bing-Chen
    NUCLEAR POWER PLANTS: INNOVATIVE TECHNOLOGIES FOR INSTRUMENTATION AND CONTROL SYSTEMS (ISNPP 2019), 2020, 595 : 313 - 321
  • [47] Automatic test software of verification and validation for simulation system
    2000, Acta Simul System Sinica, Beijing, China (12):
  • [48] Technique for unit testing of safety software verification and validation
    Li, Duo
    Zhang, Liang-Ju
    Feng, Jun-Ting
    Yuanzineng Kexue Jishu/Atomic Energy Science and Technology, 2008, 42 (06): : 551 - 556
  • [49] Software Process Improvement: Requirements Management, Verification and Validation
    Bayona-Ore, Sussy
    Chamilco, Josselyn
    Perez, Dayvis
    2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), 2019,
  • [50] SOFTWARE VERIFICATION AND VALIDATION FOR COMMAND AND CONTROL SYSTEMS.
    Chandler, Alan R.
    RCA Engineer, 1974, 19 (05): : 32 - 35
12345