Stack Test Plan

Assumptions

ps_maxsize > 2

Test environment

APE driver
no stubs

Test case selection strategy

Special values

	Module state
		interval rule on size of stack: [0..ps_maxsize]

	Access routine parameters
		none

Test cases
	for each of the special module state values
		call ps_s_push, ps_s_pop, ps_g_top, ps_g_depth
		check exception behavior
		after set calls, check get call values

Test implementation strategy

load(n)
	loads stack with 10, 20, ..., 10 x n