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