Test Code Generation
Mostrando 1-10 de 10 artigos, teses e dissertações.
-
1. Automatic evaluation and data generation for analytical chemistry instrumental analysis exercises
In general, laboratory activities are costly in terms of time, space, and money. As such, the ability to provide realistically simulated laboratory data that enables students to practice data analysis techniques as a complementary activity would be expected to reduce these costs while opening up very interesting possibilities. In the present work, a novel me
Quím. Nova. Publicado em: 2014
-
2. Sistemas CDMA ópticos coerentes baseados em codificação de fase espectral / Coherent optical CDMA systems based on spectral phase coding
In this work we perform a comprehensive analysis of a spectral phase-encoded time spreading optical code division multiple access (SPECTS-OCDMA) system. Despite being a numerical study, efforts were concentrated on the investigation of more realistic scenarios using as much information as possible from implemented test-beds in laboratories. In this context,
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/12/2012
-
3. Estendendo rest-unit : geração baseada em U2TP de drivers e dados de teste para RESTful Web Services / Extending rest-unit: drivers and test data generation based on u2tp for restful web services
Os RESTful Web services – Web services baseados em REST (REpresentational State Transfer) – são uma solução que vem sendo amplamente utilizada para desenvolvimento de aplicações Web 2.0 e publicação de APIs na internet pela interface simples e de fácil entendimento, aliado ao suporte de frameworks de alta produtividade. Os RESTful Web services, a
Publicado em: 2010
-
4. 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
-
5. Test environment using property checking of Java components with exception handling / Ambiente de testes utilizando verificação de componentes java com tratamento de exceções
A software system that shows some failure at runtime execution may bring consequences that range from a simple user annoyance to great disasters such as the lost NASA probe on Mars. The test activities aim to find errors in software systems, preventing these undesirable consequences. However, tests may take between 30% and 40% of total development time, and
Publicado em: 2008
-
6. Structural coverage analysis of test sets derived from formal specifications: a comparative study in the space applications context / Análise de cobertura de critérios de teste estruturais a partir de conjuntos derivados de especificações formais: um estudo comparativo no contexto de aplicações espaciais
Testing techniques can be divided, in high level, in code-based ones (white box) and specification based ones (black box). None of them are complete as they intend to identify different kinds of faults. The use of them together can increase the application confidence level. Thus, it is important to investigate the relationship between structural testing tech
Publicado em: 2007
-
7. Uso dos algoritmos genÃticos para a otimizaÃÃo de rotas de distribuiÃÃo
When the suply chain of medicine logistic is analysed, critical points can be found in the actual model of deliveries to the drugstores, which are the direct clients of the dealer. The clients demand full requests to be delivered on time. In this context, this work starts with the evaluation of the logistic process of the dealer. A field study has been condu
Publicado em: 2006
-
8. Representações internas e geração de codigos no compilador redirecionavel Xingo / Internal representation and code generation in the Xingo retargetable compiler
Due to the increasing complexity of the new processors, mainly DSPs processors, the capacity of generating highly optimized code for the new computer architectures by the compilers is increasingly motivating. The Xingó compiler has as goal allow research in code optimization and code generation for new architectures. In order to enable such researches, is n
Publicado em: 2005
-
9. Comparison of Enteric-Tek with API 20E and conventional methods for identification of Enterobacteriaceae.
Enteric-Tek (Flow Laboratories, Inc., Roslyn, N.Y.) is a new system designed for the identification of Enterobacteriaceae and consists of a round, multicompartmented plastic plate with 11 peripheral wells and 1 center well incorporating 14 biochemical reactions. Only one reagent (Kovacs reagent) is required to complete the biochemical test results for genera
-
10. Rationally designed mutations convert de novo amyloid-like fibrils into monomeric β-sheet proteins
Amyloid fibrils are associated with a variety of neurodegenerative maladies including Alzheimer's disease and the prion diseases. The structures of amyloid fibrils are composed of β-strands oriented orthogonal to the fibril axis (“cross β” structure). We previously reported the design and characterization of a combinatorial library of de novo β-sheet
The National Academy of Sciences.