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 条

[41] Logic programming for software verification and testing
Khanna, S.
1600, (34):
[42] Special track on software verification and testing
Rezk, Tamara
Proceedings of the ACM Symposium on Applied Computing, 2009,
[43] Special issue: software verification and testing
Mousavi, Mohammad Reza
Pang, Jun
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2013, 9 (02) : 57 - 58
[44] Cognitive Reflection in Software Verification and Testing
Buffardi, Kevin
2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING-SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET, 2023, : 1 - 10
[45] Verification of Safety-Critical Software
Andersen, B. Scott
Romanski, George
COMMUNICATIONS OF THE ACM, 2011, 54 (10) : 52 - 57
[46] Validation Technique for on Board Safety Critical Control Law Software for an Aero Engine
Yadu, Prakash Kumar
Srinivasan, Usha
Sreedhar, Sreelal
2019 4TH INTERNATIONAL CONFERENCE ON ELECTRICAL, ELECTRONICS, COMMUNICATION, COMPUTER TECHNOLOGIES AND OPTIMIZATION TECHNIQUES (ICEECCOT), 2019, : 283 - 290
[47] Special Issue ICST 2009, the Second IEEE International Conference on Software Testing, Verification and Validation
Offutt, Jeff
Runeson, Per
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2011, 21 (03): : 153 - 154
[48] VALIDATION, VERIFICATION, AND TESTING FOR THE INDIVIDUAL PROGRAMMER
BRANSTAD, MA
CHERNIAVSKY, JC
ADRION, WR
COMPUTER, 1980, 13 (12) : 24 - 30
[49] Cybersecurity Verification and Validation Testing in Automotive
Ekert, Damjan
Dobaj, Juergen
Salamun, Alen
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2021, 27 (08) : 850 - 867
[50] Discussion on the Verification and Validation Technology of Nuclear Safety Level Software Based on Bayesian Belief Network
Cheng, Cong
NEW ENERGY POWER GENERATION AUTOMATION AND INTELLIGENT TECHNOLOGY, VOL 2, 2024, 1250 : 157 - 169

← 1 2 3 4 5 →