Engenharia de Linguagens

Análise e Transformação de Software

Sumários

02 de Março de 2009

• I.1 Introdução e Motivação para a área de Análise e Transformação de SW; sua inserção no contexto da Engenharia de Software:
  • noção de análise de código-fonte (outras hipóteses para análise de código intermédio ou máquina);
  • avaliação do software analisado -- métricas;
  • transformação como meio para melhorar o software avaliado.
• I.2 As quatro grandes componentes envolvidas na disciplina:
  • extracção de informação do código (fase de análise);
  • armazenamento da informação extraída;
  • visualização (paradigmas/exemplos);
  • transformação.
• P.1 Resolução do Exemplo 1:
  • análise do enunciado; estudo da meta-gramática do AnTLR proposta.

09 de Março de 2009

• I.3 Recapitulação dos objectivos da disciplina:
  • Revisão dos principais conceitos ligados à Análise de Código, tomando como motivação a Comprensão de Programas (necessária à sua Manutenção, Re-utilização e Certificação):
    • Extracção nao-invasiva, estática vs Extracção invasiva, dinâmica.
    • Resultados da Extração e da Exploração do Conhecimento (Métricas).
• P.1 Resolução do Exemplo 1 (cont.):
  • análise do enunciado; estudo da meta-gramática do AnTLR proposta; inicio da implementação de um Analisador muito básico.
• TPC: terminar a escrita da 1ªfase do graAl, sistema para Análise de Gramáticas.

16 de Março de 2009

• I.4 Recapitulação dos objectivos da disciplina:
  • Revisão dos principais conceitos ligados à Análise de Código e à Comprensão de Programas, extrapolando agora as ideias para a Compreensão e Avaliação de Documentos Anotados em XML:
    • Apresentação do Sistema para Análise de Documentos eXVisXML; os conceitos de extração de informação, Visualização, Slicing e Métricas subjacentes; as funcionalidades implementadas.
• P.1 Resolução do Exemplo 1 (cont.) -- O Analisador de Gramáticas graAl:
  • estudo detalhado das duas abordagens mais avançadas, apresentadas:
    • pelo Hélder (para cálculo de várias Métricas, com base em atributos H/S, um para cada métrica);
    • pelo César (para desenho do Grafo de Dependências, com base na construção de uma Tabela de Identificadores que recolhe toda a informação extraída durante o parsing da gramática).
• TPC1: terminar a escrita da fase de análise do graAl.
• TPC2: responder às seguintes questões Q1 e Q2 sobre o eXVixXML (a apresentação está disponível aqui).

23 de Março de 2009

• P.1 Resolução do Exemplo 1 (cont.) -- O Analisador de Gramáticas graAl:
  • estudo detalhado das abordagens seguidas por alguns dos grupos.
  • apresentação e discussão do sistema genérico para análise de gramáticas a partir de XAGra em desenvolvimento por Sérgio e Hugo Areias.
• TPC1: terminar a escrita da fase de análise do graAl.
• TPC2: responder à seguinte questão Q1 e Q2 sobre o eXVixXML.

30 de Março de 2009

• P.1 Resolução do Exemplo 1 (cont.) -- O Analisador de Gramáticas graAl:
  • estudo detalhado das abordagens seguidas pelos vários grupos.
• TPC1: terminar a escrita da fase de análise do graAl relativa às restantes métricas e pensar na transformação conducente à optimização da gramática

20 de Abril de 2009

• A Aula desta semana foi totalmente dedicada a avançar com o Projecto Integrado (processamento da Linguagem dreqL com vista à geração de código SQL).

27 de Abril de 2009

• P.1 Resolução do Exemplo 1 (cont.) -- O Analisador de Gramáticas graAl:
  • conclusão da 1ªetape (construção da Tabela de Identificadores, do Grafo de Dependências entre Símbolos e das Métricas de Tamanho e Forma): avaliação do trabalho desenvolvido pelos vários grupos.
• Introdução ao Slicing (Backward vs Forward, Estático vs Dinâmico); critério de Slicing.
• Slicing de Gramáticas.

04 de Maiode 2009

• P.1-f2 Exemplo 1 - fase2 -- extensão do Analisador de Gramáticas graAl para suportar o slicing de Gramáticas a partir de um dado símbolo:
  • discussão dos resultados atingidos pelos grupos para o caso de BW slicing (visualização em formato texto corrido e por coloração de caminhos sobre o Grafo de Dependências).
• Slicing de Gramáticas com Atributos e suas regras de cálculo.

11 de Maio de 2009

• Não houve aula devido às festividades do Enterro da Gata.

18 de Maio de 2009

• Aula dada por JJ.

25 de Maio de 2009

• P.1-f2 Exemplo 1 - fase2 -- extensão do Analisador de Gramáticas graAl para suportar o slicing de Gramáticas a partir de um dado símbolo:
  • discussão dos resultados atingidos pelos grupos para o caso de BW slicing (visualização em formato texto corrido e por coloração de caminhos sobre o Grafo de Dependências), no caso do FW slicing e do slicing de Gramáticas com Atributos e suas regras de cálculo.
  • proposta de nova extensão do graAl com a capacidade para transformar uma dada gramática eliminando produções inuteis e normalizando a recursividade.

02 de Junho de 2009

• P.1-f2 Exemplo 1 - fase2 -- "grammar refactoring":
  • Extensão do graAl com a capacidade para transformar uma dada gramática eliminando produções inuteis e normalizando a recursividade; discussão dos resultados atingidos pelos grupos que já implementaram tal funcionalidade.
• Discussão sobre a data e o formato da avaliação
• Construção de uma artigo colectivo (para enviar à CoRTA'2009) sobre o graAl.