Home >  Term: output assertion
output assertion

A logical expression specifying one or more conditions that program outputs must satisfy in order for the program to be correct.

0 0

Creator

  • artemis
  •  (Gold) 1356 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.