Lógica por trás dos contratos sociais

Natural selection shapes body and behavior of each species. For primates, the social environment constituted one of the greatest selective pressure for the development of their cognition. When we consider gender differences, we see that sexual selection also operates through different selective pressures for men and women not only in physical terms but in terms of cognitive skills. Among these, the primary cognitive abilities - that emerge naturally - and secondary - that rely on an artificial environment for learning - develop differently for each sex, making them suitable for specific tasks in different capacities. Previous studies utilized the Wason Selection Test a conditional logic tool - to measure, among several other things, the ability to recognize violation of rules in abstract contexts and social contexts. Subjects generally had better performance in the latter, however, in these studies possible differences motivated by learning in formal logic or genre were not considered. Our study investigated these two variables, as well as the time spent to solve each task. Furthermore, we used an index to take into account the rights and wrongs of the participants in tasks. We realized that although learning in formal logic does not bring significant differences in solving tests, the gender differences are strongly observed when we consider the social contexts and abstract. Women perform better in social tasks. This can be explained due to different sexual selective pressures for this gender in terms of one-on-one relationships within the group. Men are better at tasks of abstract context and this is probably due to the same reason. Their capabilities for territory defense, habitat navigation and forming coalitions depends on primary cognitive abilities that support secondary cognitive skills of abstraction. Thus, gender differences are a factor to be taken into account in controlling future experiments with the same tool

O Tratamento com a fluoxetina (mas não com outros farmacos antidepressivo e ansioíiticos) reverte o déficit de memória aversiva causado por estresse agudo de contenção em camundongos

The physiologist H. Selye defined stress as the nonspecific response of the body to any factors that endanger homeostasis (balance of internal environment) of the individual. These factors, agents stressors, are able to activate the Hypothalamic-Pituitary-Adrenal (HPA) axis, thus resulting in the physiological responses to stress by the release of glucocorticoids that leads to psychophysiological changes, including effects on cognitive functions such as learning and memory. When this axis is acutely stimulated occurs a repertoire of behavioral and physiological changes can be adaptive to the individual. Notwithstanding, when the HPA axis is chronically stimulated, changes may favor the development of, such as anxiety disorders. Some drugs used in the clinic for the treatment of anxiety disorders these can exert effects on cognitive function, on the HPA axis and on the anxiety. In this context, the aim of our study was to investigate the effects of administration i.p. acute of diazepam (DZP, 2 mg/kg), buspirone (BUS, 3 mg/kg), mirtazapine (MIR, 10 mg/kg) and fluoxetine (FLU, 10 mg/kg) in male mice submitted to acute restraint stress, and evaluated using plus-maze discriminative avoidance task (PMDAT), which simultaneously evaluates parameters such as learning, memory and anxiety. Our results demonstrated that (1) the administration of DZP and BUS, but not FLU, promoted anxiolytic effects in animals; (2) administration mirtazapine caused sedative effect to animals; (3) in the training session, the animals treated with BUS, MIR and FLU learned the task, on the other hand DZP group showed impairment in learning; (4) in the test session, animals treated with DZP, BUS, and MIR showed deficits in relation to discrimination between the enclosed arms, aversive versus non-aversive arm, demonstrating an impairment in memory, however, animals treated with FLU showed no interference in the retrieval of this memory; (5) acute stress did not interfere in locomotor activity, anxiety, or learning on the learning task, but induced impairment in retrieval memory, and the group treated with FLU did not demonstrated this deficit of memory . These results suggest that acute administration of drugs with anxiolytic and antidepressant activity does not interfere with the learning process this aversive task, but impair its retrieval, as well as the acute restraint stress. However, the antidepressant fluoxetine was able to reverse memory deficits promoted by acute stress, which may suggest that modulation, even acutely serotonergic neurotransmission, by selectively inhibiting the reuptake of this neurotransmitter, interferes on the process of retrieval of an aversive memory

Avaliação do comportamento em fadiga de juntas estruturais de ligas de Al2024T3 coladas com adesivo epóxi

Ligas de alumínio são extensamente usadas em partes aeronáuticas devido às boas propriedades mecânicas e baixa densidade. Estas partes devem ser unidas para formar conjuntos maiores. Uma junta estrutural é definida como um segmento de estrutura que provê um meio de transferir carga de um elemento estrutural para outro. A maioria das juntas aeronáuticas é mecanicamente fixada com múltiplos prendedores (parafusos ou rebites). Estas juntas apresentam uma alta concentração de tensões ao redor do prendedor, porque a transferência de carga entre elementos da junta acontece em uma fração da área disponível. Por outro lado, as cargas aplicadas em juntas adesivas são distribuídas sobre toda a área colada e reduz os pontos de concentração de tensão. Juntas são a fonte mais comum de falhas estruturais em aeronaves e quase todos os reparos envolvem juntas. Portanto, é importante entender todos os aspectos de projeto e análise de juntas. O objetivo deste trabalho é comparar estaticamente juntas estruturais de ligas de Al2024-T3 em três condições: juntas mecanicamente rebitadas, juntas coladas e uma configuração híbrida rebitada e colada. Foi usada a norma NASM 1312-4 para confecção dos corpos-de-prova. Além disso, foram conduzidos testes de fadiga, sob amplitude de carregamento constante e razão de tensão igual a 0,1 para avaliar a eficiência dos elementos estruturais durante sua vida em serviço. Os resultados mostraram que a configuração híbrida apresenta maior resistência estática e uma vida em fadiga superior à configuração colada.

Correlato hormonal do comportamento reprodutivo de machos de sagüi comum (Callithrix jacchus) em ambiente natural

Contrary to what is recorded for Callithrix jacchus females, the social interactions and hormonal profiles of males are less studied, and mainly in wild groups. The goal of this study was to investigate the behavioral and endocrine profiles of reproductive (RMs) and non-reproductive (NRs) common marmoset adult free-ranging males living in two natural groups (GC1 and GR2). The groups inhabited the area of the Escola Agrícola de Jundiaí/UFRN, located in Macaíba, Brazil. Fecal collection for cortisol and androgen measurement and behavioral monitoring was carried out during the active phase from April to September, 2005. For behavioral data collection the focal instantaneous method was used every 5 min, for a total of 11.563 records. Statistical analysis was performed using non parametric tests and p < 0.05. Besides showing diurnal variation, the frequency of affiliative behaviors was significantly higher for RMs toward reproductive females than for NRs. Affiliative interactions of RMs with both reproductive females and NRs were similar, probably related to pair bond formation and helper recruitment, respectively. Parental care was also similar for both RMs and NRs. Both androgen and cortisol levels increased after the birth of the infants, mainly in RMs. The longitudinal profile of androgens fluctuates more in response to agonistic encounters and sexual behavior than that of cortisol. The mean basal excretion of both hormones was significantly higher in RMs and seems to reflect their higher participation in territorial vigilance and mate guarding behaviors. Significant positive correlations were found between agonism and cortisol and androgen hormones. These results describe, for the first time, the behavioral and hormonal profiles of common marmosets living in free-ranging groups and suggest that reproductive males are more responsive both behaviorally and hormonally to social group dynamics

Efeitos do tratamento com lítio na memória aversiva, comportamentos relacionados à ansiedade e depressão e na expressão de BDNF em ratos

Lithium (Li) is the first choice to treat bipolar disorder, a psychiatric illness characterized by mood oscillations between mania and depression. However, studies have demonstrated that this drug might influence mnemonic process due to its neuroprotector, antiapoptotic and neurogenic effects. The use of Li in the treatment of cognitive deficits caused by brain injury or neurodegenerative disorders have been widely studied, and this drug shows to be effective in preventing or even alleviating the memory impairment. The effects of Li on anxiety and depression are controversial and the relationship of the effects of lithium on memory, anxiety and depression remain unknown. In this context, this study aims to: evaluate the effects of acute and chronic administration of lithium carbonate in aversive memory and anxiety, simultaneously, using the plus maze discriminative avoidance task (PMDAT); test the antidepressant effect of the drug through the forced swimming test (FS) and analyze brainderived neurotrophic factor (BDNF) expression in structures related to memory and emotion. To evaluation of the acute effects, male Wistar rats were submitted to i.p. administration of lithium carbonate (50, 100 or 200 mg/kg) one hour before the training session (PMDAT) or lithium carbonate (50 or 100 mg/kg) one hour before the test session (FS). To evaluation of the chronic effects, the doses administered were 50 or 100 mg/kg or vehicle once a day for 21 days before the beginning of behavioral tasks (PMDAT and FS). Afterwards, the animals were euthanized and their brains removed and submitted to immunohistochemistry procedure to quantify BDNF. The animals that received acute treatment with 100 and 200 mg/kg of Li did not discriminated between the enclosed arms (aversive and non-aversive) in the training session of PMDAT, showing that these animal did not learned the task. This lack of discrimination was also observed in the test session, showing that the animals did not recall the aversive task. We also observed an increased exploration of the open arms of these same groups, indicating an anxiolytic effect. The same groups showed a reduction of locomotor activity, however, this effect does not seem to be related with the anxiolytic effect of the drug. Chronic treatment with Li did not promote alterations on learning or memory processes. Nevertheless, we observed a reduction of open arms exploration by animals treated with 50 mg/kg when compared to the other groups, showing an anxiogenic effect caused by this dose. This effect it is not related to locomotor alterations since there were no alterations in these parameters. Both acute and chronic treatment were ineffective in the FS. Chronic treatment with lithium was not able to modify BDNF expression in hippocampus, amygdala and pre-frontal cortex. These results suggest that acute administration of lithium promote impairments on learning in an aversive task, blocking the occurrence of memory consolidation and retrieval. The reduction of anxiety following acute treatment may have prevented the learning of the aversive task, as it has been found that optimum levels of anxiety are necessary for the occurrence of learning with emotional context. With continued, treatment the animals recover the ability to learn and recall the task. Indeed, they do not show differences in relation to control group, and the lack of alterations on BDNF expression corroborates this result. Possibly, the regimen of treatment used was not able to promote cognitive improvement. Li showed acute anxiolytic effect, however chronic administration 4 promoted the opposite effect. More studies are necessary to clarify the potential beneficial effect of Li on aversive memory

Elaboração e avaliação de indicadores comportamentais de aderência ao tratamento hemodialítico

Introduction: This work intents to characterize behavioral indicators of tack to the hemodialysis treatment in a sample of carrying patients of chronic kidney failure (CKF) in the great Natal/RN. The therapeutical adherence represents the agreement degree between the patient behavior and the health team lapsings. The CKF is the gradual and irreversible loss of the renal function, being the hemodialysis treatment an important alternative to assist or to substitute the kidneys. Method: The sample consisted in 80 chronic kidney patients in hemodialysis treatment in two located clinical centers in the region of the great Natal, RN. It was used as instruments (a) a protocol of clinical data collection, (b) the Millon Index of Personality Styles (MIPS) and (c) a script of halfstructuralized interview. Results: The results show a balance between the genders (51% of female and 48.8% of the male sex), average age and equal average time of dialysis respectively to the 43,4 years (±13,25 years) and 22,04 years (±4,24 years). The marital status of half of the sample is married, predominating basic education (43.6%) and a familiar income until a minimum wage (43.8%). It had been defined six physicianlaboratorial indicators to evaluate the therapeutical adherence, further the use of the evaluation of the health team and the patient themselves. Thus, there was an average adherence around 55.97% of the sample ±18.37%). However only between selfassessment of the patients about the adherence and the assessment made by blood pressure post-dialysis indicated a significant association (p=0,029, qui-square test). On the other hand, there was a significant association (p <0.05, chi-square test) among the criteria for treatment adherence and issues investigated in the interview - the perception on the quality of the health services provided to patients, the difficulties following the prescribed diet, the characterization of the days between dialysis sessions and the perception of patients about the dialysis sessions. It was also noted a significant association (p <0.05, Levene test) between adherence to therapy and scales that constitute the MIPS. The health team characterized the patients more adherent behavior as an attitude of acceptance of the treatment, looking actively for their implementation, for more information and knowledge, and establishing a positive communication with the team and with other patients. Similar results were confirmed by the MIPS evaluation. According to that assessment the more compliant patients adopt a more optimistic attitude, trying to act or adapt themselves to their environment, processing cognitively both concrete and objective information, such as more speculative and symbolic information. In addition they establish a gregarious, cooperative, submissive and flexibly pattern of interpersonal relationships to social demands. These characteristics managed to explain 55.7% of the adherence variation according the health team and 23.3% of the variation according the CaxP laboratory indicator. Conclusions: The MIPS shown to be able to identify the most and least adherent to therapy patients. The use of different adherence indicators is important for an evaluation covering the different facets of this process. The adhesion levels are observed within registered by the relevant literature. There is need for further studies with a larger sample to deepen the data findings in this work

Validade e confiabilidade da versão informatizada do inventário Million de estilos de personalidade

Currently, several psychological and non-psychological tests can be found in publishes without standardization on procedures set in different psychological areas, like intelligence, emotional states, attitudes, social skills, vocation, preferences and others. The computerized psychological testing is a extension of traditional testing psychological practices. However, it has own psychometrics qualities, either by its matching in a computerized environment or by the extension that can be developed in it. The current research, developed from a necessity to study process of validity and reliability on a computerized test, drew a methodological structure to provide parallel applications in numerous kinds of operational groups, evaluating the influences of the time and approach in the computerization process. This validity refers to normative values groups, reproducibility in computerized applications process and data processing. Not every psychological test can be computerized. Therefore, our need to find a good test, with quality and plausible properties to transform in computerized application, leaded us to use The Millon Personality Inventory, created by Theodore Millon. This Inventory assesses personality according to 12 bipolarities distributed in 24 factors, distributed in categories motivational styles, cognitive targets and interpersonal relations. This instrument doesn t diagnose pathological features, but test normal and non adaptive aspects in human personality, comparing with Theodore Millon theory of personality. In oder to support this research in a Brazilian context in psychological testing, we discuss the theme, evaluating the advantages and disadvantages of such practices. Also we discuss the current forms in computerization of psychological testing and the main specific criteria in this psychometric specialized area of knowledge. The test was on-line, hosted in the site http://www.planetapsi.com, during the years of 2007 and 2008, which was available a questionnaire to describe social characteristics before test. A report was generated from the data entry of each user. An application of this test was conducted in a linear way through a national coverage in all Brazil regions, getting 1508 applications. Were organized nine groups, reaching 180 applications in test and retest subject, where three periods of time and three forms of retests for studies of on-line tests were separated. Parallel to this, we organized multi-application session offline group, 20 subjects who received tests by email. The subjects of this study were generally distributed by the five Brazilian regions, and were noticed about the test via the Internet. The performance application in traditional and on-line tested groups subsidies us to conclude that on-line application provides significantly consistency in all criteria for validity studied and justifies its use. The on-line test results were related not only among themselves but were similar to those data of tests done on pencil and paper (0,82). The retests results demonstrated correlation, between 0,92 and, 1 while multisessions had a good correlation in these comparisons. Moreover, were assessed the adequacy of operational criteria used, such as security, the performance of users, the environmental characteristics, the organization of the database, operational costs and limitations in this on-line inventory. In all these five items, there were excellent performances, concluding, also, that it s possible a self-applied psychometric test. The results of this work are a guide to question and establish of methodologies studies for computerization psychological testing software in the country

Estudo do comportamento térmico e da luminescência de filmes de quitosana com os íons Eu3+ e Tb3+

Films of chitosan with trivalent lanthanides ions Eu3+ and Tb3+ were respectively prepared in the ratio of 3:1 m/m (chitosan: lanthanide) and 6:1 m/m (chitosan: lanthanide). There were no formations of films in a ratio of 1:1 m/m (chitosan: lanthanides). The films of chitosan with the Tb3+ ion have the same transparent appearance than the pure chitosan films. The film of chitosan with Eu3+ ion has a muddy appearance. These films present good resistance to tear. The appearance of the compounds prepared in ratio 1:1m/m is a white powder. The films and compounds of chitosan were characterized by Elementary Analysis (CHN), Thermal Analysis (TG/DTG) and Spectroscopy of Luminescence. The CHN analysis was made only for compounds prepared in ratio 1:1m/m, suggesting that these compounds possess the formula QUILn.6H2O, where QUI = Chitosan and Ln = Lanthanide. The results of the curves TG/DTG indicated that there are strong interactions between Eu3+ or Tb3+ and chitosan, causing a lesser lost of mass in the films. The luminescence analysis showed that the films of chitosan with the ions Eu3+ and Tb3+ present emissions in the region of the visible one, with bands of the chitosan and of the Eu3+ ion. The luminescence analysis of the compounds of chitosan with the Eu3+ and Tb3+ ions suggest that the chitosan does not transfer into energy to the ions lanthanides, however the chemical neighborhood around of the ion lanthanides breaks the selection rules and, conseqüently the 4f-4f transitions of the lanthanide ions are observed

Avaliação do comportamento de argila ativada na presença de água destilada, soluções salinas e inibidores de hidratação catiônicos

The clay swelling is today one of the major problems during the well drilling. Nearly 50% of clays that constitute shale expand easily in the presence of water molecules. During the drilling of a geological formation containing swelling clays, when is feasible the use of water base fluids, it is necessary to apply clay inhibitors. This avoids the incorporation of the cutting to the drilling fluid which is responsible for the wall swelling and crumbling. The aim of this work was to evaluate the synergistic behavior that occurs when swelling clay inhibitors are associated to NaCl and KCl salts. Three swelling clay inhibitors samples, INIB A, INIB B and INIB C, were analyzed. Each inhibitor was characterized by the amount of chlorides and active matter content. For the water-clay interaction evaluation in the presence of various fluids, it was used the Capillary Suction Timer (CST, Fann) and Linear Swell Meter (LSM 2000, Fann). For better interpretation of results, a Design of Experiments (DOE, Umetrics MODDE 7.0 TM) through Result Surface Methodology (RSM) was employed, taking into account the type, the swelling inhibitors concentration and the contact time with the clay. The results showed different efficiencies among the inhibitors employed, and the salt-inhibitors mixtures were more efficient than those products alone. However, for field operation, other parameters should be taking into account, as operational cost, environmental requests and time of application for each product

Estudo de titanatos nanoestruturados obtidos por tratamento hidrotérmico de óxido de titânio em meio alcalino

TiTanate NanoTubes (TTNT) were synthesized by hydrothermal alkali treatment of TiO2 anatase followed by repeated washings with distinct degrees of proton exchange. TTNT samples with different sodium contents were characterized, as synthesized and after heattreatment (200-800ºC), by X-ray diffraction, scanning and transmission electron microscopy, electron diffraction, thermal analysis, nitrogen adsorption and spectroscopic techniques like FTIR and UV-Vis diffuse reflectance. It was demonstrated that TTNTs consist of trititanate structure with general formula NaxH2−xTi3O7·nH2O, retaining interlayer water in its multiwalled structure. The removal of sodium reduces the amount of water and contracts the interlayer space leading, combined with other factors, to increased specific surface area and mesopore volume. TTNTs are mesoporous materials with two main contributions: pores smaller than 10 nm due to the inner volume of nanotubes and larger pores within 5-60 nm attributed to the interparticles space. Chemical composition and crystal structure of TTNTs do not depend on the average crystal size of the precursor TiO2-anatase, but this parameter affects significantly the morphology and textural properties of the nanostructured product. Such dependence has been rationalized using a dissolution-recrystallization mechanism, which takes into account the dissolution rate of the starting anatase and its influence on the relative rates of growth and curving of intermediate nanosheets. The thermal stability of TTNT is defined by the sodium content and in a lower extent by the crystallinity of the starting anatase. It has been demonstrated that after losing interlayer water within the range 100-200ºC, TTNT transforms, at least partially, into an intermediate hexatitanate NaxH2−xTi6O13 still retaining the nanotubular morphology. Further thermal transformation of the nanostructured tri- and hexatitanates occurs at higher or lower temperature and follows different routes depending on the sodium content in the structure. At high sodium load (water washed samples) they sinter and grow towards bigger crystals of Na2Ti3O7 and Na2Ti6O13 in the form of rods and ribbons. In contrast, protonated TTNTs evolve to nanotubes of TiO2(B), which easily convert to anatase nanorods above 400ºC. Besides hydroxyls and Lewis acidity typical of titanium oxides, TTNTs show a small contribution of protonic acidity capable of coordinating with pyridine at 150ºC, which is lost after calcination and conversion into anatase. The isoeletric point of TTNTs was measured within the range 2.5-4.0, indicating behavior of a weak acid. Despite displaying semiconductor characteristics exhibiting typical absorption in the UV-Vis spectrum with estimated bandgap energy slightly higher than that of its TiO2 precursor, TTNTs showed very low performance in the photocatalytic degradation of cationic and anionic dyes. It was concluded that the basic reason resides in its layered titanate structure, which in comparison with the TiO2 form would be more prone to the so undesired electron-hole pair recombination, thus inhibiting the photooxidation reactions. After calcination of the protonated TTNT into anatase nanorods, the photocatalytic activity improved but not to the same level as that exhibited by its precursor anatase

Eficácia do tratamento não-cirúrgico em indivíduos com mucosite peri-implantar

It has been shown that the development of peri-implant mucositis is associated with biofilm accumulation. It is believed that the therapeutic approaches used in periodontal disease may have a positive effect in the cases of peri-implant disease. The aim of this study was to evaluate the effectiveness of non-surgical treatment of peri-implant mucositis, with or without the use of chlorhexidine 0,12% in subjects rehabilitated with osseointegrated implants. Thus, patients were randomly divided into test group (chlorhexidine surgical therapy) and control (non-surgical treatment). This therapy consisted of an adaptation of the (Full Mouth scalling and Root Planing) nonoperative protocol FMSRP, but without the use of ultrasound. The visible plaque index (VPI), gingival bleeding index (GBI), probing depth (PD), bleeding on probing (BOP) and keratinized mucosa clinical parameters were evaluated at baseline and at different times after treatment. The data were not normally distributed and the implant was considered the sampling unit. Data were analyzed using Fri edman and Wilcoxon chi-square (=5%), tests using the Statistical Package for Social Sciences 17.0 (SPSS). Thus, 119 implants were evaluated, 61 in the test group and 58 in the control group. The results showed statistically significant differences for the variables: average BTI implants in both groups (p<0,001), mean ISG implants both in the test group (p<0,001), and control (p= 0,006) of implants; PS for the test group (p< 0,001) and control (p = 0,015) and SS (p<0,001) in the two treatment groups. However, there was no statistically significant difference when the groups were compared. The PS and SS variables showed no statistically significant difference in any of independent interest to the study (age, sex, smoking, treatment group, keratinized mucosa at different times, peri-implant biotype, average VPI implants and GBI). Thus, it can be concluded that both the mechanical treatment isolated as its association with chlorhexidine mouthwash 0.12% can be used for the treatment of peri-implant mucositis. Moreover, the condition of oral h ygiene has improved between baseline and six months and the depth and bleeding on probing decreased after three and six months

Comportamento de sementes de cultivares de soja, submetidos a diferentes períodos de envelhecimento acelerado

Accelerated aging test is an important procedure to be used, beyond other aim, for breeding programs to select cultivars with storage and development potential under high relative humidity and temperature. At accelerated aging test in soybean seeds, the temperature and time of exhibition they were not still totally established, factors that cause divergence among the researchers, mainly with relationship to the most appropriate periods. The aim was to evaluate the behavior of soybean seeds submitted to accelerated aging test. Seeds of the varieties IAC-15, CAC-1, FT-Estrela and IAC-Foscarin 31 were submitted to germination test, electrical conductivity and accelerated aging (41 degrees C, during 44, 48, 52, 56, 60, 64, 68, 72 and 76 hours). There are differences among cultivars evaluated in relation to accelerated aging test sensibilility; the cultivars are sensibles to increasing the exposition time; the accelerated aging test can be used to select cultivars in breeding programs; the cultivar FT-Estrela can be sowed at regions with high temperature and humidity.

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

POPT: uma abordagem de ensino de programação orientada a problema e testes

There is a growing interest of the Computer Science education community for including testing concepts on introductory programming courses. Aiming at contributing to this issue, we introduce POPT, a Problem-Oriented Programming and Testing approach for Introductory Programming Courses. POPT main goal is to improve the traditional method of teaching introductory programming that concentrates mainly on implementation and neglects testing. POPT extends POP (Problem Oriented Programing) methodology proposed on the PhD Thesis of Andrea Mendonça (UFCG). In both methodologies POPT and POP, students skills in dealing with ill-defined problems must be developed since the first programming courses. In POPT however, students are stimulated to clarify ill-defined problem specifications, guided by de definition of test cases (in a table-like manner). This paper presents POPT, and TestBoot a tool developed to support the methodology. In order to evaluate the approach a case study and a controlled experiment (which adopted the Latin Square design) were performed. In an Introductory Programming course of Computer Science and Software Engineering Graduation Programs at the Federal University of Rio Grande do Norte, Brazil. The study results have shown that, when compared to a Blind Testing approach, POPT stimulates the implementation of programs of better external quality the first program version submitted by POPT students passed in twice the number of test cases (professor-defined ones) when compared to non-POPT students. Moreover, POPT students submitted fewer program versions and spent more time to submit the first version to the automatic evaluation system, which lead us to think that POPT students are stimulated to think better about the solution they are implementing. The controlled experiment confirmed the influence of the proposed methodology on the quality of the code developed by POPT students

Geração de testes a partir de gramáticas: áreas de aplicação

The work proposed by Cleverton Hentz (2010) presented an approach to define tests from the formal description of a program s input. Since some programs, such as compilers, may have their inputs formalized through grammars, it is common to use context-free grammars to specify the set of its valid entries. In the original work the author developed a tool that automatically generates tests for compilers. In the present work we identify types of problems in various areas where grammars are used to describe them , for example, to specify software configurations, which are potential situations to use LGen. In addition, we conducted case studies with grammars of different domains and from these studies it was possible to evaluate the behavior and performance of LGen during the generation of sentences, evaluating aspects such as execution time, number of generated sentences and satisfaction of coverage criteria available in LGen