]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/work-packages/testing-and-validation.xml
New: two methods have been added to kill UWOBO and to start a new session
[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  <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>