VNU-UET Repository

A framework for assume-guarantee regression verification of evolving software

Tran, Hoang-Viet and Hung, Pham Ngoc and Nguyen, Viet-Ha and Aoki, Toshiaki (2020) A framework for assume-guarantee regression verification of evolving software. Sci. Comput. Program., 193 . p. 102439.

WarningThere is a more recent version of this item available.
Full text not available from this repository.

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.

Item Type: Article
Subjects: Scopus-indexed journals
ISI-indexed journals
Divisions: Faculty of Information Technology (FIT)
Depositing User: Phạm Ng�c Hùng
Date Deposited: 07 Sep 2020 10:02
Last Modified: 07 Sep 2020 10:02
URI: http://eprints.uet.vnu.edu.vn/eprints/id/eprint/4052

Available Versions of this Item

Actions (login required)

View Item View Item