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

Model-Driven requirements engineering process aided by ontologies and natural controlled languages

Researches in Requirements Engineering have been growing in the latest few years. Researchers are concerned with a set of open issues such as: communication between several user profiles involved in software engineering; scope definition; volatility and traceability issues. To cope with these issues a set of works are concentrated in (i) defining processes to collect client s specifications in order to solve scope issues; (ii) defining models to represent requirements to address communication and traceability issues; and (iii) working on mechanisms and processes to be applied to requirements modeling in order to facilitate requirements evolution and maintenance, addressing volatility and traceability issues. We propose an iterative Model-Driven process to solve these issues, based on a double layered CIM to communicate requirements related knowledge to a wider amount of stakeholders. We also present a tool to help requirements engineer through the RE process. Finally we present a case study to illustrate the process and tool s benefits and usage

Educação continuada como parte da formação do profissional bibliotecário: uma ação estruturante

Enfoca a educação continuada e a sua relação com a formação profissional do bibliotecário. Seu objetivo é refletir como integrar a capacitação contínua à formação desse profissional no contexto brasileiro. Pois, aspectos de ordem teórico-práticos apontam para a necessidade de maior incorporação de procedimentos metodológicos no fazer bibliotecário. Isto se dá em função de que as operações empíricas têm se tornado insuficientes para garantir a qualidade da informação gerada no âmbito de sistemas de informação. Assim, com base em ações-reflexões a partir desse contexto, identificou-se que necessário se faz adotar programas que possibilitem a capacitação desse profissional na formação-em-serviço, para melhor qualificar o processo de geração, transferência e uso da informação________________________________________________________________________________ABSTRACT Focus the continuous education and its relation with the professional formation of the librarian. Its objective is to reflect as to integrate the continuous qualification to the formation of this professional in the Brazilian context. Therefore, theoretician-practical aspects of order point with respect to the necessity of bigger incorporation of research procedures in making librarian. This if of the one in function of that the empirical operations if have become insufficient to guarantee the quality of the information generated in the scope of information systems. Thus, on the basis of action-reflections from this context, it was identified that necessary if it makes to adopt programs that make possible the qualification of this professional in the formation-in-service, better to characterize the generation process, transference and use of the information

Geração procedural de cenários orientada a objetivos

The game industry has been experiencing a consistent increase in production costs of games lately. Part of this increase refers to the current trend of having bigger, more interactive and replayable environments. This trend translates to an increase in both team size and development time, which makes game development a even more risky investment and may reduce innovation in the area. As a possible solution to this problem, the scientific community is focusing on the generation of procedural content and, more specifically, on procedurally generated levels. Given the great diversity and complexity of games, most works choose to deal with a specific genre, platform games being one of the most studied. This work aims at proposing a procedural level generation method for platform/adventure games, a fairly more complex genre than most classic platformers which so far has not been the subject of study from other works. The level generation process was divided in two steps, planning and viusal generation, respectively responsible for generating a compact representation of the level and determining its view. The planning stage was divided in game design and level design, and uses a goaloriented process to output a set of rooms. The visual generation step receives a set of rooms and fills its interior with the appropriate parts of previously authored geometry

Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU

This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code

Educação continuada como parte da formação do profissional bibliotecário: uma ação estruturante

Enfoca a educação continuada e a sua relação com a formação profissional do bibliotecário. Seu objetivo é refletir como integrar a capacitação contínua à formação desse profissional no contexto brasileiro. Pois, aspectos de ordem teórico-práticos apontam para a necessidade de maior incorporação de procedimentos metodológicos no fazer bibliotecário. Isto se dá em função de que as operações empíricas têm se tornado insuficientes para garantir a qualidade da informação gerada no âmbito de sistemas de informação. Assim, com base em ações-reflexões a partir desse contexto, identificou-se que necessário se faz adotar programas que possibilitem a capacitação desse profissional na formação-em-serviço, para melhor qualificar o processo de geração, transferência e uso da informação________________________________________________________________________________ABSTRACT Focus the continuous education and its relation with the professional formation of the librarian. Its objective is to reflect as to integrate the continuous qualification to the formation of this professional in the Brazilian context. Therefore, theoretician-practical aspects of order point with respect to the necessity of bigger incorporation of research procedures in making librarian. This if of the one in function of that the empirical operations if have become insufficient to guarantee the quality of the information generated in the scope of information systems. Thus, on the basis of action-reflections from this context, it was identified that necessary if it makes to adopt programs that make possible the qualification of this professional in the formation-in-service, better to characterize the generation process, transference and use of the information

Fatores associados à efetividade da doação de órgãos e tecidos para transplantes

The transplantation of organs and tissues presents itself as an important therapeutic option, both from a medical standpoint, the social or economic. Thus, the identification of variables that can interfere in the effectiveness of organs and tissues donation for transplantation needs to be investigated adequately, because it stands before increasing index of chronic and degenerative diseases in the population, what makes the waiting list for transplantation grow disproportionately and patients come to death without the opportunity of realization the treatment due to a lack of donors. In this context, has defined as objective of this study evaluate the factors associated with the effectiveness of organs and tissues donation for transplantation. It is a evaluative research, quantitative, prospective, with longitudinal design, developed at Central of Catchment, Notification and organ donation for transplant, Organ Procurement Organization and in six accredited hospitals to collect and transplantation of organs and tissues, in Natal/RN, between august 2010 and february 2011, after the approval of the Research Ethics Committee, under No. 414/10 and CAAE 007.0.294.000-10. The probabilistic sample without replacement was composed of 65 potential donors. It was used as an instrument of data collection a structured script non-participant observation of checklist type. Data were analyzed using descriptive statistics and presented in tables, charts, graphs and figures. For this, was used Microsoft Excel 2007 and statistical program SPSS version 20.0. To check the level of significance was chosen by applying the chi-square test (χ2) and Mann Whitney and caselas for less than five, it is considered the Fisher exact test. It was adopted as the significance level p-value <0.05. Among the surveyed it was observed that most of the individuals were male (50,8%), in the age group 45 years (53,8%), mean age of 42,3 years, minimum 5 and maximum 73 years (± 17,32 years). Single / widowers / divorced (56,9%), with up to completed elementary school (60,0%) in the exercise of professional activity (86,2%), catholic (83,1%) and residents in metropolitan region of Natal (52,3%). Was obtained donation effectiveness of 27,7%. There was no statistical significance between structure and effectiveness of the donation, but were observed inadequacies in physical resources (36,9%), materials (30,8%), organizational structure (29,2%) and human resources (18,5%). In the process, the maintenance phase (p= 0.004), diagnosis of brain death (p= 0.032), family interview (p≤ 0.001) and documentation (p= 0.001) presented statistical significance with effectiveness. Thus, it is accepts the alternative hypothesis of the study, in which is evidenced that the adequacy of the factors related to structure and process is associated to effectiveness of organs and tissues donation for transplantation. In this way, the effectiveness of organ and tissue donation ends in an essential way the rapidity and accuracy with which the donation process is conducted, requiring appropriate structure, with appropriate physical and material resources and skilled human resources to optimize the reduction of time and the suffering of those waiting for an organ or tissue transplant queued in Brazil

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

Avaliação da estrutura e processo de trabalho dos centros de atenção psicossocial

Objective: Evaluate the work structure and process in Psychos ocial Care Centers (CAPS) and the professionals profile, the satisfaction, conditions and work overload. Methods: Cross - sectional study conducted in five CAPS in Campina Grande city. The study sample consisted of five coordinators, 42 graduate professional s, 26 mid - level (technical and auxiliary nurses, and caregivers), and the medical records pertaining to 413 users followed up. Data were collected using validated questionnaires (CAPSUL - rating CAPS in southern Brazil) and adapted to the study, between July and October 2014. The questionnaires were double entered and submitted to validation in the sub - program “Validate Epi Info 3.5.4” , used along with the “SPSS 17.0” for processing the statistical analyzes. Measures of central tendency and dispersion were ap plied to the descriptive analyzes; “Fisher's” exact test to check the CAPS impact on hospital admissions and the “Bonferroni” adjusted to verify the diagnoses according to sex. 5% significance level was adopted. The study was approved by the Ethics Committ ee of the Rio Grande do Norte Federal University (UFRN), protocol 719.435, of 05.30.2014. Results: From the structure analysis were identified contextual factors that influenced the work process of CAPS professionals, such as: deficiencies with regard to h uman resources; forms of health professionals employment and qualifications; temporary contract existence. As to process dimension, it was found that the home visits performance by health professionals shows to be ineffective, given its insufficiency and i rregularity, which can be explained by the high demand, reduced staff and transportation lack. It was low coverage of items inherent to Therapeutic Individual Project, as the income generation program, insertion at work and home visit. The reference and co unter reference flow are still not satisfactorily organized. There was statistically significant difference for the diagnosis, with a predominance of mood disorders related to stress among women and those related to alcohol and other drugs among men (p <0. 05). There was an association between the degree of health professionals satisfaction and working conditions, overload and factors related to the content and working conditions, the security measures, comfort and CAPS appearance, contact between the teams and users, families treatment by the teams, temporary employment relationship. Conclusion: The data collected indicate the need for the CAPS organization through increased investments in the sector in order to enhance the infrastructure as potentiating el ement of practices with a view to changing the care model for mental health proposed by the Psychiatric Reform. It is hoped therefore that this research will contribute to better planning in CAPS unit management, with another tool to improve the dimensions involving the structure and the professional work process and improve this mental health care model.