%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 }