Title | ||
---|---|---|
A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines. |
Abstract | ||
---|---|---|
Testing is one of the most important activities to ensure the quality of a software system. This paper proposes and discusses the TSL (Test Specification Language) that adopts a model-based testing approach for both human-readable and computer-executable specifications of test cases. TSL is strongly inspired on the grammar, nomenclature and writing style as defined by the RSLingo RSL, which is a rigorous requirements specification language. Both RSL and TSL are controlled natural languages that share common concepts such as data entities, use cases and state machines. However, by applying black-box functional testing design techniques, TSL includes and supports four complementary testing strategies, namely: domain analysis testing; use case tests; state machine testing; and acceptance criteria. This paper focuses on the first three testing strategies of TSL. Finally, a simple but effective case study illustrates the overall approach and supports the discussion. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1007/978-3-030-11030-7_20 | MODELSWARD |
Field | DocType | Citations |
Information system,Use case,Software engineering,Computer science,Functional testing,Theoretical computer science,Software system,Finite-state machine,Natural language,Test case,Acceptance testing | Conference | 0 |
PageRank | References | Authors |
0.34 | 19 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alberto Rodrigues da Silva | 1 | 295 | 50.66 |
Ana C. R. Paiva | 2 | 145 | 18.69 |
Valter Emanuel R. da Silva | 3 | 0 | 0.34 |