PICT, A Tool For Interactively Capturing and Managing Programmer's Intentions

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N00014-12-M-0242
Agency Tracking Number: O113-CP1-4041
Amount: $149,427.00
Phase: Phase I
Program: SBIR
Awards Year: 2012
Solicitation Year: 2011
Solicitation Topic Code: OSD11-CP1
Solicitation Number: 2011.3
Small Business Information
Galois, Inc.
421 SW Sixth, Suite 300, Portland, OR, -
DUNS: 098009918
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Mark Tullsen
 Principal Investigator
 (503) 808-7159
 tullsen@galois.com
Business Contact
 Jodee LeRoux
Title: Contracts
Phone: (503) 808-7209
Email: jodee@galois.com
Research Institution
 Stub
Abstract
The so-called"software crisis"is continuing unabated. It is all too common for a software project to create software that is hard to maintain, inefficient, bug-ridden, late, and over-budget. Software flaws resulting from this current state of affairs are no longer an inconvenience but are the largest source of software security vulnerabilities. Motivated by a desire to increase our ability to reduce software flaws, we propose to add to the software engineer's toolbox a new tool---one that is complementary to existing type checking, testing, and verification approaches---which can measurably increase programmer productivity and decrease software defects. This new tool will interactively capture code properties and allow for the managing, analysis, and display of these properties during software development. The code properties that can be captured by our tool can range from low level code assertions ('p'isn't a null pointer) to high level design decisions (class'C'is a singleton class). The tool is designed to provide feedback about global analyses of the program, work in real-time, be unobtrusive to the programmer, distinguish inferred properties from intended properties, and minimize programmer input.

* information listed above is at the time of submission.

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government