Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software

• PHAM Ngoc Hung

  School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)

• AOKI Toshiaki

  School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)

• KATAYAMA Takuya

  School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)

抄録

This paper proposes a framework for modular verification of evolving component-based software. This framework includes two stages: modular conformance testing for updating inaccurate models of the evolved components and modular verification for evolving component-based software. When a component is evolved after adapting some refinements, the proposed framework focuses on this component and its model in order to update the model and recheck the whole evolved system. The framework also reuses the previous verification results and the previous models of the evolved components to reduce the number of steps required in the model update and modular verification processes. An implementation and some experimental results are presented.

収録刊行物

• IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E92-A (11), 2772-2780, 2009

  一般社団法人 電子情報通信学会

キーワード

• model checking
• assume-guarantee reasoning
• modular verification
• component evolution
• conformance testing

詳細情報

• CRID: 1390001206310188800
• NII論文ID: 10026860803
• NII書誌ID: AA10826239
• DOI: 10.1587/transfun.e92.a.2772
• ISSN: 17451337
• ISSN: 09168508
• Web Site: http://www.jstage.jst.go.jp/article/transfun/E92.A/11/E92.A_11_2772/_pdf
• 本文言語コード: en
• データソース種別:
  • JaLC
  • Crossref
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可