Avaliando a Especificação das Ocorrências das Características Transversais em Software Embarcado

Abstract

A engenharia de software embarcado vem evoluindo rapidamente ao longo dos últimos anos, em especial para lidar com o aumento da complexidade associada a grande quantidade de requisitos funcionais e características transversais associadas aos requisitos não-funcionais. O processo de identificar e especificar a seleção de pontos onde as características transversais devem ser tratadas vem sendo amplamente discutido desde meados dos anos 90, especialmente no contexto da Aspect-Oriented Software Development (AOSD) e modelagem. No entanto, a compreensão de tais especificações é muitas vezes difícil, pois a sintaxe e a semântica das linguagens utilizadas, principalmente as linguagens visuais, não permitem intuir facilmente o significado dos símbolos usados. Tal situação produz artefatos difíceis de compreender e manter. Portanto, o processo de localizar, identificar, e especificar os pontos onde as características transversais devem ser tratadas e chave no projeto de software embarcado, pois pode levar à problemas no desenvolvimento e, principalmente, na integração dos componentes do software do sistema. Este trabalho apresenta uma avaliação empírica com o objetivo de avaliar a compreensão da especificação de seleção de POCT em sistemas embarcados de forma indireta através da avaliação ao dos efeitos cognitivos e das propriedades de percepção das notações. Foram avaliadas três notaçõees, duas gráficas (JPDD e Theme/UML) e uma textual (AspectJ), que foram usadas para especificar implícita e explicitamente a seleção de POCT (para 15 pontos distintos) em três projetos de software embarcados diferentes que representam aplicações reais no contexto de sistemas de automação. Para tal, propõe-se um modelo de qualidade baseado no framework conceitual “Physics of Notation” (PON). Foram usadas nove métricas para quantificar as propriedades perceptuais na especificação da seleção de POCT, sendo que algumas métricas foram criadas e outras representam conceitos dentro dos princípios do PON. Os resultados dos experimentos mostram como cada uma das notações impacta na compreensão das especificações criadas. Foram encontradas evidencias empíricas de que a especificação gráfica das seleções dos POCT tem pouca discriminação sobre a eficácia cognitiva das representações visuais (conforme o framework PON) e, portanto, os indícios apontam para a conclusão de que o uso de notações visuais para especificar a seleção de POCT é um processo inconsciente e sujeito a ambiguidades tanto na especificação dos artefatos quanto na compreensão e interpretação deles.