CEDES seminar: Generating Unit Tests from Formal Proofs
Welcome to CEDES seminar at Open Arena Lindholmen
The project CEDES and Lindholmen Science Park invites you to a series of seminars in the field Intelligent Vehicle Safety Systems. Welcome to the second seminar this autumn.
At this seminar we present an automatic mixed white/black box test generation method for Java based on attempts at formal verifi cation of the implementation under test (IUT). Self-contained unit tests in JUnit format are generated automatically. The advantages of the approach are:
(i) it makes use of the full information available in the IUT and in its formal model(if present), thus giving very good hybrid coverage;
(ii) a non-trivial formal specifi cation of the IUT is unnecessary;
(iii) it is adaptable to the skills users may possess in formal methods.
In particular, normal Java developers are able to use the method.
Language: The seminar will be given in English
More information: www.cedes.se or www.lindholmen.se