Advanced Search

Content Type

Topics

Publication Date

PSP-VDC: An Adaptation of the PSP that Incorporates Verified Design by Contract

Abstract

The Personal Software Process (PSP) promotes the use of careful procedures during all stages of development with the aim of increasing an individual ' 's productivity and producing high quality final products. Formal methods use the same methodological strategy as the PSP: emphasizing care in development procedures as opposed to relying on testing and debugging. They also establish the radical requirement of proving mathematically that the programs produced satisfy their specifications. Design by Contract (DbC) is a technique for designing components of a software system by establishing their conditions of use and behavioral requirements in a formal language. When appropriate techniques and tools are incorporated to prove that the components satisfy the established requirements, the method is called Verified Design by Contract (VDbC).

This paper describes a proposal for integrating VDbC into PSP in order to reduce the amount of defects present at the Unit Testing phase, while preserving or improving productivity. The resulting adaptation of the PSP, called PSPVDC, incorporates new phases, modifies others, and adds new scripts and checklists to the infrastructure. Specifically, the phases of Formal Specification, Formal Specification Review, Formal Specification Compile, Test Case Construct, Pseudo Code, Pseudo Code Review, and Proof are added.

This paper describes a proposal for integrating VDbC into PSP in order to reduce the amount of defects present at the Unit Testing phase, while preserving or improving productivity. The resulting adaptation of the PSP, called PSPVDC, incorporates new phases, modifies others, and adds new scripts and checklists to the infrastructure. Specifically, the phases of Formal Specification, Formal Specification Review, Formal Specification Compile, Test Case Construct, Pseudo Code, Pseudo Code Review, and Proof are added. 

Cite This Report

Show Citation Formats

SEI

Moreno, Silvana; Tasistro, Álvaro; Vallespir, Diego; & Nichols, William. PSP-VDC: An Adaptation of the PSP that Incorporates Verified Design by Contract (CMU/SEI-2013-TR-005). Software Engineering Institute, Carnegie Mellon University, 2013. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=47974

IEEE

Moreno. Silvana, Tasistro. Álvaro, Vallespir. Diego, and Nichols. William, "PSP-VDC: An Adaptation of the PSP that Incorporates Verified Design by Contract," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-2013-TR-005, 2013. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=47974

APA

Moreno, Silvana., Tasistro, Álvaro., Vallespir, Diego., & Nichols, William. (2013). PSP-VDC: An Adaptation of the PSP that Incorporates Verified Design by Contract (CMU/SEI-2013-TR-005). Retrieved July 29, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=47974

CHI

Silvana Moreno, Álvaro Tasistro, Diego Vallespir, & William Nichols. PSP-VDC: An Adaptation of the PSP that Incorporates Verified Design by Contract (CMU/SEI-2013-TR-005). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2013. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=47974

MLA

Moreno, Silvana., Tasistro, Álvaro., Vallespir, Diego., & Nichols, William. 2013. PSP-VDC: An Adaptation of the PSP that Incorporates Verified Design by Contract (Technical Report CMU/SEI-2013-TR-005). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=47974