以前作ったシステムの話。

ある顧客の担当者から、
　「このシステムにバグがないことを証明しろ」
と言う無理難題を突きつけられたこと
がある。
そんなことは証明できないわけで、結局導入から１年、何事もなく動いていたので、その話はうやむや
になった。
　「もし、ダウンしたら、あなたの会社ですべて対応をしていただきます。」
ダウンもしなかったし、「奇跡的に」ひとつのパッチもいれずに済んだ。

後でわかったことだが、その担当者が他の会社に作らせたシステムは、どれもこれも
使い物にならないもので、結局何度も作り変えたとか。そういった不信感が無理な要求
のもととなったわけだ。

　「このシステムにバグがないことを証明しろ」
君たちならどうする？