著者

徳本 晋 上原 忠弘 宗像 一樹 菊地 英幸 江口 亨 石田 晴幸 馬場 匡史

雑誌

組込みシステムシンポジウム2011論文集

巻号頁・発行日

vol.2011, pp.23-1-23-8, 2011-10-12

---

KLEE は LLVM 中間コードを対象としてシンボリック実行をすることができるツールである.C/C++ で書かれたプログラムは llvm-gcc や clang などのコンパイラで LLVM ビットコードにコンパイルできるため,C/C++ プログラムの検証ツールとして KLEE は期待されている.今回,2 つのプログラムについて KLEE を適用し,それにより検出したバグとその特徴を紹介するとともに,KLEE のバグ検出能力について考察する.また,他の商用 C/C++ 検証ツールで対象プログラムを解析したときの結果と,KLEE を使った場合との比較について報告する.さらに KLEE 適用時の課題を解決すべく,KLEE で生成したテストケースを CPPUNIT のテストコードへ変換するツールについても報告する.

著者

谷田 英生 Guodong Li Indradeep Ghosh 上原 忠弘

雑誌

ソフトウェアエンジニアリングシンポジウム2014論文集

巻号頁・発行日

vol.2014, pp.158-163, 2014-08-25

---

JavaScript コードは,対話性の高い Web アプリケーションやモバイルアプリの実現のために,今後さらに多用される傾向にあり,そのテストが重要となる.一方,JavaScript に対するテスト効率化技術は十分に整備されていない.そこで本稿では,JavaScript プログラムに対して網羅性の高い単体テストデータを自動生成する手法を提案する.手法は,JavaScript 記号実行エンジンと,記号実行エンジンの解析対象外とする記述を自動でスタブ化するスタブ・ドライバ生成エンジンにより構成される.手法は,実ブラウザ上での対象プログラム実行に使用可能な,単体テストデータを生成可能である.手法を現場の資産へ適用することにより,高カバレッジを実現する単体テストデータを自動生成可能なことが確認された.

著者

山本 里枝子 大橋 恭子 福寄 雅洋 木村 功作 関口 敦二 上原 忠弘 青山 幹雄

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.60, no.10, pp.1896-1914, 2019-10-15

---

クラウドの普及にともない,RESTに準拠したWeb APIが企業の情報システムに広がり,Web APIの利用や提供のためのソフトウェア開発が急速に増加している.そのため,Web APIの品質がそれを利用したアプリケーション開発の生産性と品質に大きな影響を及ぼすことが明らかになってきた.従来のシステム内APIと異なり,Web APIはリモートで実行され,ユーザと独立に変更される.これらの特徴はWeb APIのソフトウェア工学の新たな問題を提起しており,特に数が増えているエンタープライズWeb APIを利用するユーザのリスクとなっている.本稿では,システムAPIと異なるWeb APIの品質面の特徴をとらえる試みとして2つの品質特性を定義した.Web APIを利用するアプリケーション開発者のパースペクティブから,ユーザビリティの品質副特性である習得容易性と互換性の品質副特性である相互運用性が我々の課題に対応すると特定し,品質モデルを定義した.この品質モデルに基づいて,尺度と定量的評価方法も提案する.本稿では提案する品質モデルを,Uber,WordPress,OpenStack,メディア処理を含む実際のWeb APIに適用した.提案したモデルを検証するため,Web APIの習得容易性と相互運用性について実証的実験を行った.提案した品質の統計値と実験結果を比較し,提案した品質モデルと尺度の有効性を検証した.