Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Note

The CERT Function Extraction Experiment: Quantifying FX Impact on Software Comprehension and Verification

  • Abstract

    Function Extraction (FX) is a new, theory-based technology for automated calculation of the functional behavior of software. The CERT Function Extraction experiment was conducted so as to better understand the impact of FX on human comprehension and verification of soft-ware and to rigorously quantify the business case for FX technology. This report describes the results of the controlled experiment that was performed to compare traditional manual methods of comprehension with automated behavior computation using an FX prototype. The results of the experiment show a substantial increase in human capabilities for software comprehension and verification using FX technology.

  • Download

Cite This Report

SEI

Collins, Rosann; Hevner, Alan; Walton, Gwendolyn; & Linger, Richard. The CERT Function Extraction Experiment: Quantifying FX Impact on Software Comprehension and Verification. CMU/SEI-2005-TN-047. Software Engineering Institute, Carnegie Mellon University. 2005. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=7585

IEEE

Collins. Rosann, Hevner. Alan, Walton. Gwendolyn, and Linger. Richard, "The CERT Function Extraction Experiment: Quantifying FX Impact on Software Comprehension and Verification," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Note CMU/SEI-2005-TN-047, 2005. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=7585

APA

Collins, Rosann., Hevner, Alan., Walton, Gwendolyn., & Linger, Richard. (2005). The CERT Function Extraction Experiment: Quantifying FX Impact on Software Comprehension and Verification (CMU/SEI-2005-TN-047). Retrieved July 28, 2017, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=7585

CHI

Rosann Collins, Alan Hevner, Gwendolyn Walton, & Richard Linger. The CERT Function Extraction Experiment: Quantifying FX Impact on Software Comprehension and Verification (CMU/SEI-2005-TN-047). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2005. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=7585

MLA

Collins, Rosann., Hevner, Alan., Walton, Gwendolyn., & Linger, Richard. 2005. The CERT Function Extraction Experiment: Quantifying FX Impact on Software Comprehension and Verification (Technical Report CMU/SEI-2005-TN-047). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=7585

BibTex

@techreport{CollinsTheCERT2005,
title={The CERT Function Extraction Experiment: Quantifying FX Impact on Software Comprehension and Verification},
author={Rosann Collins and Alan Hevner and Gwendolyn Walton and Richard Linger},
year={2005},
number={CMU/SEI-2005-TN-047},
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=7585} }