Sciweavers

ICSQP
1994

Using Strongest Postconditions to Improve Software Quality

14 years 26 days ago
Using Strongest Postconditions to Improve Software Quality
: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on calculation of strongest postconditions of program components. The method provides a powerful means for detecting and removing by transformation various forms of redundancy and inconsistency in programs. The feasibility of this approach depends upon calculations of strongest postconditions for iterative constructs and assignments. Keyword Codes: D.2.1; D.2.4, D.2.8; F.3.1, F.3.2
Si Pan, R. Geoff Dromey
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1994
Where ICSQP
Authors Si Pan, R. Geoff Dromey
Comments (0)