Program

De Software testing
Ir para: navegação, pesquisa

Concepts

  • A program is a sequence of actions on variables. <bib>martins:2003</bib>, <bib>vincenzi-etal:slides:2007</bib>


Facts

  • A program is considered correct if it behaves as expected on each element of its input domain. <bib>mathur:2008, 13</bib>
  • testing a program against invalid inputs might reveal errors in the program. <bib>mathur:2008, 14</bib>