Automated regression test suite for L4
Hello All, Is there an automated regression test suite for L4 that covers all (or most of) the features of the l4 kernel? Is there also an automated benchmarking suite? These would be great tools to have available for people who are porting the kernel to new platforms/dev boards, or for people who are looking to tweak/play with the kernel. Thanks, Seth
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi,
Is there an automated regression test suite for L4 that covers all (or most of) the features of the l4 kernel? Is there also an automated benchmarking suite?
These would be great tools to have available for people who are porting the kernel to new platforms/dev boards, or for people who are looking to tweak/play with the kernel.
Since L4/Fiasco is a microkernel, you probably don't only want to test certain kernel features but only the services provided by basic servers such as the L4Env. Currently, our only existing test facility are the ptests you can find in some of the L4 packages from our remote SVN. These tests run user-defined scenarios on Fiasco-UX, the user-space version of Fiasco. The output is then compared to the expected output for this test and we can thereby detect whether changes to the system made some of the applications fail. However, ptests don't (and maybe cannot) cover all the software. We have some ideas on unit testing, but these are not implemented yet. We have CUnit (http://cunit.sourceforge.net/) running in non-interactive mode and if there is time, we are going to provide it along with unit tests for libraries and servers. If you would like to contribute ideas or implementation for the issues you mentioned, we would really appreciate that. Sincerely, Bjoern -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGJlpmP5ijxgQLUNkRAoX1AJ44k41Fl2SAaVD3pZCyFShUzEO0tgCeNyR1 Vmd9X0HBh4kMpzrnNA9qgR0= =OYVe -----END PGP SIGNATURE-----
Am Mittwoch April 18 2007 schrieb Bjoern Doebel:
Hi,
Hi all!
Is there an automated regression test suite for L4 that covers all (or most of) the features of the l4 kernel? Is there also an automated benchmarking suite?
These would be great tools to have available for people who are porting the kernel to new platforms/dev boards, or for people who are looking to tweak/play with the kernel.
Since L4/Fiasco is a microkernel, you probably don't only want to test certain kernel features but only the services provided by basic servers such as the L4Env. [...]
There is also an L4 package that runs IPC tests and performance measurements directly on top of the L4/Fiasco microkernel. It is called 'pingpong' and it is included in the l4/pkg/ directory of our remote SVN. Regards, Carsten
On Wed Apr 18, 2007 at 12:14:13 -0500, seth bollinger wrote:
Hello All,
Is there an automated regression test suite for L4 that covers all (or most of) the features of the l4 kernel? Is there also an automated benchmarking suite?
These would be great tools to have available for people who are porting the kernel to new platforms/dev boards, or for people who are looking to tweak/play with the kernel.
OKL4 has a reasonably comprehensive (but not complete) test suite, called l4test, which is available with the latest OKL4 release. (http://portal.ok-labs.com/) Cheers, Ben
participants (4)
-
Ben Leslie -
Bjoern Doebel -
Carsten Weinhold -
seth bollinger