AIソフトウェアのテスト の商品レビュー
流し読み。テスト技法が面白い。 ソフトウェアテストというよりも推論に対する“一般的な正しさ“の妥当性確認に近いものが多い。
Posted by
XAIと通じるところが少なくないのかなと感じました。フェールセーフ実現のためにできそうなことがいろいろわかり、面白かった。SATとSMTが理解できていないので、今後知識を得ていきたいと思います。
Posted by
- 1
流し読み。テスト技法が面白い。 ソフトウェアテストというよりも推論に対する“一般的な正しさ“の妥当性確認に近いものが多い。
Posted by
XAIと通じるところが少なくないのかなと感じました。フェールセーフ実現のためにできそうなことがいろいろわかり、面白かった。SATとSMTが理解できていないので、今後知識を得ていきたいと思います。
Posted by