RELIABILITY OF SYMBOLIC EVALUATION.

被引：0

作者：

Howden, William E.

机构：

来源：

| 1977年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The effectiveness in discovering errors of symbolic evaluation and of testing and static program analysis are studied. The techniques are applied to a diverse collection of programs and the results compared. The testing stategies that are evaluated include branch testing, structured testing and testing on input values having special properties. The static source analysis techniques that are studied include anomaly analysis and interface analysis.

引用

页码：442 / 447

共 50 条

[1] Symbolic interface for pollutant forecast. An evaluation.
Amato, A
Andria, G
Tony, DO
Di Lecce, V
Guerriero, A
Lanzolla, AMI
Pasquale, C
Piuri, V
VECIMS'03: 2003 IEEE INTERNATIONAL SYMPOSIUM ON VIRTUAL ENVIRONMENTS, HUMAN-COMPUTER INTERFACES AND MEASUREMENT SYSTEMS, 2003, : 85 - 89
[2] RELIABILITY AND SUPPORT DATA FOR STATISTICAL EVALUATION.
Andrews, A.
AGARD Conference Proceedings, 1979, (261): : 1 - 43
[3] TOWARD AN EFFECTIVE SOFTWARE RELIABILITY EVALUATION.
Miyamoto, Isao
1978, : 46 - 55
[4] HAZARD CONTROL SYSTEM RELIABILITY EVALUATION.
Capps, J.H.
Professional safety, 1981, 26 (03): : 20 - 26
[5] ADVANCED RELIABILITY METHODS FOR STRUCTURAL EVALUATION.
Wirsching, P.H.
Wu, Y.-T.
1600, (109):
[6] LOAD MODELING IN POWER SYSTEM RELIABILITY EVALUATION.
Billinton, Roy
Endrenyi, J.
1976,
[7] SYMBOLIC RELIABILITY EVALUATION USING A MICROPROCESSOR
SHARMA, S
AGGARWAL, KK
RELIABILITY ENGINEERING & SYSTEM SAFETY, 1989, 24 (01) : 51 - 67
[8] SYMBOLIC RELIABILITY EVALUATION OF REDUCIBLE NETWORKS
MISRA, RB
MICROELECTRONICS RELIABILITY, 1979, 19 (03) : 253 - 257
[9] Quantitative nondestructive evaluation. Requirements for tomorrow's reliability
NASA Conference Publication, 1991, (3109 pt 2):
[10] ADEQUACY INDICES FOR COMPOSITE GENERATION AND TRANSMISSION SYSTEM RELIABILITY EVALUATION.
Billinton, R.
Medicherla, T.K.P.
Sachdev, M.S.
1979,

← 1 2 3 4 5 →