Computer Software Testing
Mostrando 1-12 de 34 artigos, teses e dissertações.
-
1. Academic English Proficiency Assessment Using a Computerized Adaptive Test
RESUMO Este trabalho descreve as etapas de transformação de um exame de proficiência em inglês acadêmico, aplicado via lápis-e-papel, em um teste adaptativo informatizado (TAI-PI) baseado em um modelo da Teoria de Resposta ao Item (TRI). O exame é com- posto por itens de múltipla escolha administrados segundo o método de Medida de Probabilidade Admi
TEMA (São Carlos). Publicado em: 16/09/2019
-
2. Validation of a simplified computer simulation method for plastic forming of metals by conventional tensile tests
Abstract This work was developed in order to validate a simplified computer simulation method for application in the drawing processes. The results of tensile tests on AISI 1004, AISI 1020 steel and copper were compared to those of computer simulations performed using the Deform-3D TM software. Each specimen was assumed to be an elasto-plastic material and w
REM, Int. Eng. J.. Publicado em: 2017-12
-
3. A systematic review on the evaluation and characteristics of computer-aided diagnosis systems
INTRODUCTION: One of the challenges in developing Computer-Aided Diagnosis (CAD) systems is their accurate and comprehensive assessment. This paper presents the conduction and results of a systematic review (SR) that aims to verify the state of the art regarding the assessment of CAD systems. This survey provides a general analysis of the current status of t
Rev. Bras. Eng. Bioméd.. Publicado em: 2014-12
-
4. Rehearsal: Um arcabouço para teste automatizado de coreografias de serviços web / Rehearsal: A framework for automated testing of web service choreographies
Web services are loosely-coupled software components designed to support interoperable machine- to-machine interaction over the Internet. To achieve such interoperability, web services are accesible through W3C web standards, independently of which language, operating system, or hardware platform they are developed. Due to these characteristics, simple web s
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/09/2012
-
5. Teste de robustez de uma infraestrutura confiável para arquiteturas baseadas em serviços Web / Robustness testing of a reliable infrastructure for web service-based architectures
Os sistemas baseados em serviços Web estão suscetíveis a diversos tipos de falhas, entre elas, as causadas pelo ambiente em que operam, a Internet, que está sujeita a sofrer com problemas como, atrasos de entrega de mensagem, queda de conexão, mensagens inválidas entre outros. Para que estas falhas não causem um problema maior para quem está interagi
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/06/2011
-
6. A teoria da classificação facetada na modelagem de dados em banco de dados computacionais
The study presents the Ranganathan‟s Theory of Faceted Classification (TFC) and the Database (DB) as Computational elements that enable the structuring of knowledge through the organization of concepts and creation of relationships. Contributions of Information Science (IS) for the research by defend the importance of organization for effective informa
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/03/2011
-
7. Development of a computer assisted gantry system for gaining rapid and accurate calyceal access during percutaneous nephrolithotomy
PURPOSE: To design a simple, cost-effective system for gaining rapid and accurate calyceal access during percutaneous nephrolithotomy (PCNL). MATERIALS AND METHODS: The design consists of a low-cost, light-weight, portable mechanical gantry with a needle guiding device. Using C-arm fluoroscopy, two images of the contrast-filled renal collecting system are ob
International braz j urol. Publicado em: 2010-12
-
8. 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
-
9. Modelos de simulação para análise e apoio à decisão nos processos de corte mecanizado, carregamento e transporte no agronegócio da cana-de-açúcar / Simulation models for analysis and decision support in the processes of cutting, loading and transport in the agribusiness of cane sugar
In the current days sugarcane occupies an area of approximately 10,5 % of all the Brazilian agricultural land, with an estimated production for the 2008/2009 crop of 528 million t. In the sugarcane production process, the harvest highlights due its high costs, representing approximately 35% of the sugarcane production costs, besides the addition of operation
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/07/2009
-
10. Mutation analysis for SQL database applications / Analise de mutantes em aplicações SQL de banco de dados
Testing database applications is crucial for ensuring high quality software as undetected faults can result in unrecoverable data corruption. SQL is the most widely used interface language for relational database systems. Our approach aims to achieve better tests by selecting fault-revealing databases. We use mutation analysis on SQL statements and discuss t
Publicado em: 2009
-
11. Model-based attack injection for security protocols testing / Injeção de ataques baseado em modelo para teste de protocolos de segurança
Neste trabalho apresentamos uma proposta de geração de ataques para testes de protocolos de segurança. O objetivo é detectar vulnerabilidades de um protocolo, que um atacante pode explorar para causar falhas de segurança. Nossa proposta usa um injetor de falhas para emular um atacante que possui total controle do sistema de comunicação. Como o sucesso
Publicado em: 2009
-
12. Modelos de simulação para análise e apoio à decisão nos processos de corte mecanizado, carregamento e transporte no agronegócio da cana-de-açúcar / Simulation models for analysis and decision support in the processes of cutting, loading and transport in the agribusiness of cane sugar
In the current days sugarcane occupies an area of approximately 10,5 % of all the Brazilian agricultural land, with an estimated production for the 2008/2009 crop of 528 million t. In the sugarcane production process, the harvest highlights due its high costs, representing approximately 35% of the sugarcane production costs, besides the addition of operation
Publicado em: 2009