%0 Conference Paper %1 Mishra2006 %A Mishra, Satish %B CS&P 2006 - Concurrency, Specification and Programming %D 2006 %E Czaja, Roman Redziejowski Ludwik %E Schlingloff, Holger %K CSP algebraic automated line oracle product software specification specification-based testdata testing %T Specification Based Software Product Line Testing: A Case Study %U http://www2.informatik.hu-berlin.de/~hs/Aktivitaeten/2006_CSP/ %X In this paper, we describe an approach of software product line testing which is based on formal specifications of the desired properties. In a software product line, common behaviours are maintained at subsequent levels of the product development. Commonalities among products arise from the reuse of parts of the software. It is unclear, however, in which way test cases for one product can be reused for subsequent enhancements. In this paper we approach this problem by specification based testing. We start the software quality assurance process by formally specifying the system in the process algebraic specification language CSP-CASL 1 for the description of system properties. After that we establish an enhancement relation between specifications in a software product line development. This enhancement relation conceptually forms the basis of reusability of test suites among different implementations in a product line development.

@inproceedings{Mishra2006, abstract = {In this paper, we describe an approach of software product line testing which is based on formal specifications of the desired properties. In a software product line, common behaviours are maintained at subsequent levels of the product development. Commonalities among products arise from the reuse of parts of the software. It is unclear, however, in which way test cases for one product can be reused for subsequent enhancements. In this paper we approach this problem by specification based testing. We start the software quality assurance process by formally specifying the system in the process algebraic specification language CSP-CASL [1] for the description of system properties. After that we establish an enhancement relation between specifications in a software product line development. This enhancement relation conceptually forms the basis of reusability of test suites among different implementations in a product line development.}, added-at = {2008-06-27T15:45:53.000+0200}, author = {Mishra, Satish}, biburl = {https://www.bibsonomy.org/bibtex/2d75bfa54d7c45c6a6ffba04b75938005/ist_spl}, booktitle = { CS&P 2006 - Concurrency, Specification and Programming}, editor = {Czaja, Roman Redziejowski Ludwik and Schlingloff, Holger}, interhash = {5b50b5c6c08353a60d26dde16befbd07}, intrahash = {d75bfa54d7c45c6a6ffba04b75938005}, keywords = {CSP algebraic automated line oracle product software specification specification-based testdata testing}, note = {MR: Es wird gezeigt, dass bei SPLs, die mit formalen Spezifikationen (hier CSP-CASL) beschrieben sind, die Testfälle, Testeingaben und erwartete Ergebnisse automatisch generiert werden können. Die Wiederverwendung der Tests beschränkt sich im Paper auf SPLs von speziellen Art, bei denen die Varianten nur erweitert werden können und somit andere Varianten und den gemeinsamen Teil vollständig involvieren.}, timestamp = {2008-06-27T15:45:53.000+0200}, title = {Specification Based Software Product Line Testing: A Case Study}, url = {http://www2.informatik.hu-berlin.de/~hs/Aktivitaeten/2006_CSP/}, year = 2006 }