http://www.bibsonomy.org/rss/user/ist_spl/testingBibSonomy RSS Feed for /user/ist_spl/testing&#034;Create effective, grounded, timely materials to support the teaching and self-study of software testing, software reliability, and quality-related software metrics.&#034;http://www.testingeducation.org/ist_spl2008-09-19T15:19:31+02:00fundamentals testing &#034;Create effective, grounded, timely materials to support the teaching and self-study of software testing, software reliability, and quality-related softwar<span class="info">...<span>&#034;Create effective, grounded, timely materials to support the teaching and self-study of software testing, software reliability, and quality-related software metrics.&#034;</span></span>Formal Approaches to Testing of Software (FATES)http://www-higashi.ist.osaka-u.ac.jp/TESTCOM-FATES08/history.htmlist_spl2008-08-14T13:49:47+02:00methods formal testing Formal Approaches to Testing of Software (FATES)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.http://www.opensourcetesting.org/ist_spl2008-07-11T10:18:38+02:00tools testing Opensourcetesting.org aims to boost the profile of open source testing tools within the testing industry, principally by providing users with an easy to us<span class="info">...<span>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.</span></span>The Software Testing Portal on Wikipedia (en, english) Software testing is the process used to measure the quality of developed computer software.http://en.wikipedia.org/wiki/Portal:Software_Testingist_spl2008-07-09T10:48:08+02:00software testing The Software Testing Portal on Wikipedia (en, english) Software testing is the process used to measure the quality of developed computer software.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.http://www.systematic-testing.com/ist_spl2008-07-09T10:36:49+02:00fundamentals software testing systematic 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 the<span class="info">...<span>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.</span></span>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.http://www.ibm.com/developerworks/rational/library/5390.htmlist_spl2008-06-30T08:09:22+02:00software systemtest OCL testing UML This article discusses various uses of OCL (Object Constraint Language) for both developers and testers. IT also enumerates the many advantages of the lang<span class="info">...<span>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.</span></span>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.http://csrc.nist.gov/groups/SNS/acts/index.htmlist_spl2008-06-10T10:21:06+02:00combinatorial testing Software developers frequently encounter failures that occur only as the result of an interaction between two components. Failure triggering fault interact<span class="info">...<span>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.</span></span>Seminar &#034;Spezifikationsbasierter Softwaretest&#034; 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.http://www2.informatik.hu-berlin.de/~hs/Lehre/2006-SS_SpezTest/ist_spl2008-06-02T16:39:21+02:00fundamentals software specification-based testing MBT Seminar &#034;Spezifikationsbasierter Softwaretest&#034; Prof. Dr. H. Schlingloff, Lehre In der Veranstaltung wird die Frage behandelt, wie Testfälle aus Spezifika<span class="info">...<span>Seminar &#034;Spezifikationsbasierter Softwaretest&#034; 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.</span></span>http://people.engr.ncsu.edu/txie/testingresearchsurvey.htmist_spl2008-06-02T12:14:14+02:00fundamentals software testing research http://de.wikipedia.org/wiki/Klassifikationsbaummethodeist_spl2008-05-26T18:39:27+02:00test specification-based data testing black-box http://www.biglever.com/split2005/Presentations/SPLiT2005_Proceedings.pdfist_spl2008-05-19T17:18:34+02:00product software line testing http://en.wikipedia.org/wiki/Model_based_testingist_spl2008-05-05T16:21:30+02:00model testing based