Righting software

Author

Larus, James R. ; Ball, Thomas ; Das, Manuvir ; DeLine, Robert ; Fähndrich, Manuel ; Pincus, Jon ; Rajamani, Sriram K. ; Venkatapathy, Ramanathan

Author_Institution

Microsoft Res., Redmond, WA, USA

Volume

21

Issue

3

fYear

2004

Firstpage

92

Lastpage

100

Abstract

What tools do we use to develop and debug software? Most of us rely on a full-screen editor to write code, a compiler to translate it, a source-level debugger to correct it, and a source-code control system to archive and share it. These tools originated in the 1970s, when the change from batch to interactive programming stimulated the development of innovative languages, tools, environments, and other utilities we take for granted. Microsoft Research has developed two generations of tools, some of which Microsoft developers already use to find and correct bugs. These correctness tools can improve software development by systematically detecting programming errors.

Keywords

interactive programming; program compilers; program debugging; program verification; software tools; compiler; correctness tools; full-screen editor; innovative languages; interactive programming; programming error detection; software debugging; software development; source-code control system; source-level debugger; Computer languages; Control systems; Error correction; Performance analysis; Program processors; Programming profession; Software debugging; Software tools; Testing; Utility programs;

fLanguage

English

Journal_Title

Software, IEEE

Publisher

ieee

ISSN

0740-7459

Type

jour

DOI

10.1109/MS.2004.1293079

Filename

1293079