一般講演〔6H会場〕（9月28日（金）13：00〜16：00）
テスト・検証
座長 佐伯元司（東工大）
1 静的チェックツールの導入結果考察
○田部美智昭（NEC通信システム）
2 軽量フォーマルメソッドを使用したコンポーネントソフトウェア向け検証ツールに関する研究
○橋本吉治、二木厚吉（北陸先端大）、松本充広（PFU）
3 UMLを用いた試験仕様作成手法
○新井本武士、田村一賢、平山雅之、岡本 渉（東芝）
4 機能競合を考慮したソフトウェアテスト手法
○水野浩之、山本徹也、田村一賢、平山雅之（東芝）
5 ソフトウェアの理解性向上によるデバッグ時間の短縮
○内田眞司（近大）、寺井淳裕（管理工学研）、武村泰宏（大阪芸大）、阪井 誠（SRA）、島 和之、松本健一（奈良先端大）
6 静的解析と動的解析を併用したJavaプログラムスライス手法の提案と実現
○藤井将人、廣瀬航也、大畑文明、井上克郎（阪大）
7 JAVAアプレットリモートメンテナンス技術について
○高橋浩也、大原茂之（東海大）、吉田 聡（愛知学院大）
|