IfSQ
Papers, Presentations and Books
Journal Paper: An Analysis of Some Commercial PL/1 Programs
|
Finding relevant to IfSQ Standards:
IfSQ Defect Indicators:
-
DP-3—Unexpected State Not Trapped
Part of a program that uses a value to switch between different branches does not trap unexpected cases.