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

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