Slide 15
Slide 15 text
課題 コード実行を伴うテストや検証が大変
● 構造上、単体テストによる検証がしづらい
○ Webサーバ:実行時間の短い関数を独立・並行実行
○ MLジョブ:実行時間の長い関数を依存・直列実行
● テストケースの整備にMLの専門知識が必要
○ データのサイズや分布が異なると挙動が変わる
○ アルゴリズムに対する数理的な理解が要求される
● 一度のテスト実行に多大な時間とリソースが必要
アイデアと展望
● ソフトウェアの静的解析手法の応用
○ 出力の値域や計算量を実行前にある程度知りたい
○ アルゴリズム実装の正しさの検証ができないか?
● 現状は動的型言語 (Python, R, ...) が主流なので難しさも