Numerical Program Analysis and Testing

被引：0

作者：

Gao, Zheng ^{[1
]}

机构：

[1] UCL, Gower St, London WC1E 6BT, England

来源：

22ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (FSE 2014) | 2014年

关键词：

Numerical program; real encoding; static analysis; testing; SYMBOLIC EXECUTION;

D O I：

10.1145/2635868.2666603

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Numerical software is playing an increasingly critical role in modern society, but composing correct numerical programs is difficult. This paper describes a doctoral research program that aims to alleviate this issue. It tackles real world problems and is guided by features learned from empirically studying these programs. By assisting developers in the production of numerical software, it improves the quality and productivity of software development. The research depends on numerical analysis and lies in the intersection of software engineering and program analysis.

引用

页码：779 / 782

页数：4

共 50 条

[1] Symbiosis of static analysis and program testing
Young, M
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 1 - 5
[2] Components of Program for Analysis of Spectra and Their Testing
Javurek, Milan
Taufer, Ivan
ACTA MONTANISTICA SLOVACA, 2013, 18 (01) : 52 - 58
[3] Symbiosis of static analysis and program testing
Young, Michal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2621 : 1 - 5
[4] Making Numerical Program Analysis Fast
Singh, Gagandeep
Pueschel, Markus
Vechev, Martin
ACM SIGPLAN NOTICES, 2015, 50 (06) : 303 - 313
[5] PRECISE NUMERICAL-ANALYSIS PROGRAM
ABERTH, O
COMMUNICATIONS OF THE ACM, 1974, 17 (09) : 509 - 513
[6] Program Sketching Using Lifted Analysis for Numerical Program Families
Dimovski, Aleksandar S.
Apel, Sven
Legay, Axel
NASA FORMAL METHODS (NFM 2021), 2021, 12673 : 95 - 112
[7] A contribution to program comprehension by program analysis: Application to numerical programs
AitAmeur, Y
AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 134 - 141
[8] Numerical development and testing of an accurate and efficient layered elastic computer program
Stache, Jeremiah M.
INTERNATIONAL JOURNAL OF PAVEMENT ENGINEERING, 2023, 24 (02)
[9] Implementation of a computer database testing and analysis program
Rouse, Deborah P.
CIN-COMPUTERS INFORMATICS NURSING, 2007, 25 (05) : 273 - 280
[10] Improving the testing process by program static analysis
Kikuchi, N
Kikuno, T
APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 195 - 201

← 1 2 3 4 5 →