ソフトウェア・テストと安全なソフトウェアを作ることについての思索