バグ発生の制約条件追加によるコンコリックテストのバグ発見能力の向上

摘要

コンコリックテストは，シンボルを入力として実行を行うシンボリック実行と，具体的な入力値を用いた実行を組み合わせるテスト手法である．そして，カバレッジを効率よく高めることができるという利点のため，注目されている．しかし，カバレッジを100%にしたとしてもゼロによる割り算，配列への不正アクセス，辞書型への不正アクセスなどの一部のバグは見逃してしまう可能性がある．そこで，本研究では，Pythonを対象に，コンコリックテストを実施する際にこれらのバグを検出することのできるように制約条件を追加する手法を提案する．