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 条
  • [31] Constraint solving for sequences in software validation and verification
    Kosmatov, Nikolai
    DECLARATIVE PROGRAMMING FOR KNOWLEDGE MANAGEMENT, 2006, 4369 : 25 - 37
  • [32] Verification and validation in support for software certification methods
    Vermesan, A
    Martinsen, P
    Sjovaag, J
    Bell, K
    VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 277 - 295
  • [33] Verification and validation of a fingerprint image registration software
    Desovski, Dejan
    Gandikota, Vijai
    Liu, Yan
    Jiang, Yue
    Cukic, Bojan
    Eurasip Journal on Applied Signal Processing, 2006, 2006
  • [34] Verification and validation of off-the-shelf software
    Eastwick, Michael
    Medical Device and Diagnostic Industry, 1995, 17 (04):
  • [35] COMBUSTION MODELING SOFTWARE DEVELOPMENT, VERIFICATION AND VALIDATION
    Briones, Alejandro M.
    Olding, Robert
    Sykes, Joshua P.
    Rankin, Brent A.
    McDevitt, Kyle
    Heyne, Joshua S.
    PROCEEDINGS OF THE ASME POWER CONFERENCE, 2018, VOL 1, 2018,
  • [36] Coping with requirements changes in software verification and validation
    Li, Shimin
    Tahvildari, Ladan
    Liu, Weining
    Morrissey, Mike
    Cort, Gary
    CSMR 2008: 12TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING: DEVELOPING EVOLVABLE SYSTEMS, 2008, : 317 - +
  • [37] Specifying software validation and verification for a biomedical application
    Morozoff, Paul E.
    Materials World, 1994, 2 (04) : 196 - 204
  • [38] EFFECTIVE ACTIVE LEARNING APPROACHES TO TEACHING SOFTWARE VERIFICATION
    Acharya, Sushil
    Schilling, Walter W., Jr.
    2012 ASEE ANNUAL CONFERENCE, 2012,
  • [39] Documentation Automation for the Verification and Validation of Rubin Observatory Software
    Comoretto, Gabriele
    Guy, Leanne P.
    O'Mullane, William
    Bechtol, Keith
    Carlin, Jeffrey L.
    Sick, Jonathan
    Van Klaveren, Brian
    Roberts, Austin
    MODELING, SYSTEMS ENGINEERING, AND PROJECT MANAGEMENT FOR ASTRONOMY IX, 2020, 11450
  • [40] Metrics for Verification and Validation of Architecture in Powertrain Software Development
    Venkitachalam, Hariharan
    Richenhagen, Johannes
    Schlosser, Axel
    Tasky, Thomas
    2015 FIRST INTERNATIONAL WORKSHOP ON AUTOMOTIVE SOFTWARE ARCHITECTURE (WASA), 2015, : 27 - 33
12345