Avaliação da Relevância dos Warnings Reportados por Ferramentas para Detecção de Defeitos baseadas em Análise Estática

Apesar do interesse e do número crescente de ferramentas de análise estática, ainda não existe um consenso sobre o efetivo papel de tais ferramentas na garantia de qualidade de sistemas de software. Assim, neste Trabalho de Iniciação Científica foram realizados dois amplos estudos envolvendo sistemas importantes de código aberto e com os seguintes objetivos centrais: (a) avaliar a relevância dos warnings reportados por ferramentas de análise estática; (b) investigar eventuais correlações entre warnings emitidos por tais ferramentas e defeitos reportados por usuários finais de um sistema

Automatic Detection of System-Specific Conventions Unknown to Developers

International audienceIn Apache Ant, a convention to improve maintenance was introduced in 2004 stating a new way to close files instead of the Java generic InputStream.close(). Yet, six years after its introduction, this convention was still not generally known to the developers. Two existing solutions could help in these cases. First, one can deprecate entities, but, in our example, one can hardly deprecate Java's method. Second, one can create a system-specific rule to be automatically enforced. In a preceding publication , we showed that system-specific rules are more likely to be noticed by developers than generic ones. However, in practice, developers rarely create specific rules. We therefore propose to free the developers from the need to create rules by automatically detecting such conventions from source code repositories. This is done by mining the change history of the system to discover similar changes being applied over several revisions. The proposed approach is applied to real-world systems, and the extracted rules are validated with the help of experts. The results show that many rules are in fact relevant for the experts

Sobre a origem e o número dos ramos arteriais destinados ao timo, em fetos de equinos S.R.D.

Utilizando-se 30 fetos de equinos S.R.D., foram estudados a origem e o número dos ramos arteriais destinados ao timo, tendo-se verificado a participação das artérias torácicas internas direita e esquerda, carótida comum direita, pericárdica, subclávia esquerda, tronco braquiocefálico, torácica externa direita e cervicais superficiais direita e esquerda. Alcançam o timo de um a seis ramos arteriais, mais frequentemente um e dois.It was studied the origin and number of arterial branches that reach the thymus in 30 crossbreed male and female equine foetus. The branches that supply the thymus come from the following arteries: left and right internal thoracics, conmum right carotid, pericardic, left subclavian, brachiocephalic trunk, right external thoracic and left and right superficial cervicals. In spite of its source, one to six arterial branches reach the thymus and, more frequently, one and two branches

Skeletopie of the arterial branches reach the Pars toracica of thymus, in crossbred equine foetus.

Thirty crossbred equine foetus, with ages varying from four to ten months of intrauterine life, were utilized to studies about the skeletopie of thearterial branches, which are directioned to Pars toracica of the thymus. In this material was evident that various arterial branches to the thymus lie more frequently at level of the first and second intercostal space, however this vessels can stay at level of third intercostal space, and before of first rib.Considerando-se a questão do desenvolvimento e da regressão do timo nos primeiros períodos da vida animal e, objetivando encontrar dados dos aspectos vasculares que envolvem aqueles eventos, promoveu-se o estudo da esqueletopia dos ramos arteriais que se orientam para a Pars toracica do órgão. Foram utilizados30 fetos de eqüinos S.R.D., cuja idade variava de 4 a10 meses, tornando-se evidente que os diferentes ramos arteriais de interesse encontram-se, mais :frequentemente, ao nível do 1º e do 2º espaços intercostais, podendo encontrar-se ao nível do 3º deles ou, mesmo, antes da 1º costela

Avaliação da Relevância dos Warnings Reportados por Ferramentas para Detecção de Defeitos baseadas em Análise Estática

Apesar do interesse e do número crescente de ferramentas de análise estática, ainda não existe um consenso sobre o efetivo papel de tais ferramentas na garantia de qualidade de sistemas de software. Assim, neste Trabalho de Iniciação Científica foram realizados dois amplos estudos envolvendo sistemas importantes de código aberto e com os seguintes objetivos centrais: (a) avaliar a relevância dos warnings reportados por ferramentas de análise estática; (b) investigar eventuais correlações entre warnings emitidos por tais ferramentas e defeitos reportados por usuários finais de um sistema

DCL 2.0: modular and reusable specification of architectural constraints

Abstract Background Due to the abstract nature of software architecture concepts, ensuring the correct implementation of architectural decisions is not a trivial task. Divergences between the planned architecture and source code may occur in the early stages of the software development, which denotes a phenomenon known as software architecture erosion. Architectural conformance checking techniques have been proposed to tackle the problem of divergences between the planned architecture and source code. Among such techniques, we can note the DCL (dependency constraint language), which is a domain-specific language that has interesting results in architectural conformance contexts. However, the current version of DCL has some limitations, such as lack of modularity and low degree of reuse, which may prevent its adoption in real software development scenarios. In this article, we extend DCL with a reusable, modular, and hierarchical specification. Method We propose and evaluate DCL 2.0—an extension of the original DCL—and its tool in a real-world development scenario of a large system used by a government branch of Minas Gerais, Brazil. Result We were able to detect 771 architectural violations where 74% of them could only be detected due to the new violation types proposed in DCL 2.0. Conclusion By using DCL 2.0 herein presented, it was possible to conclude the following: (i) DCL 2.0 proved importance in helping the development team consistently address violations, and (ii) after using DCL 2.0 for months, the number of architectural violations being committed into the system branches was reduced to zero. Therefore, we argue that DCL 2.0 can have a positive impact on the architectural conformance of systems

Resumo

conceitos do paradigma de programação orientada a objetos, como classes, objetos, instâncias, métodos e mensagens. A extensão incorpora ainda os conceitos de encapsulamento, herança e polimorfismo (esse último de forma parcial). A extensão proposta tem a característica de usar um esquema de tradução baseado em pré-processamento, isto é, os comandos da linguagem são traduzidos em comandos de Pascal padrão. Dada à sua simplicidade, a extensão é adequada ao ensino de programação orientada a objetos. This paper describes a extension of Pascal programming language, called PASCAL OBJ, which supports concepts of object-oriented programming, like classes, objects, instances, methods and messages. The extension supports yet the concepts of encapsulation, inheritance and polymorphism (the late only in a parcial form). The traduction of the extension is based in a pre-processor schema: the commands of the language are translated in commands of standard Pascal. Due to its simplicity, PASCAL OBJ is indicated to teaching object-oriented programming. 1 Estudante de graduação em Informática (último período). Áreas de interesse: Programação Orientada a Objetos