tuleb sobiva plaani koostamisel infot vahetada ja kokkuleppeid saavutada nii arendajate esindajaga kui vajadusel ka teiste huvitatud osapooltega. Seejärel tuleb saadud informatsiooni põhjal vastata küsimustele, millele peab vastuse andma testiplaan. Milline on testimise projekti skoop? Milliseid meetodeid ja vahended kasutatakse testimisel? Milliseid tegevusi viiakse läbi testimise käigus ning mis on nende tegevuste tulemiteks? Milliseid ressursse testimisel kasutatakse ning milline on testimise ajagraafik, kes viivad läbi testimise tegevusi? Milliseid omadusi ja objekte testitakse ja ei testita? Millised on testimise projektiga seotud riskid ning kuidas toimida nende realiseerumisel? Kui projekti näeb ette testimise automatiseerimist, on soovitav testiplaani koostamisel
Lauseloogikas on kasutusel kaks algebrat, mis kuuluvad Boole'i algebrate klassi: tõeväärtuste algebra ja lausearvutuse algebra. Boole'i algebra lihtsat erijuhtu, mida esindab kahe tõeväärtusega Boole'i algebra, nimetatakse ka loogikaalgebraks. Tõeväärtuste Boole'i algebras (loogikaalgebras) on kandvaks hulgaks tõeväärtuste hulk {tõene, väär} ehk {1,0}, lausearvutuse algebras on kandvaks hulgaks lausete hulk. Loogikaalgebras on tehete operandideks tõeväärtused ja tehete tulemiteks on samuti mingid tõeväärtused, teisiti öeldes: loogikaalgebra tehted on defineeritud tõeväärtuste hulgal. D7.2.1. Loogikaalgebra tehe on tõeväärtuste hulgal {tõene, väär} defineeritud tehe. 3 Selliseid funktsioone (algebralisi tehteid), mille kandvaks hulgaks on tõeväärtuste hulk {1,0}, nimetatakse tõeväärtusfunktsioonideks (truth function). Loogikaalgebra tehted on tõeväärtusfunktsioonid. Lausearvutuse Boole'i algebra kandvat hulka võiks nimetada formaalsete lausete
Lauseloogikas on kasutusel kaks algebrat, mis kuuluvad Boole'i algebrate klassi: tõeväärtuste algebra ja lausearvutuse algebra. Boole'i algebra lihtsat erijuhtu, mida esindab kahe tõeväärtusega Boole'i algebra, nimetatakse ka loogikaalgebraks. Tõeväärtuste Boole'i algebras (loogikaalgebras) on kandvaks hulgaks tõeväärtuste hulk {tõene, väär} ehk {1,0}, lausearvutuse algebras on kandvaks hulgaks lausete hulk. Loogikaalgebras on tehete operandideks tõeväärtused ja tehete tulemiteks on samuti mingid tõeväärtused, teisiti öeldes: loogikaalgebra tehted on defineeritud tõeväärtuste hulgal. D7.2.1. Loogikaalgebra tehe on tõeväärtuste hulgal {tõene, väär} defineeritud tehe. 3 Selliseid funktsioone (algebralisi tehteid), mille kandvaks hulgaks on tõeväärtuste hulk {1,0}, nimetatakse tõeväärtusfunktsioonideks (truth function)