Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/106157
Author(s): Valter Emanuel Ribeiro da Silva
Title: Model Based Testing - From requirements to tests
Issue Date: 2017-07-17
Abstract: Automating software testing can significantly reduce the effort, time and cost of software testing throughout the entire development life cycle. Model-Based Testing (MBT) is a software testing technique upon which test cases are generated from a model, an intermediate format requirements document, which provides multiple technical concerns of a given software system. This way it is possible to obtain test cases from requirements models to achieve an automation and systematization of the test process, according to certain coverage criteria. RSL stands for "Requirements Specification Language", which is a formal language to support and improve the production of system requirements specification (SRS). Developed at Instituto Superior Técnico, Universidade de Lisboa, this approach arranges the different aspects of Requirement Engineering (RE) into several views containing a set of logical constructs. These constructs are defined as linguistic patterns, grammatical rules that guide the production of understandable and coherent textual sentences. Closing the gap of requirements representation and natural language, which is the root of many requirements quality problems (incorrection, inconsistency, incompleteness, and ambiguousness). This research presents the TSL, acronym for "Testing Specification Language", a model-based testing approach for formal and human-readable specification of test cases that is based on the nomenclature and grammar defined by RSL. By applying Black-Box testing design techniques, TSL allows the construction of three different requirement test patterns, from the perspective of acceptance tests, that are expressed in the RSL approach. Namely, Domain Analysis (equivalence partitioning and boundary value analysis for the definition of structural data class values); Use Case Testing (derivation of tests from the various process flows expressed by the use cases); and State Machine Testing (covering the sequence of states from event-based state transitions). The methodology developed was applied in a case study, a simple fictitious business information system, named "Billing system". This illustrates how TSL supports the testing development cycle as an end-to-end process and the verification of the internal consistency of RSL specification models, leading to an increasing quality of requirements.
Description: A automação de testes de software reduz significativamente o esforço, o tempo e o custo total do processo de testes ao longo do ciclo de desenvolvimento do produto. Model-Based Testing (MBT) é uma técnica de teste de software em que casos de teste são gerados a partir de um modelo, um formato intermediário de requisitos, que fornece vários detalhes técnicos de um determinado sistema de software. Desta forma, é possível obter casos de teste a partir de modelos de requisitos para conseguir uma automação e sistematização do processo de teste, de acordo com os critérios de cobertura definidos.RSL, termo para "Requirement Specification Language", é uma linguagem formal para apoiar e melhorar a produção de especificação de requisitos de sistema (SRS). Desenvolvido no Instituto Superior Técnico da Universidade de Lisboa, esta abordagem organiza diferentes aspectos da Engenharia de Requisitos (RE) em vários níveis através de um conjunto de expressões lógicas. Estas expressões são definidas através de padrões linguísticos, regras gramaticais que mapeiam a produção de frases textuais compreensíveis e coerentes. Desta forma, reduz-se a lacuna entre a representação de requisitos e da linguagem natural, a principal fonte de problemas de qualidade dos requisitos (incorreção, inconsistência, incompletude e ambiguidade).Este trabalho de dissertação apresenta o TSL - "Testing Specification Language", uma abordagem MBT para especificação formal e legível de casos de teste que se baseia na nomenclatura e gramática definida pelo RSL. Pela aplicação de técnicas de design de testes por caixa preta, o TSL permite a construção de três padrões de teste de requisitos, na perspectiva de testes de aceitação, que estão expressos na abordagem RSL. Nomeadamente, Análise de Domínio (criação de classes de equivalência e análise de valores limite para a definição de valores de dados estruturais); Testes de casos de uso (derivação de testes a partir dos vários fluxos de evento explícitos pelos casos de uso); e testes de máquinas de estado (extração de sequência de estados a partir de autómatos finitos).A metodologia desenvolvida foi aplicada num estudo de caso, um sistema fictício e simples de informação empresarial , denominado de "Billing System". Este exemplo permite ilustrar como o TSL suporta o ciclo de desenvolvimento de testes como um processo automizado e a verificação da consistência interna dos modelos de especificação RSL, levando a uma maior qualidade de requisitos.
Subject: Engenharia electrotécnica, electrónica e informática
Electrical engineering, Electronic engineering, Information engineering
Scientific areas: Ciências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
Engineering and technology::Electrical engineering, Electronic engineering, Information engineering
TID identifier: 201805006
URI: https://repositorio-aberto.up.pt/handle/10216/106157
Document Type: Dissertação
Rights: openAccess
License: https://creativecommons.org/licenses/by/4.0/
Appears in Collections:FEUP - Dissertação

Files in This Item:
File Description SizeFormat 
203488.pdfModel-Based Testing: From requirements to tests2.32 MBAdobe PDFThumbnail
View/Open


This item is licensed under a Creative Commons License Creative Commons