Conformance Testing
Mostrando 1-7 de 7 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. 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
-
3. COFI: uma abordagem combinando teste de conformidade e injeção de falhas para validação de software em aplicações espaciais / COFI: an approach combining conformance test and fault injection for espace application software validation
Este trabalho propõe um processo e uma metodologia de teste de software visando reduzir custos e diminuir o número de incidentes em missões espaciais. Seguindo a tendência atual das padronizações de software em aplicações espaciais, o teste de conformidade será de interesse em tais aplicações em futuro próximo como foi o caso da padronização de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 01/07/2005
-
4. COFI: an approach combining conformance test and fault injection for espace application software validation / COFI: uma abordagem combinando teste de conformidade e injeção de falhas para validação de software em aplicações espaciais
Este trabalho propõe um processo e uma metodologia de teste de software visando reduzir custos e diminuir o número de incidentes em missões espaciais. Seguindo a tendência atual das padronizações de software em aplicações espaciais, o teste de conformidade será de interesse em tais aplicações em futuro próximo como foi o caso da padronização de
Publicado em: 2005
-
5. Application of a formal testing methodology to wireless telephony networks
This paper presents the application of a formal testing methodology to protocols and services for wireless telephony networks. The methodology provides a complete and integrated coverage of all phases of the testing procedure: specification, test generation, and test execution on a given architecture. It permits to perform conformance and interoperability te
Journal of the Brazilian Computer Society. Publicado em: 2004-11
-
6. Integrando testes de dominios aos testes baseados em maquinas finitas de estados estendidas
Extended Finite State Machine (EFSM) are much utilized in protocoI specification. For testing it there are many techniques, used in conformance testing. Conformance testing of communication protocols aims at verifying that the externaI behaviour of a protocoI implementation complies with th protocoI specification. To test EFSM based specifications was develo
Publicado em: 2001
-
7. Disk diffusion quality control guidelines for Haemophilus susceptibility tests using cefdinir, CI-960, fleroxacin, temafloxacin, and trospectomycin.
A multilaboratory study to determine disk diffusion quality control ranges for Haemophilus influenzae ATCC 49247 and five investigational drugs was performed. Multiple lots of Haemophilus Test Medium and antibiotic disks were used for replicate testing in conformance with the recommendations of the National Committee for Clinical Laboratory Standards. Qualit