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 条
  • [21] Development of a Computer Program for Permeation Testing Data Analysis
    Gao, Pengfei
    Weise, Tyson
    Tomasovic, Beth
    JOURNAL OF OCCUPATIONAL AND ENVIRONMENTAL HYGIENE, 2009, 6 (06) : 363 - 373
  • [22] Analysis of an Expanded Targeted Early Cytomegalovirus Testing Program
    Suarez, Daniel
    Nielson, Christopher
    McVicar, Stephanie B.
    Sidesinger, Max
    Ostrander, Betsy
    O'Brien, Elizabeth
    Ampofo, Krow
    Ling, Con Y.
    Miner, Lonnie J.
    Park, Albert H.
    OTOLARYNGOLOGY-HEAD AND NECK SURGERY, 2023, 169 (03) : 679 - 686
  • [23] GRT: Program-Analysis-Guided Random Testing
    Ma, Lei
    Artho, Cyrille
    Zhang, Cheng
    Sato, Hiroyuki
    Gmeiner, Johannes
    Ramler, Rudolf
    2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, : 212 - 223
  • [24] SMT solvers for Testing, Program Analysis and Verification at Microsoft
    Bjorner, Nikolaj
    11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009), 2009, : 15 - 15
  • [25] Static analysis tool supporting C program testing
    Jixie Kexue Yu Jishu, 5 (813):
  • [26] Development of numerical analysis program of laser microscope data
    Hasegawa, M
    Akita, M
    Izumi, K
    Kubono, T
    ELECTRICAL CONTACTS-2004: PROCEEDINGS OF THE 50TH IEEE HOLM CONFERENCE ON ELECTRICAL CONTACTS/THE 22ND INTERNATIONAL CONFERENCE ON ELECTRICAL CONTACTS, 2004, : 441 - 446
  • [27] Acceleration of the abstract fixpoint computation in numerical program analysis
    Bouissou, Olivier
    Seladji, Yassamine
    Chapoutot, Alexandre
    JOURNAL OF SYMBOLIC COMPUTATION, 2012, 47 (12) : 1479 - 1511
  • [28] The ESO photometric and astrometric analysis program for AO: A programmatic and numerical analysis
    Currie, D
    Bonaccini, D
    Diolaiti, E
    Tordo, S
    Naesgarde, K
    Liwing, J
    Bendinelli, O
    Parmeggiani, GL
    Close, L
    ADAPTIVE OPTICAL SYSTEMS TECHNOLOGY, PTS 1 AND 2, 2000, 4007 : 866 - 878
  • [29] Testing and numerical analysis for water seepage of crushed rocks
    Liu, Weiqun
    Miao, Xiexing
    Geophysical Solutions for Environment and Engineering, Vol 1 and 2, 2006, : 960 - 964
  • [30] TESTING NUMERICAL RELIABILITY OF DATA-ANALYSIS SYSTEMS
    SAWITZKI, G
    COMPUTATIONAL STATISTICS & DATA ANALYSIS, 1994, 18 (02) : 269 - 286
12345