Busca avançada
Ano de início
Entree

Um metamodelo para apoiar a formalização de convenções de codificação

Processo: 18/11129-8
Modalidade de apoio:Bolsas no Brasil - Mestrado
Vigência (Início): 01 de janeiro de 2019
Vigência (Término): 30 de junho 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
Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Bolsa(s) vinculada(s):19/06799-7 - Formalização de convenções de codificação para sistemas críticos, BE.EP.MS
Assunto(s):Desenvolvimento de software   Erro (falhas computacionais)   Análise estatística de dados   Codificação de programa
Palavra(s)-Chave do Pesquisador:code quality | coding conventions | fault prevention | metamodeling | Model-Driven Engineering | static analysis | Model-Driven Engineering

Resumo

As convenções de codificação fazem parte de qualquer processo estruturado de desenvolvimento de software. Elas podem ser estabelecidas por vários motivos, desde a melhoria da legibilidade do código até a prevenção da introdução de falhas de segurança. Como muitos outros artefatos no processo de desenvolvimento, as convenções de codificação vêm na forma de documentos textuais escritos em linguagem natural, possivelmente com exemplos de código. Argumentou-se que as diretrizes de codificação existentes na forma atual oferecem benefícios limitados, devido à dificuldade de serem realmente gerenciadas e aplicadas. Este projeto investigará a formalização de padrões de codificação usando técnicas de Engenharia Dirigida por Modelos (Model-Driven Engineering, MDE). Após uma análise inicial dos trabalhos relacionados, as regras dos padrões de codificação existentes serão analisadas e selecionadas para serem usadas como referência na definição da linguagem e uma para avaliar a abordagem. O principal resultado do projeto será um metamodelo (ou seja, sintaxe abstrata de uma linguagem) capaz de descrever formalmente tais regras de codificação. A linguagem desenvolvida será avaliada usando-a para formalizar regras a partir de convenções de codificação existentes, com foco especial em convenções para confiabilidade e segurança. A possibilidade de formalizar padrões de codificação abrirá vários benefícios, por exemplo, os padrões industriais podem incluir definições formais de regras de codificação impostas e os desenvolvedores de ferramentas podem expor o conjunto de regras que sua ferramenta é capaz de verificar. Além disso, uma descrição formal da convenção de codificação permitirá pesquisas adicionais sobre a geração automatizada de verificadores para tais regras e sobre a criação de representações gráficas ou textuais de convenções de codificação, com base na linguagem que será definida neste projeto. (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, ELDER, JR.; MONTECCHI, LEONARDO; IEEE. Towards a Structured Specification of Coding Conventions. 2019 IEEE 24TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2019), v. N/A, p. 10-pg., . (18/11129-8)
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)
Publicações acadêmicas
(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)
RODRIGUES JÚNIOR, Elder de Oliveira. A metamodel to support the formalization of coding conventions. 2020. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação Campinas, SP.

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