<?xml version="1.0" encoding="UTF-8"?>
<posts update='2008-10-06 18:45:19' user=""><post 
   href="http://www.testingeducation.org/" 
   description="Center for Software Testing Education &amp; Research" 
   
     extended="&#034;Create effective, grounded, timely materials to support the teaching and self-study of software testing, software reliability, and quality-related software metrics.&#034;" 
   
   hash="3aa500e5f5540ab3a2f3a67cafb31bc9"
   user="ist_spl"
   tag="fundamentals testing "
   time="2008-09-19T15:19:31+0200" />
<post 
   href="http://www.opengroup.org/onlinepubs/009695399/toc.htm" 
   description="POSIX-Spezifikation für reguläre Ausdrücke - The Open Group Base Specifications Issue 6" 
   
   hash="3ff0f76e3f5a01e79891a1478166a9eb"
   user="ist_spl"
   tag="expressions regular "
   time="2008-09-11T14:23:56+0200" />
<post 
   href="http://www-higashi.ist.osaka-u.ac.jp/TESTCOM-FATES08/history.html" 
   description="The History of FATES" 
   
     extended="Formal Approaches to Testing of Software (FATES)" 
   
   hash="a8751456f93994b758ed20bc880fac05"
   user="ist_spl"
   tag="formal methods testing "
   time="2008-08-14T13:49:47+0200" />
<post 
   href="http://www.opensourcetesting.org/" 
   description="Open source software testing tools" 
   
     extended="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." 
   
   hash="373131f447e2948a38ab3e4628231ccc"
   user="ist_spl"
   tag="testing tools "
   time="2008-07-11T10:18:38+0200" />
<post 
   href="http://www.lsi.us.es/~javierj/ObjectGen.html" 
   description="ObjectGen and ValueGen page" 
   
     extended="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." 
   
   hash="1ab85aefb3cb0f8a7cebc09cb71aa0eb"
   user="ist_spl"
   tag="Use-Cases activity automated diagrams generation sequence tool transformation "
   time="2008-07-11T09:06:49+0200" />
<post 
   href="http://en.wikipedia.org/wiki/Portal:Software_Testing" 
   description="Portal:Software Testing - Wikipedia, the free encyclopedia" 
   
     extended="The Software Testing Portal

on Wikipedia (en, english)

Software testing is the process used to measure the quality of developed computer software." 
   
   hash="8d3829ae2cba848288879c228dcb9dcc"
   user="ist_spl"
   tag="software testing "
   time="2008-07-09T10:48:08+0200" />
<post 
   href="http://www.systematic-testing.com/" 
   description="Systematic Testing" 
   
     extended="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." 
   
   hash="2205677d13a8738a0ef07be7f09c195b"
   user="ist_spl"
   tag="fundamentals software systematic testing "
   time="2008-07-09T10:36:49+0200" />
<post 
   href="http://www.ibm.com/developerworks/rational/library/04/r-3217/" 
   description="Traceability from Use Cases to Test Cases" 
   
     extended="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." 
   
   hash="1ed7593c495105692bc1fbf8ccbc8642"
   user="ist_spl"
   tag="Use-Cases activity cases diagrams scenarios test testdata traceability "
   time="2008-07-07T16:18:19+0200" />
<post 
   href="http://vl.fmnet.info/" 
   description="Formal Methods Virtual Library" 
   
     extended="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." 
   
   hash="e0c2359ffe48bf6f1b4b943914440649"
   user="ist_spl"
   tag="formal methods specification "
   time="2008-07-01T10:13:07+0200" />
<post 
   href="http://www.ibm.com/developerworks/rational/library/5390.html" 
   description="Formally speaking: How to apply OCL" 
   
     extended="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." 
   
   hash="a271d466ab9b6612293fa5abd8f0404b"
   user="ist_spl"
   tag="OCL UML software systemtest testing "
   time="2008-06-30T08:09:22+0200" />
</posts>
