Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/12731
Título: | Assertion-based slicing and slice graphs |
Autor(es): | Barros, José Bernardo Cruz, Daniela da Henriques, Pedro Rangel Pinto, Jorge Sousa |
Palavras-chave: | Slicing Program verification Preconditions Postconditions Verification conditions Labeled control-flow graph Control flow graphs Program analysis Program slicing |
Data: | 2010 |
Editora: | IEEE |
Resumo(s): | This paper revisits the idea of slicing programs based on their axiomatic semantics, rather than using criteria based on control/data dependencies. We show how the forward propagation of preconditions and the backward propagation of post conditions can be combined in a new slicing algorithm that is more precise than the existing specification-based algorithms. The algorithm is based on (i) a precise test for removable statements, and (ii) the construction of a slice graph, a program control flow graph extended with semantic labels. It improves on previous approaches in two aspects: it does not fail to identify removable commands; and it produces the smallest possible slice that can be obtained (in a sense that will be made precise). The paper also reviews in detail, through examples, the ideas behind the use of preconditions and post conditions for slicing programs. |
Tipo: | Artigo em ata de conferência |
Descrição: | © 2010 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. |
URI: | https://hdl.handle.net/1822/12731 |
ISBN: | 978-1-4244-8289-4 |
DOI: | 10.1109/SEFM.2010.18 |
Versão da editora: | http://doi.ieeecomputersociety.org/10.1109/SEFM.2010.18 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
SEFM2010specSlicing-camera-ready.pdf | Documento principal | 343,1 kB | Adobe PDF | Ver/Abrir |