This paper focuses on usage modelling as a basis for both requirements engineering and testing, and investigates the possibility of integrating the two disciplines of use case modelling and statistical usage testing. The paper investigates the conceptual framework for each discipline, and discusses how they can be integrated to form a seamless transition from requirements models to test models for reliability certifica-tion. Two approaches for such an integration are identified: integration by model transformation and integration by model extension. The integration approaches are illustrated through an example, and advantages as well as disadvantages of each approach are discussed. Based on the fact that the two disciplines have models with...
Abstract. This research group has been working towards building an environ-ment which helps software...
In this paper we focus on the most critical portion of the transition from an user-oriented requirem...
Model-Based Testing is a test automation technique that generates test cases based on a model of the...
This paper focuses on usage modelling as a basis for both requirements engineering (RE) and testing,...
Requirements engineering and software reliability engineering both involve model building related to...
Successful development of software systems depends on the quality of the requirements engineering pr...
International audienceThe strong cost pressure of the market and safety issues faced by aerospace in...
Part 2: Tools and FrameworksInternational audienceTesting techniques in industry are not yet adapted...
The Use Case Map (UCM) scenario notation can be used to model service requirements and high-level de...
Understanding how a user interacts with a system is important if the goal is to deliver a product th...
The paper describes the preparation and execution of the site acceptance testing of a large scale in...
This paper is focused on the application of the well-known technique of use cases and especially on ...
International audienceThe diversity of requirements elicited from different customers leads to the d...
This paper shows a way to derive test cases for system level black-box-testing from the specificatio...
Scalability and input domain explosion make it impossible to exhaustively test simulation systems. I...
Abstract. This research group has been working towards building an environ-ment which helps software...
In this paper we focus on the most critical portion of the transition from an user-oriented requirem...
Model-Based Testing is a test automation technique that generates test cases based on a model of the...
This paper focuses on usage modelling as a basis for both requirements engineering (RE) and testing,...
Requirements engineering and software reliability engineering both involve model building related to...
Successful development of software systems depends on the quality of the requirements engineering pr...
International audienceThe strong cost pressure of the market and safety issues faced by aerospace in...
Part 2: Tools and FrameworksInternational audienceTesting techniques in industry are not yet adapted...
The Use Case Map (UCM) scenario notation can be used to model service requirements and high-level de...
Understanding how a user interacts with a system is important if the goal is to deliver a product th...
The paper describes the preparation and execution of the site acceptance testing of a large scale in...
This paper is focused on the application of the well-known technique of use cases and especially on ...
International audienceThe diversity of requirements elicited from different customers leads to the d...
This paper shows a way to derive test cases for system level black-box-testing from the specificatio...
Scalability and input domain explosion make it impossible to exhaustively test simulation systems. I...
Abstract. This research group has been working towards building an environ-ment which helps software...
In this paper we focus on the most critical portion of the transition from an user-oriented requirem...
Model-Based Testing is a test automation technique that generates test cases based on a model of the...