Identifying Modularity Improvement Opportunities in Goal-Oriented Requirements Models

Advanced Information Systems Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07881-6_7 ◽

2014 ◽

pp. 91-104 ◽

Cited By ~ 3

Author(s):

Catarina Gralha ◽

Miguel Goulão ◽

João Araújo

Keyword(s):

Requirements Models

Download Full-text

Towards the automated debugging and maintenance of logic-based requirements models

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) ◽

10.1109/ase.1998.732591 ◽

2002 ◽

Cited By ~ 1

Author(s):

T.L. McCluskey ◽

M.M. West

Keyword(s):

Automated Debugging ◽

Requirements Models

Download Full-text

Two embedded computer sysem requirements models issues for investigation

ACM SIGSOFT Software Engineering Notes ◽

10.1145/12944.1013587 ◽

1986 ◽

Vol 11 (4) ◽

pp. 56-59

Author(s):

Stephanie White

Keyword(s):

Embedded Computer ◽

Requirements Models

Download Full-text

Deriving tabular event-based specifications from goal-oriented requirements models

Journal of Lightwave Technology ◽

10.1109/icre.2003.1232751 ◽

2004 ◽

Cited By ~ 5

Author(s):

R. De Landtsheer ◽

E. Letier ◽

A. van Lamsweerde

Keyword(s):

Event Based ◽

Requirements Models

Download Full-text

Model-driven acceptance test automation based on use cases

Computer Science and Information Systems ◽

10.2298/csis141217033s ◽

2015 ◽

Vol 12 (2) ◽

pp. 707-728 ◽

Cited By ~ 1

Author(s):

Tomasz Straszak ◽

Michał Śmiałek

Keyword(s):

Specification Language ◽

Acceptance Testing ◽

Functional Domain ◽

Test Cases ◽

Acceptance Test ◽

Test Automation ◽

Model Driven ◽

Use Case Models ◽

Model Driven Approach ◽

Requirements Models

Acceptance testing is highly dependent on the formulation of requirements, as the final system is tested against user requirements. It is thus highly desirable to be able to automate transition from requirements to acceptance tests. In this paper we present a model-driven approach to this issue, where detailed use case models are transformed into test cases. Importantly, our approach facilitates synchronising functional test cases with other types of tests (non-functional, domain logic, user interface) and introducing test data. This leads to a unified approach where requirements models of various kind drive the acceptance testing process. This process is parallel to the development process which also involves automatic transformations from requirements models to software development artefacts (models and code). To show validity of the approach we present a case study which uses a new tool called ReDSeT, that transforms requirements formulated in the Requirements Specification Language (RSL) into tests in a newly proposed Test Specification Language (TSL).

Download Full-text