https://www.bibsonomy.org/user/ist_splBibSonomy RSS Feed for /user/ist_splUni-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.http://proquest.safaribooksonline.com/browse?category=itbooks.sweng.testingist_spl2008-10-28T08:51:16+01:00fundamentals testing <span itemprop="description">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.</span>"Create effective, grounded, timely materials to support the teaching and self-study of software testing, software reliability, and quality-related software metrics."http://www.testingeducation.org/ist_spl2008-09-19T15:19:31+02:00fundamentals testing <span itemprop="description">&#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>http://www.opengroup.org/onlinepubs/009695399/toc.htmist_spl2008-09-11T14:23:56+02:00expressions regular <a itemprop="url" data-versiondate="2008-09-11T14:23:56+02:00" href="http://www.opengroup.org/onlinepubs/009695399/toc.htm" rel="nofollow" class="description-link">http://www.opengroup.org/onlinepubs/009695399/toc.htm</a>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:00formal methods testing <span itemprop="description">Formal Approaches to Testing of Software (FATES)</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.http://www.opensourcetesting.org/ist_spl2008-07-11T10:18:38+02:00testing tools <span itemprop="description">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>ObjectGen is a tool for generating test objectives from use cases. ValueGen is a tool for generating operational variables and combination of values from use cases. Although ValueGen needs the artefacts generated by ObjectGen, both tools are independent.http://www.lsi.us.es/~javierj/ObjectGen.htmlist_spl2008-07-11T09:06:49+02:00Use-Cases activity automated diagrams generation sequence tool transformation <span itemprop="description">ObjectGen is a tool for generating test objectives from use cases. ValueGen is a tool for generating operational variables and combination of values from use cases. Although ValueGen needs the artefacts generated by ObjectGen, both tools are independent.</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 <span itemprop="description">The Software Testing Portal on Wikipedia (en, english) Software testing is the process used to measure the quality of developed computer software.</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.http://www.systematic-testing.com/ist_spl2008-07-09T10:36:49+02:00fundamentals software systematic testing <span itemprop="description">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>The article illustrates a formal method of deriving functional test cases from use cases, including how to create a use case, derive all scenarios, and create reasonable test cases, as well as use IBM® Rational® RequisitePro for traceability from use cases to scenarios and test cases.http://www.ibm.com/developerworks/rational/library/04/r-3217/ist_spl2008-07-07T16:18:19+02:00Use-Cases activity cases diagrams scenarios test testdata traceability <span itemprop="description">The article illustrates a formal method of deriving functional test cases from use cases, including how to create a use case, derive all scenarios, and create reasonable test cases, as well as use IBM® Rational® RequisitePro for traceability from use cases to scenarios and test cases.</span>This document contains some pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems, available around the world on the World Wide Web (WWW). Formal methods are a fault avoidance technique that help in the reduction of errors introduced into a system, particularly at the earlier stages of design. They complement fault removal techniques like testing.http://vl.fmnet.info/ist_spl2008-07-01T10:13:07+02:00formal methods specification <span itemprop="description">This document contains some pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems, available around the world on the World Wide Web (WWW). Formal methods are a fault avoidance technique that help in the reduction of errors introduced into a system, particularly at the earlier stages of design. They complement fault removal techniques like testing.</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:00OCL UML software systemtest testing <span itemprop="description">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>The Dresden OCL Toolkit is all about the Object Constraint Language (OCL). OCL is part of the well-known Unified Modelling Language (UML). It extends the UML's graphical notation with the possiblity of adding more formally defined textual constraints on method invocations and on class structures as a whole. Many aspects of a model that cannot be expressed adequately with the graphical notation alone find their representation in OCL constraints. So, where does the Dresden OCL Toolset come into play? As its name indicates it is not some standalone solution. Instead, many of these tools are meant to be used as a library, integrated into other tools, but there exist also some standalone tools in the Toolkit.http://dresden-ocl.sourceforge.net/index.phpist_spl2008-06-27T08:22:26+02:00OCL tool <span itemprop="description">The Dresden OCL Toolkit is all about the Object Constraint Language (OCL). OCL is part of the well-known Unified Modelling Language (UML). It extends the UML&#039;s graphical notation with the possiblity of adding more formally defined textual constraints on method invocations and on class structures as a whole. Many aspects of a model that cannot be expressed adequately with the graphical notation alone find their representation in OCL constraints. So, where does the Dresden OCL Toolset come into play? As its name indicates it is not some standalone solution. Instead, many of these tools are meant to be used as a library, integrated into other tools, but there exist also some standalone tools in the Toolkit.</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 <span itemprop="description">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>Software testing is important activity in Software Development Life Cycle. To cut down cost of manual testing and to increase reliability of it, researchers and practitioners have tried to automate it. One of the important activity in testing environment is automatic test case generation - description of a test, independent of the way a given software system is designed. This paper presents a survey on automatic test case generation techniques that are found in the current literature. Problems in usage of certain techniques are identified. Areas that needed future research are presented.http://www.acadjournal.com/2005/v15/part6/p4/ist_spl2008-06-09T12:00:27+02:00MBT automated case generation specification-based test <span itemprop="description">Software testing is important activity in Software Development Life Cycle. To cut down cost of manual testing and to increase reliability of it, researchers and practitioners have tried to automate it. One of the important activity in testing environment is automatic test case generation - description of a test, independent of the way a given software system is designed. This paper presents a survey on automatic test case generation techniques that are found in the current literature. Problems in usage of certain techniques are identified. Areas that needed future research are presented.</span>In contrast to manual selection of input value boundaries, we present an approach to derive them automatically from OCL expressions of UML state machines and UML class diagrams. We statically analyze the interdependence of OCL expressions within the system model and transform the model into a transition tree and investigate the tree's paths. The corresponding test suite is focused on detecting errors that result from differences between constraints in the model and constraints in the system under test.http://casablanca.informatik.hu-berlin.de/grk-wiki/index.php/Dissertationsthema_Stephan_Wei%C3%9Flederist_spl2008-06-05T19:27:05+02:00MBT OCL UML <span itemprop="description">In contrast to manual selection of input value boundaries, we present an approach to derive them automatically from OCL expressions of UML state machines and UML class diagrams. We statically analyze the interdependence of OCL expressions within the system model and transform the model into a transition tree and investigate the tree&#039;s paths. The corresponding test suite is focused on detecting errors that result from differences between constraints in the model and constraints in the system under test.</span>http://swt.cs.tu-berlin.de/~dsokenou/papers.htmlist_spl2008-06-05T16:54:37+02:00UML aspect-oriented generation oracle testdata <a itemprop="url" data-versiondate="2008-06-05T16:54:37+02:00" href="http://swt.cs.tu-berlin.de/~dsokenou/papers.html" rel="nofollow" class="description-link">http://swt.cs.tu-berlin.de/~dsokenou/papers.html</a>UCTSystem is a prototype tool designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts (i.e. precondition and postconditions) to build an execution model allowing all valid sequences of use cases. Using this execution model and several test criteria, it generates test objectives as sequence of use cases to exerce. It includes both criteria for functional testing and a criterion for robusness testing. Those test objectives are then mapped into test cases using test templates. http://www.irisa.fr/triskell/Softwares/protos/ucts/ist_spl2008-06-04T16:37:09+02:00UML Use-Cases automated generation test tools <span itemprop="description">UCTSystem is a prototype tool designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts (i.e. precondition and postconditions) to build an execution model allowing all valid sequences of use cases. Using this execution model and several test criteria, it generates test objectives as sequence of use cases to exerce. It includes both criteria for functional testing and a criterion for robusness testing. Those test objectives are then mapped into test cases using test templates. </span>http://comjnl.oxfordjournals.org/cgi/content/full/bxm057v1ist_spl2008-06-03T15:30:24+02:00Java UML activity automated case diagrams generation test <a itemprop="url" data-versiondate="2008-06-03T15:30:24+02:00" href="http://comjnl.oxfordjournals.org/cgi/content/full/bxm057v1" rel="nofollow" class="description-link">http://comjnl.oxfordjournals.org/cgi/content/full/bxm057v1</a>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.http://www2.informatik.hu-berlin.de/~hs/Lehre/2006-SS_SpezTest/ist_spl2008-06-02T16:39:21+02:00MBT fundamentals software specification-based testing <span itemprop="description">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>http://people.engr.ncsu.edu/txie/testingresearchsurvey.htmist_spl2008-06-02T12:14:14+02:00fundamentals research software testing <a itemprop="url" data-versiondate="2008-06-02T12:14:14+02:00" href="http://people.engr.ncsu.edu/txie/testingresearchsurvey.htm" rel="nofollow" class="description-link">http://people.engr.ncsu.edu/txie/testingresearchsurvey.htm</a>