3 <!DOCTYPE work-package SYSTEM "work-package.dtd">
5 <work-package number="6">
6 <name>Testing and Validation</name>
7 <begin>Month 12</begin>
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"/>
16 <p>The WP intends to measure the system suitability and
17 scalability and the satisfaction level of users with the
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>
26 <name>Education.</name>
27 <p>Full development of a fragment of the library
28 covering a typical undergraduate course in algebra of
32 <name>Certified code.</name>
33 <p>The aim is to be able to present the
34 formalization and the demonstration of some security
35 properties related to the code embedded into a smart card.
36 The presentation must be in a format understandable by
37 the company in charge of the evaluation of the code and
38 in accordance with the Common Criteria standard.</p>
41 <name>Electronic Publishing.</name>
42 <p>The aim is to test the LaTeX-based
43 authoring tool and to demonstrate how an electronic
44 physics journal benefits from the exploitation of
45 content markup in journal articles.</p>
49 <deliverable file="testing-and-validation/d6a"/>
50 <deliverable file="testing-and-validation/d6b"/>
51 <deliverable file="testing-and-validation/d6c"/>
52 <deliverable file="testing-and-validation/d6d"/>
54 <p>We expect a lot of feed-back during this phase, that will
55 be taken into account for the definition of the advanced and
56 final versions of the MOWGLI prototype.</p>