Zpo-8-wyk-Slajd26
Podział przekształceń – sposób weryfikacji(1)
Jednak wśród przekształceń trudnych także można wyróżnić dwie podgrupy: przekształceń testowalnych i nieokreślonych. Szczególnie interesująca jest druga kategoria: należące do niej przekształcenia wprawdzie wymagają testowania, jednak można dość precyzyjnie wskazać niezmienniki, które powinny być zweryfikowane (lecz, oczywiście, nie dowiedzione!) za pomocą testów. Zatem możliwe jest zapewnienie programiście wsparcia co do rodzaju i sposobu tworzenia testów, a nawet częściowe zautomatyzowanie tego procesu. Kategoria przekształceń nieokreślonych zawiera przekształcenia, które wymagają testów, ale nie można wskazać ich natury i sposobu realizacji. Do tej kategorii należą przekształcenia tradycyjnie trudne, i w ich przypadku pracochłonność nadal jest bardzo wysoka.
