@inproceedings{Kishi:2004:DTPL,
title = {Design Testing for Product Line Development based on Test Scenarios},
address = {Boston, MA},
author = {Tomoji Kishi and Natsuko Noda},
booktitle = {Proceedings of the International Workshop on Software Product Line Testing ({SPL}i{T} 2004)},
editor = {Birgit Geppert and Charles Krueger and Jenny Li},
month = {August},
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},
year = {2004},
description = {Computer Science Bibliography Collection},
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.},
available = {1}, category = {Testing}, newinversion = {3.5},
keywords = {checking model scenarios statecharts techniques test }
}
::