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 条
12345