These tests are described by AccessControlTests.df. CacheTestAccessControlImpls is a test for AccessControlCacheImpl. Run it by: Run CacheTestAccessControlImpls _ CacheTestAccessControlImpl.Main[]; It produces the output file CacheTestAccessControl.Results, which contains some timing information. Even though some of the headings in CacheTestAccessControl.Results are identical, the underneath operations are different; for example, a list might be longer while the number of times a loop is executed is shorter. CacheTestAccessControlImpl also tests the functioning of AccessControlCacheImpl, and will ERROR if an error is detected. CacheTestAccessControlImpl assumes the following: Kolling.pa and Taft.pa are members of AlpineImplementors^.pa and CSL^.pa. Atkinson.pa, Cattell.pa, Crowther.pa, Taylor.pa, Lampson.pa, Horning.pa, Donahue.pa, Morris.pa, Sturgis.pa, and Guibas.pa are members of CSLOnly^.pa and Bldg35^.pa. Make appropriate substitutions in the source if any of this changes.