Busca avançada
Ano de início
Entree

Formalização de convenções de codificação para sistemas críticos

Processo: 19/06799-7
Modalidade de apoio:Bolsas no Exterior - Estágio de Pesquisa - Mestrado
Vigência (Início): 01 de outubro de 2019
Vigência (Término): 31 de janeiro de 2020
Área do conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
Pesquisador responsável:Leonardo Montecchi
Beneficiário:Elder de Oliveira Rodrigues Júnior
Supervisor: Andrea Ceccarelli
Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Local de pesquisa: Università degli Studi di Firenze, Itália  
Vinculado à bolsa:18/11129-8 - Um metamodelo para apoiar a formalização de convenções de codificação, BP.MS
Assunto(s):Engenharia de software   Codificação   Código fonte   Análise estatística de dados
Palavra(s)-Chave do Pesquisador:coding conventions | coding standard | metamodel | Model-Driven Engineering | Safety | static analysis | Engenharia de Software

Resumo

As convenções de codificação impõem restrições ao código-fonte e podem ser estabelecidas por várias razões, desde melhorar a legibilidade do código até evitar a introdução de defeitos. Como muitos outros artefatos em um processo de desenvolvimento de software, as convenções de codificação geralmente vêm na forma de documentos textuais escritos em linguagem natural, possivelmente com exemplos de código. Argumentou-se que, em sua forma atual, eles oferecem benefícios limitados, devido à dificuldade de serem realmente gerenciados e executados. O objetivo do Projeto de Mestrado da Bolsa no País é propor uma abordagem para a formalização de convenções de codificação usando técnicas de engenharia orientadas por modelos. Uma primeira versão da metodologia foi definida e avaliada, e os resultados deste trabalho foram submetidos para uma conferência internacional. O objetivo deste projeto BEPE é aplicar a metodologia proposta no domínio dos sistemas críticos e melhorá-la com base nos resultados obtidos. Para alcançar este objetivo, trabalharemos em colaboração com o grupo RCL da Universidade de Florença, na Itália, especializado no projeto e avaliação de sistemas críticos e com fortes conexões industriais na área. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Publicações científicas
(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)
RODRIGUES JR, ELDER; MONTECCHI, LEONARDO; CECCARELLI, ANDREA; VIEIRA, M; MADEIRA, H; ANTUNES, N; ZHENG, Z. Model-Driven Fault Injection in Java Source Code. 2020 IEEE 31ST INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2020), v. N/A, p. 12-pg., . (18/11129-8, 19/06799-7)
RODRIGUES JR, ELDER; PEREIRA, JOSE D'ABRUZZO; MONTECCHI, LEONARDO. A Model-Driven Approach for the Management and Enforcement of Coding Conventions. IEEE ACCESS, v. 11, p. 20-pg., . (19/06799-7, 18/11129-8)

Por favor, reporte erros na lista de publicações científicas utilizando este formulário.