Fault Based Testing
Mostrando 1-11 de 11 artigos, teses e dissertações.
-
1. 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
-
2. 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
-
3. A high-fault-coverage approach for the test of data, control, and handshake interconnects in mesh networks-on-chip
A novel strategy for detecting interconnect faults between distinct channels in networks-on-chip is proposed. Short faults between distinct channels in the data, control, and communication handshake wires are considered in a cost-effective test sequence for mesh NoC topologies based on XY routing.
Publicado em: 2011
-
4. Design of self-checking fully differential circuits and boards
A design methodology for on-line testing analog linear fully differential (FD) circuits is presented in this work. The test strategy is based on concurrently monitoring via an analog checker the common mode (CM) at the inputs of all amplifiers. The totally self-checking (TSC) goal is achieved for linear FD implementations provided that the checker CM thresho
Publicado em: 2011
-
5. 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
-
6. Minimização de conjuntos de casos de teste para máquinas de estados finitos / Teste suite minimization for finite state machines
THE Model-based testing aims at generating test suites from formal specifications, such as Finite State Machines. Test suites can be obtained either from classical test derivation methods or from some ad-hoc approach. It is desirable to produce a test suite which detects all possible faults of an implementation and has small size, so that its application can
Publicado em: 2008
-
7. Fault-based testing approach for data schemas / Abordagem de teste baseada em defeitos para esquemas de dados
Dados são manipulados em várias aplicações de software envolvendo operações críticas. Em tais aplicações assegurar a qualidade dos dados manipulados é fundamental. Esquemas de dados definem a estrutura lógica e os relacionamentos entre os dados. O teste de esquemas por meio de abordagens, critérios e ferramentas de teste específicos é uma forma
Publicado em: 2007
-
8. MAPPING HORIZONS AND SEISMIC FAULTS FROM 3D SEISMIC DATA USING THE GROWING NEURAL GAS ALGORITHM / MAPEAMENTO AUTOMÁTICO DE HORIZONTES E FALHAS EM DADOS SÍSMICOS 3D BASEADO NO ALGORITMO DE GÁS NEURAL EVOLUTIVO
In this work we present a clusterization-based method to map seismic horizons and faults from 3D seismic data. We describe a method used to quantize an initial seismic volume using a trained instance of the Growing Neural Gas (GNG) algorithm. To accomplish this task we create a training set where each sample corresponds to an entry volume voxel, retaining it
Publicado em: 2007
-
9. A generalized model for distributed comparison-based system-level diagnosis
This work introduces a new system-level diagnosis model and an algorithm based on this model: Hi-Comp (Hierarchical Comparison-based Adaptive Distributed System-Level Diagnosis algorithm). This algorithm allows the diagnosis of systems that can be represented by a complete graph. Hi-Comp is the first diagnosis algorithm that is, at the same time, hierarchica
Journal of the Brazilian Computer Society. Publicado em: 2005-04
-
10. MuDeL: a language and a system for describing and generating mutants
Mutation Testing is an approach for assessing the quality of a test case suite by analyzing its ability in distinguishing the product under test from a set of alternative products, the so-called mutants. The mutants are generated from the product under test by applying a set of mutant operators, which produce products with slight syntactical differences. The
Journal of the Brazilian Computer Society. Publicado em: 2002-07
-
11. Interface mutation: an interprocedural adequacy criterion for integration testing / Mutação de interface: um critério Interprocedimental para o teste de integração
The project of test cases is one of the most important topics in the software testing activity. Several criteria have been proposed aiming at allowing the evaluation and selection of test cases in a systematic and theoretically well founded way. Unfortunately, the use of most of these criteria is restricted to the unit testing phase. For other testing phases
Publicado em: 1997