Design Testing for Product Line Development based on Test Scenarios
T. Kishi, and N. Noda. Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), page 19--26. Boston, MA, (August 2004)ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert.
Testdaten ergeben sich aus den Transitionen.
Es werden Modelchecking Techniken angewendet um Invarianten zu prüfen..
Abstract
In product line development, we develop each product by analyzing features of the product, examining what variants should be bound to variation points in core assets and designing product specific parts that are not supported by the core assets. In order to test the design of each product efficiently, it is desirable to develop test scenarios systematically from selected features and developed design model. In this paper, we propose a design testing method based on test scenarios utilizing model checking techniques. We discuss how we define variation points in test scenarios to make test scenarios reusable, and how we define traceability among feature model, design model and test scenarios to develop test scenarios efficiently for each product.
Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004)
year
2004
month
August
pages
19--26
available
1
category
Testing
newinversion
3.5
note
ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert.
Testdaten ergeben sich aus den Transitionen.
Es werden Modelchecking Techniken angewendet um Invarianten zu prüfen.
%0 Conference Paper
%1 Kishi:2004:DTPL
%A Kishi, Tomoji
%A Noda, Natsuko
%B Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004)
%C Boston, MA
%D 2004
%E Geppert, Birgit
%E Krueger, Charles
%E Li, Jenny
%K checking model scenarios statecharts techniques test
%P 19--26
%T Design Testing for Product Line Development based on Test Scenarios
%X In product line development, we develop each product by analyzing features of the product, examining what variants should be bound to variation points in core assets and designing product specific parts that are not supported by the core assets. In order to test the design of each product efficiently, it is desirable to develop test scenarios systematically from selected features and developed design model. In this paper, we propose a design testing method based on test scenarios utilizing model checking techniques. We discuss how we define variation points in test scenarios to make test scenarios reusable, and how we define traceability among feature model, design model and test scenarios to develop test scenarios efficiently for each product.
@inproceedings{Kishi:2004:DTPL,
abstract = {In product line development, we develop each product by analyzing features of the product, examining what variants should be bound to variation points in core assets and designing product specific parts that are not supported by the core assets. In order to test the design of each product efficiently, it is desirable to develop test scenarios systematically from selected features and developed design model. In this paper, we propose a design testing method based on test scenarios utilizing model checking techniques. We discuss how we define variation points in test scenarios to make test scenarios reusable, and how we define traceability among feature model, design model and test scenarios to develop test scenarios efficiently for each product.},
added-at = {2008-05-14T10:54:55.000+0200},
address = {Boston, MA},
author = {Kishi, Tomoji and Noda, Natsuko},
available = {1},
biburl = {https://www.bibsonomy.org/bibtex/2d9cd68668830d12b86180df66f98d4b6/ist_spl},
booktitle = {Proceedings of the International Workshop on Software Product Line Testing ({SPL}i{T} 2004)},
category = {Testing},
description = {Computer Science Bibliography Collection},
editor = {Geppert, Birgit and Krueger, Charles and Li, Jenny},
interhash = {6d5bff29b98347bd1ff9153c4dc384f1},
intrahash = {d9cd68668830d12b86180df66f98d4b6},
keywords = {checking model scenarios statecharts techniques test},
month = {August},
newinversion = {3.5},
note = {ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert.
Testdaten ergeben sich aus den Transitionen.
Es werden Modelchecking Techniken angewendet um Invarianten zu prüfen.
},
pages = {19--26},
timestamp = {2008-05-14T10:54:55.000+0200},
title = {Design Testing for Product Line Development based on Test Scenarios},
year = 2004
}