Voleibol brasileiro : parâmetros fenotípicos e genotípicos na seleção de atletas

Objective: Identify phenotype and genotype parameters of female volleyball players at different performance levels to help in player selection. Methods: We identified characteristics of phenotype and genotype using the somatotype method (Heath Carter); anthropometry (weight, height and fat percentage); dermatoglyphics (Cummins and Midlo s method) as well as applying physical quality tests (Shuttle Run to assess agility and the Sargent Jump Test adapted for spike and block reach). The sample was composed of 179 players (54 from national teams and 125 from state teams). Results: Somatotype was similar among the performance levels in the mesomorphic component. The Height and ectomorphic component were greater in national team players as was spike and block reach. The vertical jump height for the spike was similar between the national under-17 team and the state teams observed, but in the block jump the lower level players were better. The dermatoglyphics characteristics identified were similar among the groups studied. Conclusions: The results of the variables studied show that somatotype, height, spike reach and block reach are fundamental parameters in player selection and in the specific characteristics of each game position of this sport. This paper proposes a multidisciplinary approach applicable in the fields of physical education, medicine and nutrition

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