自動テスト
継続的インテグレーション(CI)のテストの箇所
ユニットテスト
xUnit
Property Based Testing
QuickCheck
JUnit(JUnit 5から)
この先は自動テストというより、形式手法による証明を用いたものになる
モデル検査
定理証明支援系による形式検証
確認用
Q. 自動テスト
関連
自動テストの文化
メモ
自動テストの「開拓」と「慣れ」 - ジンジャー研究室
自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み
#Fleeting_Notes