An automated testing methodology based on self-checking software

被引：0

作者：

Reinhart, T ^{[1
]}

Boettcher, C ^{[1
]}

Wasserman, H ^{[1
]}

机构：

[1] USAF, Res Lab, Wright Patterson AFB, OH 45433 USA

来源：

PROCEEDINGS OF THE IEEE 1998 NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE | 1998年

关键词：

D O I：

10.1109/NAECON.1998.710118

中图分类号：

V [航空、航天];

学科分类号：

08 ; 0825 ;

摘要：

New techniques are required to speed the software testing process and to enhance the ultimate reliability of mission-critical embedded information systems. Here we employ result-checking, a technique in which software assures the correctness of its own computations through efficient run-time checks. Building on previous work at U.C. Berkeley and Raytheon Systems Company, the Air Force Research Laboratory is funding the Automated Generation of Avionics Software Tests (AGAST) program to demonstrate that result-checking can be the basis for a flexible new methodology of software testing. This methodology aims at the production of software which has an enhanced sensitivity to its own errors (complemented with appropriate instrumentation), and which therefore may be tested with extremely high efficiency and accuracy.

引用

页码：205 / 212

页数：8

共 50 条

[1] Self-Checking Tamper-Proofing Based on Software Behavior Model
Li, Dan
Hu, Yingsong
Hu, Xiangxiao
Ling, Hefei
[J]. FCST 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, : 639 - 643
[2] Self-Checking Performance Verification Methodology for Complex SoCs
Ghosh, Prokash
Mai, V. N. Dwaraka
Chopra, Aditya
Sood, Baljinder
[J]. 2023 24TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, ISQED, 2023, : 33 - 40
[3] Automated Design of Totally Self-Checking Sequential Circuits
Greblicki, Jerzy
Kotowski, Jerzy
[J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 98 - 105
[4] Design, verification, and validation of self-checking software components
Geoghegan, SJ
Avresky, D
[J]. CONFERENCE PROCEEDINGS OF THE 1996 IEEE FIFTEENTH ANNUAL INTERNATIONAL PHOENIX CONFERENCE ON COMPUTERS AND COMMUNICATIONS, 1996, : 420 - 426
[5] Concurrent Delay Testing in Totally Self-Checking Systems
Antonis Paschalis
Dimitris Gizopoulos
Nikolaos Gaitanis
[J]. Journal of Electronic Testing, 1998, 12 : 55 - 61
[6] Concurrent delay testing in totally self-checking systems
Paschalis, A
Gizopoulos, D
Gaitanis, N
[J]. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 1998, 12 (1-2): : 55 - 61
[7] State Encoding and Minimization Methodology for Self-Checking Sequential Machines
Brzozowska, Agata
Greblicki, Jerzy
Kotowski, Jerzy
[J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2011, PT I, 2012, 6927 : 551 - 558
[8] A SELF-CHECKING AUDIOMETER
FLYGSTAD, DW
[J]. JOURNAL OF THE AUDIO ENGINEERING SOCIETY, 1967, 15 (01): : 51 - &
[9] SELF-CHECKING COMPARATOR
GOESSEL, M
SOGOMONYAN, ES
[J]. AUTOMATION AND REMOTE CONTROL, 1992, 53 (10) : 1599 - 1604
[10] SELF-CHECKING CHECKERS
REDDY, SM
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1974, C 23 (10) : 1100 - 1102

← 1 2 3 4 5 →