ICSE2007 Proceedings調査

探しにくいのでリンク

• Proceedings of the 29th international conference on Software Engineering

順に概要をチェックしてみる

• http://portal.acm.org/citation.cfm?id=1248820.1248834&coll=portal&dl=ACM&type=series&idx=SERIES402&part=series&WantType=Proceedings&title=ICSE&CFID=63731759&CFTOKEN=98025017
  • 状態空間でモデルチェックでのエラー検出を並行でやる最適化。randomizationって何？比較。

• Sequential Circuits for Relational Analysis
  • Alloyはfirst-order relational logic。SERAは関係論理をsequential circuitに変換。線形回路は簡潔で解析方法も多い。SERA+線形回路分析でAlloyよりいい。

まとめ書くの入れて1つ10分てとこか。

• http://portal.acm.org/citation.cfm?id=1248820.1248836&coll=portal&dl=ACM&type=series&idx=SERIES402&part=series&WantType=Proceedings&title=ICSE&CFID=63731759&CFTOKEN=98025017
  • ??

• Behaviour Model Synthesis from Properties and Scenarios
  • 属性とシナリオから、Modal Transition Systemsでの振舞いモデルを構築する新規合成技術の提案。MTSは振る舞いをrequired/possible/proscribedに分ける。

• Feature Oriented Model Driven Development
  • モデルから実行プログラムに変換するMDDと、特徴の組み合わせとするプロダクトラインの考え方のFOPを組み合わせたFeature Oriented Model Driven Development (FOMDD)のPortletでのケーススタディ。Portlet組み合わせの数学的特性の明示。

• Matching and Merging of Statecharts Specifications
  • モデル管理で、階層状態表を操作する二つのオペレータ、モデルのmatch/mergeを描写。matchはヒューリスティック、mergeは入力モデルの階層を保存

• http://portal.acm.org/citation.cfm?id=1248820.1248840&coll=portal&dl=ACM&type=series&idx=SERIES402&part=series&WantType=Proceedings&title=ICSE&CFID=63731759&CFTOKEN=98025017
  • AOPでコード成長させるときリグレッションテストで、コスト減のために再実行する必要なテストの選択を行う。この選択でOOPでの選択手法では不足で、AspectJの新たな制御フロー表現を提案する。

• Feedback-Directed Random Test Generation
  • フィードバックを加えたランダムテスト生成の改善。

• Compatibility and Regression Testing of COTS-Component-Based Software
  • COTS用のリグレッションテスト自動生成とか

• DECKARD
  • コードクローンの新たな発見アルゴリズムについて

• Very-Large Scale Code Clone Analysis and Visualization of Open Source Programs Using Distributed CCFinder
  • コードクローン発見の分散分析について

• Using Server Pages to Unify Clones in Web Applications
  • サーバーページにおけるコードクローンの統合による効果について

• Automated Inference of Pointcuts in Aspect-Oriented Refactoring
  • AOPリファクタリングでのジョインポイントのリファクタリング候補の自動発見とそのテストメカニズム。

• http://portal.acm.org/citation.cfm?id=1248820.1248847&coll=portal&dl=ACM&type=series&idx=SERIES402&part=series&WantType=Proceedings&title=ICSE&CFID=63731759&CFTOKEN=98025017
  • ソースレベルアスペクト折込でのAutomated Round-trip Software Engineering (ARE)アプローチの形式的フレームワーク。

• Identifying Feature Interactions in Multi-Language Aspect-Oriented Frameworks
  • 複数のアスペクト言語の同時利用での、機能不全の分析。アスペクト言語の分類とそれらの間での問題解決方法。

• Tracking Code Clones in Evolving Software
  • プログラムの成長におけるコードクローンの追跡技術。ファイルやコード構造とは独立したabstract clone region descriptors (CRD)を使う。

• Do Maintainers Utilize Deployed Design Patterns Effectively?
  • メンテナが事前に埋め込まれたデザインパターンを使えるか

• http://portal.acm.org/citation.cfm?id=1248820.1248851&coll=portal&dl=ACM&type=series&idx=SERIES402&part=series&WantType=Proceedings&title=ICSE&CFID=63731759&CFTOKEN=98025017
  • パッケージ依存解決ツール。apt-getとの速さ比較

• Modeling Product Line Architectures through Change Sets and Relationships
  • 既存のプロダクトラインモデルでの変化ポイントはオプションと置き換えになってる。それは概念や実行の変化にとってミスマッチが大きい。アーキテクチャ的差に対する変更セットとあるアーキテクチャと組み合わせたときの変更セットの組み合わせが正しいことの関連を使った、新たなプダクトラインアーキテクチャを提案。

• On Accurate Automatic Verification of Publish-Subscribe Architectures
  • PubSub基盤の正確さのためのアプローチ。特定のアーキテクチャのためのモデルチェッキングの単純化など。

• Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset
  • architecture description languages (ADLs)はいっぱいあって、内部的な拡張もサポートしてるものも多い。しかし、ツールなど外部的な拡張は欠いている。拡張可能なアーキテクチャ記述言語処理のツールの提案。

• Adaptive Online Program Analysis
  • ステートフルな仕様中の特性から、動的なプログラム分析のコストを減らすアプローチ

• Exception-Chain Analysis
  • 例外フローの静的分析。例外の伝播パスを出す。使い方1.エラー処理構造の表示、2.コンポーネントやシステムの弱さ分析、3.エラー回復コードテストのサポート、4.問題原因のルートのトレース

• Path-Sensitive Inference of Function Precedence Protocols
  • mutexなどでの関数呼び出し順規約は、規約違反を起こしやすい。プロシージャ間を静的パス解析し、呼び出し規約を推論するツールCHRONICLER。

• GoalDebug
  • スプレッドシートデバッガー。セルは計算セルは不正確なとき、セルに期待値を入れる。その変更からヒューリスティックランキングを使って式の提案する?。前回はコンセプト証明、この論文はその評価。

• A Technique for Enabling and Supporting Debugging of Field Failures
  • 環境依存失敗は再現や調査が難しい。環境失敗の記録再現局所化技術。

• POLUS
  • 実行中ソフトの対話的進化機能のツール。

• Supporting Generic Sketching-Based Input of Diagrams in a Domain-Specific Visual Language Meta-Tool
  • デザインスケッチのためのビジュアル言語のメタツール。積極的怠惰的認識、形式化との相互変換、レビューでの使い方?など

• Fixing Inconsistencies in UML Design Models
  • UMLでの意図しない副作用が、非一貫性をもたらすかに着目。副作用発見、非違完成修正のサポートツール。

• The Factory Pattern in API Design
  • 大半の状況ではfactoryは有害。

つづく。まだ半分も行ってない。