blob: f9d5ecf022329e34408a4ce52de285b94255ede9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
<h2>A Test Harness and Test Suite for Proof General</h2>
<p>
As Proof General becomes a more complex system, we badly need some way
of performing automatic functional testing, to ensure that changes and
extensions preserve functional correctness. Although classical
testing of interfaces involves manually following a checklist of
actions and observations, it should be straightforward to automate
this using Emacs Lisp. Interactive actions can be simulated by
certain function calls, and their results can be determined by
examining the contents of the edit buffers. This project proposes the
design and implementation of a test harness and accompanying test
suite to test some of the core functions of Proof General.
Ultimately, the tests should be run as part of the build process
before each development release is allowed to go ahead.
</p>
<p>
<b>Skills:</b>
An interesting in testing user interfaces.
Basic knowledge of Emacs Lisp.
</p><p>
<b>Proposer:</b>
<a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.
</p>
|
