Closing the loop: The influence of code analysis on design

被引：0

作者：

Amey, P ^{[1
]}

机构：

[1] Praxis Crit Syst, Bath BA1 1PX, Avon, England

来源：

RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002 | 2002年 / 2361卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Static code analysis originally concerned the extraction from source code of various properties of a program. Although this kind of reverse engineering approach can uncover errors that are hard to detect in other ways, it is not a very efficient use of resources because of its retrospective nature and the late error detection that results. The SPARK language and its associated Examiner tool took a different approach which emphasises error prevention ("correctness by construction") rather than error detection. Recent work with SPARK has shown that very early application of static analysis can have a beneficial influence on software architectures and designs. The paper describes the use of SPARK to produce designs with demonstrably low coupling and high cohesion.

引用

页码：151 / 162

页数：12

共 50 条

[1] Closing the loop between composite design and analysis
Guillermin, O
Luby, SC
[J]. JOURNAL OF ADVANCED MATERIALS, 2002, 34 (03): : 9 - 15
[2] Design and analysis of loop code recognition circuits
Zhu, N
Ge, YQ
Zhou, RD
Yang, XZ
[J]. 1996 2ND INTERNATIONAL CONFERENCE ON ASIC, PROCEEDINGS, 1996, : 187 - 190
[3] Closing the loop on packaging design
Leftwich, T
[J]. CHEMICAL ENGINEERING, 1997, 104 (06) : 157 - 157
[4] PROBABILISTIC SEISMIC HAZARD ANALYSIS AND DESIGN EARTHQUAKES - CLOSING THE LOOP
MCGUIRE, RK
[J]. BULLETIN OF THE SEISMOLOGICAL SOCIETY OF AMERICA, 1995, 85 (05) : 1275 - 1284
[5] CLOSING LOOP IN OPTICAL SYSTEM DESIGN
SHANNON, RR
[J]. IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 1969, AES5 (02) : 273 - &
[6] Design and performance analysis of a noncoherent code tracking loop with variable loop bandwidth
Yang, YS
Lee, SH
Yoon, SS
Park, HR
[J]. PIMRC 2003: 14TH IEEE 2003 INTERNATIONAL SYMPOSIUM ON PERSONAL, INDOOR AND MOBILE RADIO COMMUNICATIONS PROCEEDINGS, VOLS 1-3 2003, 2003, : 1380 - 1384
[7] CLOSING THE LOOP IN NETWORK ANALYSIS
KERSHENBAUM, A
[J]. JOURNAL OF TELECOMMUNICATION NETWORKS, 1983, 2 (02): : 222 - 223
[8] Closing the Loop Between Analog Design and Test
Sunter, Stephen
[J]. 2016 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2016, : 894 - 897
[9] CLOSING THE LOOP OF DESIGN AND ANALYSIS Parametric modelling tools for early decision support
Toth, Bianca
Salim, Flora
Drogemuller, Robin
Frazer, John
Burry, Jane
[J]. PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED ARCHITECTURAL DESIGN RESEARCH IN ASIA (CAADRIA 2011): CIRCUIT BENDING, BREAKING AND MENDING, 2011, : 525 - 534
[10] Design and analysis of a decision-feedback coherent code tracking loop with variable loop bandwidth
Park, HR
Yang, YS
Kim, YS
[J]. 5th World Wireless Congress, Proceedings, 2004, : 194 - 199

← 1 2 3 4 5 →