Testing Safety-Related Software