V&V - Veridation or valification?

被引：0
|
作者：
Nordland, O [1 ]
机构：
[1] SINTEF Telecom & Informat, NO-7465 Trondheim, Norway
来源：
6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT II | 2002年
关键词：
definitions; validation; verification; euro-interlocking;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
There is a lot of confusion about the terms verification and validation, as is revealed by a look at the definitions used in various standards. In particular, the aspect of requirements' validation is consistently overlooked. The consequences of this are illustrated and new, clearer definitions are proposed and justified. The Euro-Interlocking Verification and Validation Plan is presented as an example.
引用
收藏
页码：261 / 266
页数：6
相关论文
共 50 条
  • [1] System Modeling for V&V
    Clark, B.E.
    Frank, G.A.
    [J]. INCOSE International Symposium, 1992, 2 (01) : 485 - 491
  • [2] MBSE and V&V: a tool-equipped method for combining various V&V strategies
    Nastov, B.
    Chapurlat, V.
    Pfister, F.
    Dony, C.
    [J]. IFAC PAPERSONLINE, 2017, 50 (01): : 10538 - 10543
  • [3] V&V SYMPOSIUM THIS MONTH
    不详
    [J]. MECHANICAL ENGINEERING, 2017, 139 (05): : 62 - 62
  • [4] 基于V&V立方体的V&V活动管理方法
    郑利平
    刘晓平
    [J]. 系统仿真学报, 2010, 22 (06) : 1331 - 1336
  • [5] Functiemix V&V in het verpleeghuis
    ANKE PERSOON
    RACHIDA HANDOR
    MARLEEN LOVINK
    [J]. TVZ - Verpleegkunde in praktijk en wetenschap, 2021, 131 (3) : 16 - 18
  • [6] Metrics for V&V of cyber defenses
    Feather, Martin S.
    Wilf, Joel M.
    Priest, Joseph
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2016, 12 (02) : 81 - 94
  • [7] Autonomy software: V&V challenges and characteristics
    Schumann, Johann
    Visser, Willem
    [J]. 2006 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2006, : 3107 - +
  • [8] Determination and propagation of credibility in V&V activities
    Köster, A
    [J]. MODELLING AND SIMULATION 2002, 2002, : 262 - 266
  • [9] Optimizing the V&V Process for Critical Systems
    Kiper, James D.
    Feather, Martin S.
    Richardson, Julian
    [J]. GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, 2007, : 1139 - 1139
  • [10] 2.5.5 A System Theoretic Framework for V&V
    Wymore, A. Wayne
    [J]. INCOSE International Symposium, 2002, 12 (01) : 1223 - 1229
12345