Static and dynamic strategies to understand C programs by code annotation

Detalhes bibliográficos
Autor(a) principal: Berón, Mario
Data de Publicação: 2007
Outros Autores: Henriques, Pedro Rangel, Pereira, Maria João, Uzal, Roberto
Idioma: eng
Título da fonte: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Texto Completo: http://hdl.handle.net/10198/589
Resumo: In this paper we present strategies aimed at understanding program written in C language. These strategies use the code annotation technique to extract information from programs. With these strategies we can define the architecture of a comprehension system that allows us to integrate multiple views important to understand the application under analysis. These views are presented in diferent abstraction levels, and the user can navigate between them. Both features (views and navigation) are useful because they can be used to carry out various program understanding approaches, similar to our mental models. In order to implement these features we define: a scheme to recover static and dynamic information; and an way to manage this information. Furthermore, with the purpose to facilitate the program understanding process we describe a procedure aimed at relating the problem and program domains denominated BORS (Behavioral-Operational Relation Strategy).
id RCAP_378196f08942aff98f45a2ab2cbb7d15
oai_identifier_str oai:bibliotecadigital.ipb.pt:10198/589
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Static and dynamic strategies to understand C programs by code annotationProgram understandingInformation extractionInformation visualizationProgram comprehensionIn this paper we present strategies aimed at understanding program written in C language. These strategies use the code annotation technique to extract information from programs. With these strategies we can define the architecture of a comprehension system that allows us to integrate multiple views important to understand the application under analysis. These views are presented in diferent abstraction levels, and the user can navigate between them. Both features (views and navigation) are useful because they can be used to carry out various program understanding approaches, similar to our mental models. In order to implement these features we define: a scheme to recover static and dynamic information; and an way to manage this information. Furthermore, with the purpose to facilitate the program understanding process we describe a procedure aimed at relating the problem and program domains denominated BORS (Behavioral-Operational Relation Strategy).FCTUniversidade do MinhoBiblioteca Digital do IPBBerón, MarioHenriques, Pedro RangelPereira, Maria JoãoUzal, Roberto2008-04-03T13:43:56Z20072007-01-01T00:00:00Zconference objectinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/10198/589engengBerón, Mário; Henriques, Pedro; Pereira, Maria João; Uzal, Roberto (2007). Static and dynamic strategies to understand C programs by code annotation. In 1st International Workshop on Fondations and Techniques for Open Source Software Certification. Braga.OpenCert 2007 - 1st International Workshop on Fondations and Techniques for Open Source Software Certification (integrado no ETAPS’07)info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2025-02-25T11:54:14Zoai:bibliotecadigital.ipb.pt:10198/589Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T11:15:26.881504Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Static and dynamic strategies to understand C programs by code annotation
title Static and dynamic strategies to understand C programs by code annotation
spellingShingle Static and dynamic strategies to understand C programs by code annotation
Berón, Mario
Program understanding
Information extraction
Information visualization
Program comprehension
title_short Static and dynamic strategies to understand C programs by code annotation
title_full Static and dynamic strategies to understand C programs by code annotation
title_fullStr Static and dynamic strategies to understand C programs by code annotation
title_full_unstemmed Static and dynamic strategies to understand C programs by code annotation
title_sort Static and dynamic strategies to understand C programs by code annotation
author Berón, Mario
author_facet Berón, Mario
Henriques, Pedro Rangel
Pereira, Maria João
Uzal, Roberto
author_role author
author2 Henriques, Pedro Rangel
Pereira, Maria João
Uzal, Roberto
author2_role author
author
author
dc.contributor.none.fl_str_mv Biblioteca Digital do IPB
dc.contributor.author.fl_str_mv Berón, Mario
Henriques, Pedro Rangel
Pereira, Maria João
Uzal, Roberto
dc.subject.por.fl_str_mv Program understanding
Information extraction
Information visualization
Program comprehension
topic Program understanding
Information extraction
Information visualization
Program comprehension
description In this paper we present strategies aimed at understanding program written in C language. These strategies use the code annotation technique to extract information from programs. With these strategies we can define the architecture of a comprehension system that allows us to integrate multiple views important to understand the application under analysis. These views are presented in diferent abstraction levels, and the user can navigate between them. Both features (views and navigation) are useful because they can be used to carry out various program understanding approaches, similar to our mental models. In order to implement these features we define: a scheme to recover static and dynamic information; and an way to manage this information. Furthermore, with the purpose to facilitate the program understanding process we describe a procedure aimed at relating the problem and program domains denominated BORS (Behavioral-Operational Relation Strategy).
publishDate 2007
dc.date.none.fl_str_mv 2007
2007-01-01T00:00:00Z
2008-04-03T13:43:56Z
dc.type.driver.fl_str_mv conference object
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10198/589
url http://hdl.handle.net/10198/589
dc.language.iso.fl_str_mv eng
eng
language eng
dc.relation.none.fl_str_mv Berón, Mário; Henriques, Pedro; Pereira, Maria João; Uzal, Roberto (2007). Static and dynamic strategies to understand C programs by code annotation. In 1st International Workshop on Fondations and Techniques for Open Source Software Certification. Braga.
OpenCert 2007 - 1st International Workshop on Fondations and Techniques for Open Source Software Certification (integrado no ETAPS’07)
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade do Minho
publisher.none.fl_str_mv Universidade do Minho
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833591734450257920