Test Case Specifications
Mostrando 1-12 de 16 artigos, teses e dissertações.
-
1. Evaluation of reinforced concrete structural durability in the post-occupation phase - A case study in Novo Hamburgo/RS
Abstract Researches on building performance have been developed over time. The Brazilian Performance Standard - NBR 15575 - deals with the issues of durability applied to residential buildings, establishing criteria and parameters to classify the systems into minimum, intermediate and higher performance levels. In relation to the service life, studies are al
REM, Int. Eng. J.. Publicado em: 2019-03
-
2. Concept of a Maneuvering Load Control System and Effect on the Fatigue Life Extension
Abstract This paper presents a methodology for the conceptual design of a Maneuver Load Control system taking into account the airframe flexibility. The system, when switched on, is able to minimize the bending moment augmentation at a wing station near the wing root during an unsteady longitudinal maneuver. The reduction of the incremental wing bending mome
Lat. Am. j. solids struct.. Publicado em: 2016-12
-
3. Analysis of the flexural mode response of a novel trimaran by segmented model test
A novel ship concept design is significantly an "adhoc" process. In the preliminary design stage of novel vessels, it is very important to be able to develop an initial estimate of the effects of stiffness and mass distribution on the longitudinal flexural natural frequencies due to different general arrangements in still water at zero speed to satisfy desig
Lat. Am. j. solids struct.. Publicado em: 2014
-
4. Geração de cenários de teste com base em casos de uso
Around 37% of unsuccessfully software projects have their cause related to issues on how to software requirements are collected and manipulated. Requirement Management activities help on getting this scenario better, however it is necessary to validate the software under construction on its right meaning frequently. Thus, Software Quality Assurance (SQA) act
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/02/2011
-
5. WEB-PerformCharts: gerando casos de testes via web a partir de especificações em statecharts / WEB-PerformCharts: a web-based test case generator from statecharts modeling
Distributed development of software is an increasing approach where teams spread over a country or even over the world can work together in order to develop the product. Web appears as a valuable resource enabling the cooperative development of software by professionals geographically distant from each other. This dissertation proposes a web-based tool, WEBP
Publicado em: 2008
-
6. ESTUDO COMPARATIVO DA COMPETITIVIDADE DAS EMPRESAS DE MÁQUINAS FERRAMENTAS BRASILEIRAS: ANÁLISE MULTICRITÉRIOS
The aim of the current study was to investigate through a comparative study, a competitive positioning of three Multitask and Tooling Machines in Brazilian market..Initial hypothesis were based on: a) the national tooling machine industries are being penalized with the industrial policies practiced by the federal government, and b) the relative importance at
Publicado em: 2007
-
7. NLForSpec: Uma Ferramenta para GeraÃÃo de EspecificaÃÃes Formais a partir de Casos de Teste em Linguagem Natural
This work describes the NLForSpec, a Natural Language Processing tool to translate software test cases descriptions in English into a formal representation. NLForSpec is part of a larger project (CIn-Motorola BTC Test Research Project), which aims to automate test case generation, selection and evaluation for mobile phone applications. One of the projects ma
Publicado em: 2006
-
8. SpecNL: Uma ferramenta para gerar descriÃÃes em linguagem natural a partir de especificaÃÃes de casos de teste
Software Testing is an important task in the software development process. However, this task is very expensive. Studies suggest that Software Testing takes up to 50% of the total cost of software development. In order to automate and optimize the testing activities, several tools have been applied to aid the testing process, ranging from test generation to
Publicado em: 2006
-
9. Testes de controle no judo : proposta de avaliação da resistencia especial do judoca / Control tests in judo : a purpose of evaluation of judoist s special endurance
In the actual sporting scenery, the need to establish a reliable method of controlling the athlete training is one of the main concerns of science sports researches. In the case of judo, a sport with a high physical demand is important to measure the effort required by the high-performance athlete so that the sign can be used as a tool for the coach during t
Publicado em: 2006
-
10. The application of mutation testing in the context of testing and validation of coloured Petri nets / Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"
The usage of formal methods and techniques contributes to the development of highly reliable system, but, in spite of the achieved rigour, these techniques must be complemented with testing and validation activities. It should be highlighted that the cost to eliminate errors found in the early phases of development is smaller than when those errors are found
Publicado em: 2004
-
11. A lei Kaldor-Verdoorn na economia brasileira. / Kaldor-Verdoorn s law in brazilian economy.
The purpose of this work was to test the theoretical proposition so-called Kaldor-Verdoorn s Law, and to show its relevance for the determination of the degree of dynamism of economic sectors of a country. Empirical tests of such theoretical model are performed for the Brazilian economy, using industry data taken from the period 1970-1997 and agriculture dat
Publicado em: 2002
-
12. Integrando testes de dominios aos testes baseados em maquinas finitas de estados estendidas
Extended Finite State Machine (EFSM) are much utilized in protocoI specification. For testing it there are many techniques, used in conformance testing. Conformance testing of communication protocols aims at verifying that the externaI behaviour of a protocoI implementation complies with th protocoI specification. To test EFSM based specifications was develo
Publicado em: 2001