concolic testingと背景技術 ~テスト技法の新動向~.pdf

情報処理学会・ソフトウェア工学研究会 Concolic testingと背景技術 ~テスト技法の新動向~ ㈲デバッグ工学研究所 松尾谷 徹 matsuodani＠ R-13. 9 © DebugEng Debug Engineering Institute 概要と目次  概 要 ☆ 現場におけるテストの課題：テスト漏れ，テストケース数の爆発，属人性（ 今も昔もかわらない） ☆ テストの方法： 動的テストが主流でその技法の進歩は緩慢 ★ 新たな技法：静的解析（静的テスト）の台頭 ★ 活発な基礎研究（海外）とオープンソース（ツール） ★ 「現場におけるテストの課題」を解決する薄明り  目 次 1. テストの領域: テストの歴史 2. 動的テストとその課題： 仕様通りであることの検証 3. 静的解析（静的テスト）の進歩： バグの特性を探索する 4. Concolic Testingの誕生： 静的解析と動的解析 5. Concolic Testingの応用例： どのように活用するのか？ 6. まとめ 22 © DebugEng Debug Engineering Institute Concolic testingと背景技術 1.テストの領域  ソフトウェアテストの歴史 3333333 © DebugEng Debug Engineering Institute ソフトウェアテスト  Software Engineering （SE) の始まり  NATO防空システム開発の失敗 －＞ その対策 – ソフトウェア開発・失敗の共通的な現象 – テスト段階で，さまざまな不具合，機能不足，・・・テストで混乱 – その原因は – 色々あるが ＜組織化，工業化されない，経験学習型プログラマーの群＞  そこから，2系統 – ソフトウェアが持つ構造や変換など：アーキテクチャ，コンパイラ，・・・ – ソフトウェア関連の活動や管理など：プロセス，品質特性，・・・ – 要するに，日曜大工的な経験手法から，工学的な根拠に基づく手法へ  その中で，テストは？ – 取り残された領域 4 © DebugEng Debug Engineering Institute 1.1 ソフトウェアとテストの歴史  テスト（デバッグ）の出現  プログラミングと同時  世界初のコンピュータ ENIAC （1946年）  その試運転用のデモ用プログラムが動作しない ！・・・・世界初のデバッグ – 当時のプログラムは，コード（電線）で結線する方式  Programming とDebugging ＜表と裏の一体＞  人が，複雑な論理を取り扱うこと＝＞不慣れで意図した通りにならない  複雑性（量的，質的）が増すと，デバッグが大変 大変さ Programmingの限界（表の世界） 同時にDebuggingの限界（表裏一体） 複雑性 5 © DebugEng Debug Engineering Institute 1.2 Programmingの進化  限界打破のために  複雑性を緩和する，工学的なアプローチ