Appendix E - Debugger Assessor

This appendix contains a complete list of all of the ACES tests which make up the debugger assessor. After each test name a brief description is given.

Debugger Assessor

yb_01_a

Determine whether a debugger has a capability

to provide system state information.

yb_01ta

To test for the capability to display

system state information for a tasking

program, including the identification,

type, owner, status, and current

statement of each task.

yb_02_a

To test the limitations on the

breakpoint capability.

yb_02ta

To test for the capability to break when

any rendezvous occurs, when any task

switch occurs, when any task is aborted.

yb_03_a

To test the debugger single step

capability for a non-tasking program.

yb_03ta

To test single stepping from one statement

to the next when a task switch occurs

between statements.

yb_04_a

To test the debugger capability for

examination of variables (non-tasking).

yb_04ta

To test examination of variables (tasking).

yb_05_a

To test the debugger capability to

interrupt program execution and then

accept debugger commands.

yb_06_a

To test the debugger watchpointing capability.

yb_07_a

To test the debugger capability to display

a traceback of subprogram history.

yb_07ta

To test the capability to display a

traceback of calls in a tasking program.

yb_08_a

To test the debugger capability to

display the program history.

yb_09_a

To test the debugger capability to modify variables.

yb_10_a

To test the debugger capability to

modify control flow direction.

yb_11_a

To test the debugger interface with an editor.

yb_12_a

To test the debugger capability to break

on return from a foreign language subprogram.

yb_12_b

To test the debugger capability to single

step through machine code insertions.

yb_13ta

To determine whether the debugger uses

a virtual calendar.

yb_14ta

To test the applicability of the debugger

to an interrupt handler.

yb_15_a

To test debugger support of conditional breakpoints.

yb_16_a

To test the debugger's macro facility.

yb_17_a

To test logging of debugger output to a file.

yb_18_a

To test isolation of debugger I/O from program I/O.

yb_19_a

To test debugger access to machine properties.

Single stepping by machine instructions and

examination of machine registers are tested.

yb_20_a

To test the debugger capability to isolate

the statement which raised an exception.

yb_20ta

To test the debugger capability to isolate

the statement which raised a TASKING_ERROR.

yb_21ta

To test the debugger capability to provide

information about non-terminating tasks.

yb_22_a

To test the debugger capability to break

on an exception in a declarative region.

yb_23_a

To test the debugger capability to break

on the statement which raised an exception

during library package body initializations.

yb_24_a

To determine whether the debugger can be used to

determine library package elaboration order.

yb_25_a

To test execution time degradation under the debugger.

yb_26ta

To test the debugger capability to inform

the user of task deadlock, and to allow

examination of the state of each task.

yb_27_a

To test the limits on the number of

breakpoints that may be set.

yb_28_a

To test the debugger capability to treat

program termination as an implicit breakpoint.

yb_29_a

To test the debugger capability to take commands from a file