Uma abordagem para a verificação do comportamento excepcional a partir de regras de designe e testes

Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code

Avaliando a robustez e manutenibilidade do comportamento excepcional de aplicações C#

Mainstream programming languages provide built-in exception handling mechanisms to support robust and maintainable implementation of exception handling in software systems. Most of these modern languages, such as C#, Ruby, Python and many others, are often claimed to have more appropriated exception handling mechanisms. They reduce programming constraints on exception handling to favor agile changes in the source code. These languages provide what we call maintenance-driven exception handling mechanisms. It is expected that the adoption of these mechanisms improve software maintainability without hindering software robustness. However, there is still little empirical knowledge about the impact that adopting these mechanisms have on software robustness. This work addresses this gap by conducting an empirical study aimed at understanding the relationship between changes in C# programs and their robustness. In particular, we evaluated how changes in the normal and exceptional code were related to exception handling faults. We applied a change impact analysis and a control flow analysis in 100 versions of 16 C# programs. The results showed that: (i) most of the problems hindering software robustness in those programs are caused by changes in the normal code, (ii) many potential faults were introduced even when improving exception handling in C# code, and (iii) faults are often facilitated by the maintenance-driven flexibility of the exception handling mechanism. Moreover, we present a series of change scenarios that decrease the program robustness

Estudo do comportamento mecânico de estruturas de solo-cimento reforçado com fibras de coco e hastes de bambu

In this work the use of coconut fiber (coir) and bamboo shafts as reinforcement of soil-cement was studied, in order to obtain an alternative material to make stakes for fences in rural properties. The main objective was to study the effect of the addition of reinforcement to the soil-cement matrix. The effect of humidity on the mechanical properties was also analyzed. The soil-cement mortar was composed by a mixture, in equal parts, of soil and river sand, 14% in weight of cement and 10 % in weight of water. As reinforcement, different combinations of (a) coconut fiber with 15 mm mean length (0,3 %, 0,6 % and 1,2 % in weight) and (b) bamboo shafts, also in crescent quantities (2, 4 and 8 shafts per specimen) were used. For each combination 6 specimens were made and these were submitted to three point flexural test after 28 days of cure. In order to evaluate the effect of humidity, 1 specimen from each of the coconut fiber reinforced combination was immersed in water 24 hours prior to flexural test. The results of the tests carried out indicated that the addition of the reinforcement affected negatively the mechanical resistance and, on the other hand, increased the tenacity and the ductility of the material.