Software testing for safety-critical applications

被引：14

作者：

Wang, LF ^{[1
]}

Tan, KC ^{[1
]}

机构：

[1] Natl Univ Singapore, Dept Elect & Comp Engn, Singapore 117548, Singapore

来源：

IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE | 2005年 / 8卷 / 02期

关键词：

D O I：

10.1109/MIM.2005.1438843

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

The purpose of software testing is to uncover bugs for removal and ensure the software's compliance with user requirements. In the mission-critical or life-critical systems, testing is an indispensable phase in the software life cycle. Unit testing for each program module helps to eliminate the inner errors and defects in logic and functionality. Integration testing is then conducted to detect and repair the structure errors in subsystems. Verification examines the software's adherence to the design requirements. Finally, system testing and validation examines whether the overall system meets the user expectations.

引用

页码：38 / 47

页数：10

共 50 条

[31] An Automatic Test Case Generator for Testing Safety-Critical Software Systems
Malekzadeh, Mehdi
Ainon, Raja Noor
2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 1, 2010, : 163 - 167
[32] UML based statistical testing acceleration of distributed safety-critical software
Yan, J
Wang, J
Chen, HW
PARALLEL AND DISTRIBUTED PROCESSING AND APPLICATIONS, PROCEEDINGS, 2004, 3358 : 433 - 445
[33] 100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis
Kaestner, Daniel
Heckmann, Reinhold
Ferdinand, Christian
COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2010, 6351 : 196 - 209
[34] The quantitative safety assessment for safety-critical software
Yu, YY
Johnson, BW
29th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2005, : 150 - 159
[35] Integrate hardware/software device testing for use in a safety-critical application
Kaufman, LM
Salinas, MH
Williams, RD
Giras, TC
ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2003 PROCEEDINGS, 2003, : 132 - 137
[36] Development of simulation-based testing environment for safety-critical software
Lee, Sang Hun
Lee, Seung Jun
Park, Jinkyun
Lee, Eun-Chan
Kang, Hyun Gook
NUCLEAR ENGINEERING AND TECHNOLOGY, 2018, 50 (04) : 570 - 581
[37] Some conservative stopping rules for the operational testing of safety-critical software
Littlewood, B
Wright, D
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (11) : 673 - 683
[38] A Framework for Software Safety in Safety-Critical Systems
Medikonda, Ben Swarup
Panchumarthy, Seetha Ramaiah
NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
[39] Reliability modeling for safety-critical software
Schneidewind, NF
IEEE TRANSACTIONS ON RELIABILITY, 1997, 46 (01) : 88 - 98
[40] Can safety-critical software be flexible?
Fraser, SW
PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, 2003, : 588 - 593

← 1 2 3 4 5 →