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 条

[21] The IEEE 12th International Conference on Software Testing, Verification & Validation
Memon, Atif M.
Cohen, Myra B.
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2021, 31 (04):
[22] Testing-Based Formal Verification for Alogrithmic Function Theorems and Its Application to Software Verification and Validation
Liu, Shaoying
2016 INTERNATIONAL SYMPOSIUM ON SYSTEM AND SOFTWARE RELIABILITY (ISSSR), 2016, : 1 - 6
[23] Track on Software Verification and Testing
Caltais, Georgiana
Petke, Justyna
Proceedings of the ACM Symposium on Applied Computing, 2024, : 1673 - 1674
[24] Software debugging, testing, and verification
Hailpern, B
Santhanam, P
IBM SYSTEMS JOURNAL, 2002, 41 (01) : 4 - 12
[25] Software testing and verification - Preface
Bates, ML
Ritsko, JJ
IBM SYSTEMS JOURNAL, 2002, 41 (01) : 2 - 3
[26] Software Testing, Verification and Reliability
Offutt, Jeff
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2014, 24 (02): : 83 - 84
[27] From safety verification to safety testing
Rusu, V
Marchand, H
Tschaen, V
Jéron, T
Jeannet, B
TESTING OF COMMUNICATING SYSTEMS, 2004, 2978 : 160 - 176
[28] Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), Software Verification and Validation 2003 Preface
Etalle, Sandro
Mukhopadhyay, Supratik
Roychoudhury, Abhik
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 118 : 1 - 1
[29] The epistemology of validation and verification testing
Maibaum, TSE
TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2005, 3502 : 1 - 8
[30] TEACHING SOFTWARE-VERIFICATION AND VALIDATION TO SOFTWARE PRACTITIONERS
LUGINBUHL, DR
CARDOW, JE
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 640 : 167 - 179

← 1 2 3 4 5 →