Generation Of Test Cases
Mostrando 1-12 de 40 artigos, teses e dissertações.
-
1. Development of a comprehensive noninvasive prenatal test
Abstract Our aim was to develop and apply a comprehensive noninvasive prenatal test (NIPT) by using high-coverage targeted next-generation sequencing to estimate fetal fraction, determine fetal sex, and detect trisomy and monogenic disease without parental genotype information. We analyzed 45 pregnancies, 40 mock samples, and eight mother-child pairs to gene
Genet. Mol. Biol.. Publicado em: 16/07/2018
-
2. Further Development and Application of High-Order Spectral Volume Methods for Compressible Flows
Abstract: The present paper investigates the high-order spectral finite volume method with emphasis on applicability aspects for compressible flows. The intent is to improve the understanding and implementation of numerical techniques related to high-order unstructured grid schemes. In that regard, a hierarchical moment limiter and high-order mesh capability
J. Aerosp. Technol. Manag.. Publicado em: 20/07/2017
-
3. Development of a mouse computational model for MCNPx based on Digimouse (r) images and dosimetric assays
ABSTRACT The aim of this study was to create and test a new mice 3D-voxel phantom named DM_BRA for mice and human first-estimation radiopharmaceutical dosimetry. Previously, the article reviews the state-of-art in animal model development. Images from Digimouse CT database were used in the segmentation and on the generation of the voxelized phantom. Simulati
Braz. J. Pharm. Sci.. Publicado em: 20/04/2017
-
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. The use of the linkage technique in health information systems: application in the database of the São Paulo Population-based Cancer Registry / Uso da técnica de linkage nos sistemas de informação em saúde: aplicação na base de dados do Registro de Câncer de base populacional do município de São Paulo
The availability of large computerized databases on health has enabled the record linkage technique, an alternative for different study designs. This technique provides the generation of a more complete database, at low operational cost. Objective to investigate the possibility of completing/improving information from the database of the RCBP-SP, in the peri
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/12/2011
-
6. Uma abordagem evolutiva multiobjetivo para geração automática de casos de teste a partir de máquinas de estados / A multi-objective evolutionary approach for automatic generation of test cases from state machines
A geração automática de casos de teste contribui tanto para melhorar a produtividade quanto para reduzir esforço e custo no processo de desenvolvimento de software. Neste trabalho é proposta uma abordagem, denominada MOST (Multi-Objective Search-based Testing approach from EFSM), para gerar casos de teste a partir de Máquina de Estados Finitos Estendid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/07/2011
-
7. 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
-
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. GERAÇÃO SEMI-AUTOMÁTICA DE MASSAS DE TESTES FUNCIONAIS A PARTIR DA COMPOSIÇÃO DE CASOS DE USO E TABELAS DE DECISÃO / SEMI-AUTOMATIC GENERATION OF FUNCTIONAL TEST SCRIPTS BY COMPOSING USE CASES WITH DECISION TABLES
Este trabalho tem por objetivo propor um processo e ferramentas para a geração semi-automática de scripts de teste funcional para sistemas web, a partir de casos de uso e tabelas de decisão, com vistas à geração de eficazes scripts de teste automatizados, simultaneamente reduzindo o tempo gasto para gerá-los. As especificações dos testes dão-se at
Publicado em: 2010
-
10. CONSTRUÇÃO AUTOMATIZADA DE CASOS DE TESTE USANDO ENGENHARIA DIRIGIDA POR MODELOS / CONSTRUCTION OF AUTOMATIC TEST CASES USING ENGINEERING ADDRESSED BY MODEL
The emergence of model driven approaches provides a new alternative for managing the complexity involved in the creation of test cases, for enhancing the automation of software testing and for promoting the broad reuse of models developed during the analysis of requirements and design of software. In addition, it reduces the injection of errors and software
Publicado em: 2009
-
11. genetic algorithms, power flow convergence / Aplicação de algoritmos genéticos para convergência de fluxo de potência em sistemas de energia
Calculating power flow is a fundamental problem in the field of electrical power systems, therefore the development of computational methods to improve their convergence is a subject of research. Traditional numerical methods, such as the Newton-Raphson algorithm, are very efficient for solving this problem, but they are highly dependent on initial condition
Publicado em: 2009
-
12. IEC-61850: interoperability and interchangeability between supervision, control and protection equipment using data communication networks / IEC-61850: interoperabilidade e intercambialidade entre equipamentos de supervisão, controle e proteção através das redes de comunicação de dados
Data communication has always been considered as a critical factor in real time operation of electric power systems. This is due to the need for fast and accurate decisions at different locations, from power generation to the user interfaces. With the digital technology, measurement, signals and commands are encrypted into data packets that travels on the su
Publicado em: 2009