A process to increase the model quality in the context of model-based testing

Abstract

In the past years model-based testing (MBT) has become a widely-used approach to the test automation in the industrial context. Until now the application of MBT has been limited to the software quality engineers with very good modelling skills. In order to guarantee the completeness of a model and to increase its precision there is a need to allow the usage of the approach by other project stakeholders such as requirements engineers as well as software quality engineers with a limited modelling experience. In this contribution we share the challenges discovered during the several years of the application of a certain MBT technique in a SCRUM project with particular regard to the definition of precise and complete models. A process which involves the entire software project team into the model definition starting at the very early stages of product development is presented along with its concrete implementation. First experiences with the application of the process in a particular project are presented. 1

Systematic mapping study on MBT: tools and models

“…Few studies were classified as Experimental Study, Proof of Concepts and Theoretical, representing, respectively, 9.2% (8), 3.45% (3) and 4.6% (4). From the perspective of MBT activities, the most researched MBT activity of the primary studies [27] Gherkin language [68] predicate/transition nets (Petri nets) [48] GUI model x [51, 69] RTCM [103] IF language [60] Simulink/Stateflow [41,77,84,89] Lyra modelling [25] TA mapping model [96] [30,40,55,90,92,102] model-implementation (MI) description [46] TTCN-3 [28,56] MI mapping) [48] Z notation [34,49] MSC [56] MCMs [35,37] Organization for the Advancement of Structured Information Standards (OASIS)/Open Service Oriented Architecture (OSOA) [21] Palladio component model [65] PBM [27] QML [20,23,104] SBM [74] SIM [74] S# test models [66] specification and abstraction language for testing [100] Spec# [9,23,42] TCM [74] TTSs [54] TestingMM [37] threat MI d...…”

Uma Proposta de Boas Práticas para Aplicação de Teste Baseado em Modelos em Métodos Ágeis

“…Neste trabalho os autores apresentam como desafios para utilização de MBT em métodoságeis: criar e manter modelos pouco rígidos e flexíveis, manter a conformidades do código com o modelo e garantir a cobertura de testes. Entin et al (2015) [12] apresentam os resultados da análise da aplicação da técnica de MBT em um projeto Scrum. O processo proposto, e utilizado neste trabalho, faz uso da linguagem de domínio específico Gherkin para a definição dos requisitos e realiza a geração automatizada de modelos a partir destes requisitos.…”

“…• Quando são escritas as histórias de usuário pelo Product Owner, o mesmo efetua a criação do primeiro modelo, a exemplo do proposto por [12]. • Os modelos criados pelo Product Owner deverão ser evoluídos pela equipe de desenvolvimento.…”