一般講演〔2Z会場〕（3月13日（火）15：15〜17：15）
ソフトウェアの品質向上（1）
1 探針型デバッグ手法の実現（1）−概要と評価−
○岡本 渉、植木克彦、田村文隆、平山雅之（東芝）
2 探針型デバッグ手法の実現（2）−アルゴリズム−
○田村文隆、植木克彦、岡本 渉、平山雅之（東芝）
3 システム開発工程におけるドキュメントの整合性テストに関する一考察
○伊東利朗、大原茂之（東海大）
4 OCLによるUMLクラスモデルの一貫性チェック
○上村匡稔、小川 満、宇都宮公訓（筑波大）
5 要求変更に伴うソフトウェア変更箇所の同定
○高橋正和、津田和彦（筑波大）
6 入力値のみ保持する変数を持つEFSM群に対する動的性質検証システムの実装
○平田雅之、山崎謙治、岡野浩三、谷口健一（阪大）
7 ソフトウェアの論理テストに対するkファクターカバリングデザインの有効性の評価
○小林慎和、土屋達弘、菊野 亨（阪大）
|