バグを取る
debug a program
(ディー・バッグ=ミスを取り除く、盗聴器を取り除く、害虫を除く)
プログラムの正しさを検証する
verify a program
(・ヴェリファイ=確かめる、実証する、立証する、裏付ける)
要求仕様や設計仕様に照らして検証する
validate a program
(・ヴァリデイト=法的に有効とする、正当性を立証する、正当と認める、批准する、有効にする)
バージョンアップする
upgrade a program
(アップ・デイト)
プログラムのパラメーターを調整してチューニングする
tune up a program
(・テューナップ=音合わせをする、音程を合わせる、調子を整える)
プログラムの構造や振る舞いを分析する
analyze a program
(・アナライズ=検討する、解説する)
プログラムを合成する
synthesize program
(・スィンセサイズ=総合する、統合する)
