Technique for unit testing of safety software verification and validation

被引：0

作者：

Li, Duo ^{[1
]}

Zhang, Liang-Ju ^{[1
]}

Feng, Jun-Ting ^{[1
]}

机构：

[1] Institute of Nuclear and New Energy Technology, Tsinghua University, Beijing 100084, China

来源：

Yuanzineng Kexue Jishu/Atomic Energy Science and Technology | 2008年 / 42卷 / 06期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：551 / 556

共 50 条

[1] THE VALIDATION, VERIFICATION AND TESTING OF SOFTWARE
INCE, D
OXFORD SURVEYS IN INFORMATION TECHNOLOGY, 1985, 2 : 1 - 40
[2] SOFTWARE VALIDATION, VERIFICATION, AND TESTING TECHNIQUE AND TOOL REFERENCE GUIDE.
Powell, Patricia B.
National Bureau of Standards, Special Publication, 1982,
[3] The Role of Verification and Validation in Software Testing
Reddy, Jogannagari Malla
Prasad, S. V. A. V.
PROCEEDINGS OF THE 10TH INDIACOM - 2016 3RD INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT, 2016, : 1298 - 1301
[4] VALIDATION, VERIFICATION, AND TESTING OF COMPUTER SOFTWARE
ADRION, WR
BRANSTAD, MA
CHERNIAVSKY, JC
COMPUTING SURVEYS, 1982, 14 (02) : 159 - 192
[5] Validation and verification of METEOR safety software
Boulanger, JL
Gallardo, M
COMPUTERS IN RAILWAYS VII, 2000, 7 : 189 - 200
[6] Software Testing Approach for Digital Twin Verification and Validation
Zahediyami, Milad
Gorecki, Simon
Traore, Mamadou Kaba
NAVIGATING UNPREDICTABILITY: COLLABORATIVE NETWORKS IN NON-LINEAR WORLDS, PRO-VE 2024, PT II, 2024, 727 : 115 - 129
[7] Verification, validation, and testing of software:: Special issue of the Programmirovanie journal
Petrenko, AK
PROGRAMMING AND COMPUTER SOFTWARE, 2003, 29 (06) : 296 - 297
[8] Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal
A. K. Petrenko
Programming and Computer Software, 2003, 29 : 296 - 297
[9] Software verification & validation
Pierce, P
NORTHCON/96 - IEEE TECHNICAL APPLICATIONS CONFERENCE, CONFERENCE RECORD, 1996, : 265 - 268
[10] Validation, verification and immunity testing techniques for EMC for functional safety
Armstrong, EurIng Keith
2007 IEEE INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY: WORKSHOP AND TUTORIAL NOTES, VOLS 1-3, 2007, : 308 - 313

← 1 2 3 4 5 →