helm/mowgli/home/xml/work-packages/testing-and-validation.xml

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE work-package SYSTEM "work-package.dtd">
   4
   5 <work-package number="6">
   6  <name>Testing and Validation</name>
   7  <begin>Month 12</begin>
   8  <end>Month 30</end>
   9  <leader file="nijmegen/geuvers"/>
  10  <person-month participant="bologna" number="5"/>
  11  <person-month participant="inria" number="6"/>
  12  <person-month participant="dfki" number="3"/>
  13  <person-month participant="nijmegen" number="17"/>
  14  <person-month participant="aei" number="14"/>
  15  <person-month participant="trusted-logic" number="9"/>
  16  <objectives>
  17   <p>The WP intends to measure the system suitability and
  18      scalability and the satisfaction level of users with the
  19      service.</p>
  20  </objectives>
  21  <description>
  22   <p>Large scale testing and validation will start after the
  23      release of the first MOWGLI prototype, at month 18. We
  24      shall consider three main validation tests:</p>
  25   <tasks>
  26    <task id="T6.1">
  27     <name>Education.</name>
  28     <p>Full development of a fragment of the library
  29        covering a typical undergraduate course in algebra of
  30        analysis.</p>
  31    </task>
  32    <task id="T6.2">
  33     <name>Certified code.</name>
  34     <p>The aim is to be able to present the
  35        formalization and the demonstration of some security
  36        properties related to the code embedded into a smart card.
  37        The presentation must be in a format understandable by
  38        the company in charge of the evaluation of the code and
  39        in accordance with the Common Criteria standard.</p>
  40    </task>
  41    <task id="T6.3">
  42     <name>Electronic Publishing.</name>
  43     <p>The aim is to test the LaTeX-based
  44        authoring tool and to demonstrate how an electronic
  45        physics journal benefits from the exploitation of
  46        content markup in journal articles.</p>
  47    </task>
  48   </tasks>
  49  </description>
  50  <deliverable file="testing-and-validation/d6a"/>
  51  <deliverable file="testing-and-validation/d6b"/>
  52  <deliverable file="testing-and-validation/d6c"/>
  53  <deliverable file="testing-and-validation/d6d"/>
  54  <milestones>
  55   <p>We expect a lot of feed-back during this phase, that will
  56      be taken into account for the definition of the advanced and
  57      final versions of the MOWGLI prototype.</p>
  58  </milestones>
  59 </work-package>