@inproceedings{Santos-Neto2007, title = {Requirements for information systems model-based testing}, address = {New York, NY, USA}, author = {Pedro Santos-Neto and Rodolfo Resende and Clarindo P\'{a}dua}, booktitle = {SAC '07: Proceedings of the 2007 ACM symposium on Applied computing}, note = {MR: Presents a requirements catalog for MBT methods, focusing on System Testing. The scope is restricted to Information Systems (IS) but the explanations are enough abstract to be useful for other domains as well. Inspects following MBT methods: TOTEM, MODEST, AGEDIS. Concentrates on single systems, but the catalog is also interesting for product lines. Contains short paragraph about test oracle. Usefulness for IST-SPL (-/0/+/++): 0 (the mechanisms of the methods are described too shallow)}, pages = {1409--1415}, publisher = {ACM}, year = 2007, url = {http://portal.acm.org/citation.cfm?id=1244306&coll=ACM&dl=ACM&CFID=37894597&CFTOKEN=57312761}, location = {Seoul, Korea}, isbn = {1-59593-480-4}, doi = {http://doi.acm.org/10.1145/1244002.1244306}, abstract = {In order to develop systems with a high level of quality and low costs it is necessary to have adequate testing tools and methods. We believe that the definition of a requirements catalog is one of the steps in such direction. This work presents a requirements catalog for information systems model-based testing that can be used as a basis for improving methods as well as a guide for the development of new methods and tools. The catalog was prepared based on the literature of the area and on the experience of several information systems developers.}, biburl = {http://www.bibsonomy.org/bibtex/2e89501951e1ebf3e1fcef079b3af2da6/ist_spl}, keywords = {automation based model oracle requirements single software systems testing} } @inproceedings{Zhou2007, title = {Automated Software Testing and Analysis: Techniques, Practices and Tools}, author = {Zhi Quan Zhou and B. Scholz and G. Denaro}, booktitle = {System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International Conference on}, pages = {260-260}, year = 2007, url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4076908}, issn = {1530-1605}, isbn = {N: 0-7695-2755-8}, doi = {10.1109/HICSS.2007.96}, abstract = {As computer systems are permeating our society in daily life and are performing an increasing number of critical tasks, research in software testing and analysis has become of paramount importance. Although we are currently not able to prove program correctness for real-world applications, rigorous software development processes in combination with testing provides us with confidence in the quality of software. Software testing and analysis, however, is a very involved task. As the size and complexity of software continue to grow, manual testing becomes very tedious. Automation of software testing and tool support for testing, therefore, have been emerging as a key technology to quality assurance of today¿s software industry. As research in software testing and analysis has become increasingly active, there is also a growing trend towards combining formal methods and informal techniques for program verification.}, biburl = {http://www.bibsonomy.org/bibtex/2ff5cbb6da692000299c6d8774e0d61a1/ist_spl}, keywords = {automated imported software testing} } @book{Vigenschow2004, title = {Objektorientiertes Testen und Testautomatisierung in der Praxis. Konzepte, Techniken und Verfahren}, author = {Uwe Vigenschow}, edition = 1, publisher = {Dpunkt Verlag}, year = 2004, url = {http://www.amazon.de/gp/redirect.html%3FASIN=3898643050%26tag=ws%26lcode=xm2%26cID=2025%26ccmID=165953%26location=/o/ASIN/3898643050%253FSubscriptionId=13CT5CVB80YFWJEPWS02}, ean = {9783898643054}, asin = {3898643050}, isbn = {3898643050}, biburl = {http://www.bibsonomy.org/bibtex/2bbb9dd14a8b06d659e4a7462795e833a/ist_spl}, keywords = {automated object oriented software testing} } @inproceedings{Tsai2003, title = {Scenario-based object-oriented testing framework}, author = {W.T. Tsai and A. Saimi and L. Yu and R. Paul}, booktitle = {Quality Software, 2003. Proceedings. Third International Conference on}, month = {6-7 Nov.}, pages = {410--417}, year = 2003, biburl = {http://www.bibsonomy.org/bibtex/2659766c4bbb5195a3be70f7c7527fd2f/ist_spl}, keywords = {based object oriented scenario software testing} } @book{Reuys2006, title = {Anforderungsbasierte Ableitung von Systemtestfall-Szenarien in der Software-Produktlinien-Entwicklung}, author = {Andreas Reuys}, publisher = {Logos Berlin}, year = 2006, url = {http://www.amazon.de/gp/redirect.html%3FASIN=383251435X%26tag=ws%26lcode=xm2%26cID=2025%26ccmID=165953%26location=/o/ASIN/383251435X%253FSubscriptionId=13CT5CVB80YFWJEPWS02}, ean = {9783832514358}, asin = {383251435X}, isbn = {383251435X}, biburl = {http://www.bibsonomy.org/bibtex/2b16f35af29812ed0f63b2ebd8bccc966/ist_spl}, keywords = {based line product requirements scenario software testing} } @book{Liggesmeyer2002, title = {Software-Qualität: Testen, Analysieren und Verifizieren von Software}, author = {Peter Liggesmeyer}, note = {MR: Wertvoll ist die Klassifikation und Beschreibung der SW-Prüftechniken unterteilt u.a. in funktionsorientierte (spezifikationsbasierte) und strukturierte (codebasierte).}, publisher = {Spektrum Akademischer Verlag}, year = 2002, url = {http://www.amazon.de/gp/redirect.html%3FASIN=3827411181%26tag=ws%26lcode=xm2%26cID=2025%26ccmID=165953%26location=/o/ASIN/3827411181%253FSubscriptionId=13CT5CVB80YFWJEPWS02}, ean = {9783827411181}, asin = {3827411181}, isbn = {3827411181}, biburl = {http://www.bibsonomy.org/bibtex/2b93059312c64059636d8e86a53733125/ist_spl}, keywords = {fundamentals software testing} } @inproceedings{Cohen2006, title = {Coverage and adequacy in software product line testing}, address = {New York, NY, USA}, author = {Myra B. Cohen and Matthew B. Dwyer and Jiangfan Shi}, booktitle = {ROSATEA '06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis}, pages = {53--63}, publisher = {ACM}, year = 2006, url = {http://portal.acm.org/citation.cfm?id=1147249.1147257&coll=Portal&dl=GUIDE&CFID=65839091&CFTOKEN=21681387}, location = {Portland, Maine}, isbn = {1-59593-459-6}, doi = {http://doi.acm.org/10.1145/1147249.1147257}, abstract = {Software product line modeling has received a great deal of attention for its potential in fostering reuse of software artifacts across development phases. Research on the testing phase, has focused on identifying the potential for reuse of test cases across product line instances. While this offers potential reductions in test development effort for a given product line instance, it does not focus on and leverage the fundamental abstraction that is inherent in software product lines - variability.In this paper, we illustrate how rich software product line modeling notations can be mapped onto an underlying relational model that captures variability in the feasible product line instances. This relational model serves as the semantic basis for defining a family of coverage criteria for testing of a product line. These criteria make it possible to accumulate test coverage information for the product line itself over the course of multiple product line instance development efforts. Cumulative coverage, in turn, enables targeted testing efforts for new product line instances. We describe how combinatorial interaction testing methods can be applied to define test configurations that achieve a desired level of coverage and identify challenges to scaling such methods to large, complex software product lines. }, biburl = {http://www.bibsonomy.org/bibtex/24e49dee20bb58ab0b5160a54950cbf88/ist_spl}, keywords = {line product software testing} }