Model Based Testing Mbt
Mostrando 1-4 de 4 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. Conjunto de características para teste de desempenho: uma visão a partir de modelos
O processo de teste de software possui um custo elevado se comparado com as demais etapas de desenvolvimento de software. A automação do teste de software por meio do reuso de artefatos de software, e.g., modelos, tem sido uma boa alternativa para mitigar estes custos, reduzindo o tempo de geração e execução dos casos de teste, tornando mais eficiente
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/03/2012
-
3. Conjunto de características para teste de desempenho : uma visão a partir de ferramentas
Atualmente, o desenvolvimento de sistemas por parte da indústria de software tem aumentado. Assim como a necessidade dos clientes em automatizar seus processos, cresce também a exigência dos mesmos na melhoria da qualidade dos sistemas informatizados. Nesse sentido, o teste de software desempenha um papel fundamental. Apesar dos benefícios que os testes
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/03/2012
-
4. Modelling and Integrating Formal Models: from Test Cases and Requirements Models
A especificaÃÃo formal de um sistema ou seu modelo formal à uma forma abstrata de representar suas propriedades (caracterÃsticas). MÃtodos formais à um ramo da Engenharia de Software com foco no desenvolvimento de sistemas tendo uma especificaÃÃo formal do mesmo como ponto de partida. Inicialmente, as vantagens de usar notaÃÃes abstratas antes da i
Publicado em: 2007