eprintid: 4481
rev_number: 5
eprint_status: archive
userid: 304
dir: disk0/00/00/44/81
datestamp: 2021-06-18 11:17:42
lastmod: 2021-06-18 11:17:42
status_changed: 2021-06-18 11:17:42
type: article
succeeds: 4465
metadata_visibility: show
creators_name: Tran, Hoang Viet
creators_name: Pham, Ngoc Hung
creators_name: Nguyen, Viet-Ha
creators_name: Aoki, Toshiaki
creators_id: vietth2004@gmail.com
creators_id: hungpn@vnu.edu.vn
title: A framework for assume-guarantee regression verification of evolving software
ispublished: pub
subjects: Scopus
subjects: isi
divisions: fac_fit
abstract: This paper presents a framework for verifying evolving component-based software using assume-guarantee logic. The goal is to improve CDNF-based assumption generation method by having local weakest assumptions that can be used more effectively when verifying component-based software in the context of software evolution. For this purpose, we improve the technique for responding to membership queries when generating candidate assumptions. This technique is then integrated into a proposed backtracking algorithm to generate local weakest assumptions. These assumptions are effectively used in rechecking the evolving software by reducing time required for assumption regeneration within the proposed framework. The proposed framework can be applied to verify software that is continually evolving. An implemented tool and experimental results are presented to demonstrate the effectiveness and usefulness of the framework.
date: 2020-07
date_type: published
official_url: https://doi.org/10.1016/j.scico.2020.102439
full_text_status: public
publication: Sci. Comput. Program.
volume: 193
pagerange: 102439
refereed: FALSE
citation:   Tran, Hoang Viet and Pham, Ngoc Hung and Nguyen, Viet-Ha and Aoki, Toshiaki  (2020) A framework for assume-guarantee regression verification of evolving software.  Sci. Comput. Program., 193 .   p. 102439.      
document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/4481/1/tran2020.pdf