Test Case Generation
Mostrando 1-12 de 39 artigos, teses e dissertações.
-
1. Phenotypic correlation of characteristics in the gilt performance test with an average number of live-born piglets through all achieved births, during the reproductive exploitation
RESUMO A eficácia reprodutiva das porcas dita o nível de rentabilidade da própria produção, e o momento do teste e seleção de leitoas para reprodução (como os pais de uma geração futura) representa um momento muito importante. Dado o fato de que a seleção de leitoas para criação é parcialmente baseada no ganho de peso no teste, neste estudo e
Arq. Bras. Med. Vet. Zootec.. Publicado em: 10/10/2019
-
2. Pyrite utilization in the carboniferous region of Santa Catarina, Brazil - Potentials, challenges, and environmental advantages
Abstract The main coal seams explored in the coal region of Santa Catarina are Barro Branco (BB) and Bonito (BO). Owing to the association with the mineral matter, the tailings generated in the beneficiation are arranged in disposal areas, and subject to the generation of acid mine drainage (AMD). The objective of this study was to evaluate the use of pyrite
REM, Int. Eng. J.. Publicado em: 19/06/2019
-
3. Bond between steel and concrete made with ceramic waste aggregate
Abstract The reduction of natural resources combined with a substantial increase in the generation of solid waste in large urban centers, justifies the search for methods of reusing the construction industry waste. The ceramic industry has a high disposal rate during the manufacturing, transportation and eventual replacement of its products. In this case, re
REM, Int. Eng. J.. Publicado em: 2019-03
-
4. FSM-Based Test Case Generation Methods Applied to Test the Communication Software on Board the ITASAT University Satellite: A Case Study
ABSTRACT: The software in satellite applications has become increasingly larger, more complex and more integrated, so its verification and validation require exploration of new approaches. In this paper we present a Model-Based Testing (MBT) approach applied to the Communication Module of the ITASAT-1 university satellite. The models are Finite State Machine
J. Aerosp. Technol. Manag.. Publicado em: 2014-12
-
5. GERAÇÃO E EXECUÇÃO AUTOMÁTICA DE SCRIPTS DE TESTE PARA APLICAÇÕES WEB A PARTIR DE CASOS DE USO DIRECIONADOS POR COMPORTAMENTO / AUTOMATIC GENERATION AND EXECUTION OF TEST SCRIPTS FOR WEB APPLICATIONS FROM USE CASE DRIVEN BY BEHAVIOR
Este trabalho visa explorar os requisitos de software, descritos na forma de casos de uso, como instrumento capaz de apoiar a geração e execução automática de testes funcionais, com o intuito de verificar automaticamente se o resultado obtido nos testes gerados e executados estão em conformidade com o especificado. O trabalho consiste em utilizar um pr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/08/2011
-
6. Estudo do ruído de rodagem estrutural através da análise dos caminhos de transferência de energia - TPA / Structure-borne road noise study using transfer path analysis, TPA
The road noise, vibration and harshness (Road NVH) present from 20 Hz to 1000 Hz approximately, begins from the tires vibration and acoustic propagation and their interactions with the road surfaces. In these noise sources, both structural-borne and air-borne noise contributions are relevant to vehicle refinement. The constant efforts to study the vehicle as
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/05/2011
-
7. Estudo de modelos e condições iniciais da geração a priori de detritos espaciais e sua propagação orbital / Study of models and initial conditions of a priori generation of space debris and their orbital propagation
Currently, it is estimated that there are hundreds of thousands of space debris, of various sizes, around the Earth. The space debris, also known as orbital debris, can remain in orbit with other bodies for a long time; and can cause risks of collision, including with space vehicles still in operation. In addition, there are risks of potential accidents by r
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 01/04/2011
-
8. Test case generation for space area systems using test criteria for finite state machines / Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
Test case generation based on Finite State Machines (FSM) has been addressed for quite some time. Model-Based Testing has drawn attention from researchers and practitioners in test area. Several test criteria have been proposed in the literature in order to validate systems built according to some modeling formal technique, for example, the FSM. Through MEF
Publicado em: 2010
-
9. USING DECISION TABLES TO AUTOMATE THE GENERATION AND EXECUTION OF TEST CASES / O USO DE TABELAS DE DECISÃO PARA A AUTOMAÇÃO DA GERAÇÃO E DA EXECUÇÃO DE CASOS DE TESTE
Testing is a very important area in the software development. However, this area needs more effective tools with a higher level of automation with are more comprehensive than the tools available today. A large part of the techniques that do generation of test cases use explicity or implicitly decision tables as an auxiliary tool. This dissertation aims to de
Publicado em: 2010
-
10. Um processo para o desenvolvimento de aplicações Web acessíveis
The Internet is an important means of information transmission, of interaction among people, accomplishment business-oriented, education and government services. However, problems related to content accessibility have been a preponderant factor to the exclusion of users, mainly those ones presenting some kind of disability. Such process of exclusion has moti
Publicado em: 2010
-
11. Geração automática de casos de testes para máquinas de estados finitos / Automatic test case generation for finite state machines
Métodos formais são amplamente utilizados para modelar especificações e gerar casos de testes, imprescindíveis para validação de sistemas críticos. As Máquinas de Estados Finitos (MEFs) compõem um dos formalismos adotados, com várias aplicações em testes de sistemas aéreos e espaciais, além de sistemas médicos, entre vários outros. O objetiv
Publicado em: 2010
-
12. Property rights as a public policy tool: an empirical analysis of the social and economic effects
Secure property rights are considered a key determinant of economic development. However, the evaluation of the causal effects of land titling is a difficult task. The Brazilian government through a program called "Papel Passado" has issued titles, since 2004, to over 85,000 families and has the goal to reach 750,000. Furthermore, another topic in Public Pol
Publicado em: 09/10/2009