Uni-DUE: *E-Books, Safari Books online*
Eine große Sammlung elektronischer Volltexte von neu erschienenen deutschsprachigen Büchern aus den Verlagen Springer, Teubner, Vieweg, Gabler und Verlag für Sozialwissenschaften steht unter dem Link Datenbanken-E-Books zur Verfügung. Ausserdem wurde das Angebot der Safari Books online von 200 auf 300 Slots und in der Anzahl der parallelen Nutzer erweitert.
"Create effective, grounded, timely materials to support the teaching and self-study of software testing, software reliability, and quality-related software metrics."
Opensourcetesting.org aims to boost the profile of open source testing tools within the testing industry, principally by providing users with an easy to use gateway to information on the wide range of open source testing tools available.
This site offers access to selected papers on software testing. The main focus lies on papers related to functional and evolutionary testing as well as their automation. Most of the papers are available in pdf-format or are linked to the original source.
Furthermore, this site offers a free download of the Classification-Tree Editor CTE/XL.
This article discusses various uses of OCL (Object Constraint Language) for both developers and testers. IT also enumerates the many advantages of the language, which is part of the UML specification.
Software developers frequently encounter failures that occur only as the result of an interaction between two components. Failure triggering fault interactionsTesters often use pairwise testing – all pairs of parameter values – to detect such interactions. Combinatorial testing beyond pairwise is rarely used because good algorithms for higher strength combinations (e.g., 4-way or more) have not been available, but empirical evidence shows that some errors are triggered only by the interaction of three, four, or more parameters (see graph). These results have important implications for testing. If all faults in a system can be triggered by a combination of n or fewer parameters, then testing all n-way combinations of parameters can provide high confidence that nearly all faults have been discovered. We are producing methods and tools to generate tests for all n-way combinations of parameter values, using improved combinatorial testing algorithms for constructing covering arrays, and automated generation of test oracles using model checking.
Seminar "Spezifikationsbasierter Softwaretest"
Prof. Dr. H. Schlingloff, Lehre
In der Veranstaltung wird die Frage behandelt, wie Testfälle aus Spezifikationen abgeleitet werden können. Ein besonderer Schwerpunkt ist dabei der modellbasierte Test eingebetteter Systeme, z.B. im Automotive Software Engineering.
A. Engel. Wiley Series in Systems Engineering and Management Wiley, 1 edition, (2010)Wertvoll wegen den verschiedenen Black-Box-Testing Methoden für komplexe Systeme..
A. Neto, R. Subramanyan, M. Vieira, and G. Travassos. WEASELTech '07: Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies, page 31--36. New York, NY, USA, ACM, (2007)
A. Memon, I. Banerjee, and A. Nagarajan. Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on, page 164-173. (October 2003)
P. Santos-Neto, R. Resende, and C. Pádua. SAC '07: Proceedings of the 2007 ACM symposium on Applied computing, page 1409--1415. New York, NY, USA, ACM, (2007)
A. Pretschner, and J. Philipps. Model-Based Testing of Reactive Systems, volume 3472 of Lecture Notes in Computer Science, page 281-291. Springer, (2004)
T. Chen, S. Tang, P. Poon, and T. Tse. QSIC '05: Proceedings of the Fifth International Conference on Quality Software, page 55--63. Washington, DC, USA, IEEE Computer Society, (2005)