Opened 5 years ago

#64 new task

Integrate Ballista into DiOS' testsuite.

Reported by: blurrymoi Owned by:
Priority: major Milestone: 4.4
Component: DiOS Keywords:
Cc:

Description

Ballista provides a test suite for exceptional cases in functions and system calls for POSIX-based operating systems. We (may) want to see how DiOS copes.

See paper: The Exception Handling Effectiveness of POSIX Operating Systems

testsuite: https://users.ece.cmu.edu/~koopman/ballista/ostest/ostest_download.html

Change History (0)

Note: See TracTickets for help on using tickets.