DIRECTORY
Atom USING [GetPName],
BasicTime USING [GetClockPulses, Pulses, PulsesToMicroseconds],
Commander USING [Register, CommandProc],
CommandTool USING [NextArgument],
Convert USING [AppendChar, RopeFromInt],
IO USING [STREAM, rope, PutF, PutFR, int, card, text, atom],
LoganBerry,
LoganQuery,
PrintEnglish USING [IntToEnglish],
Random USING [RandomStream, Create, ChooseInt],
Rope USING [ROPE, Equal]
;
~
BEGIN
ROPE: TYPE ~ Rope.ROPE;
dbFileName: ROPE ← "TestDB.schema";
database: LoganBerry.OpenDB;
rs: Random.RandomStream← Random.Create[range: 10000, seed: -1];
The set of tests must be updated whenever a new test is added
TestCase: TYPE = {create, enumerate, generate, deleteA, deleteB, replaceA, replaceB, readRandom, checkData, closeAndOpen, bidirectionalGenerate, invalidOps, compactA, compactB};
The following numbers pertain to specific tests
dbSize: CARDINAL ← 1000; -- size of test database, should be less than 10000
numReads: CARDINAL ← 100;
numDeletes: CARDINAL ← 10;
savedEntries: LIST OF LoganBerry.Entry;
RunTest:
PROC [n: TestCase, out:
IO.
STREAM ←
NIL]
RETURNS [failed:
BOOLEAN ←
FALSE] ~ {
Runs and times the given test.
ENABLE LoganBerry.Error => {
IF out # NIL THEN out.PutF["Error from LoganBerry: %g - %g\n", IO.atom[ec], IO.rope[explanation]];
failed ← TRUE; };
start, stop: BasicTime.Pulses;
attr: LoganBerry.Attribute;
atype: LoganBerry.AttributeType;
avalue: LoganBerry.AttributeValue;
entry: LoganBerry.Entry;
cursor: LoganBerry.Cursor;
i: INT;
r: ROPE;
count: CARDINAL;
start ← BasicTime.GetClockPulses[];
SELECT n
FROM
$create => {
-- build a LoganBerry test database in random order
IF out # NIL THEN out.PutF["Creating new test database with %g entries.\n", IO.int[dbSize]];
somehow need to delete old database entries first
MarkKeysUnused[1, dbSize];
THROUGH [1..dbSize]
DO
i ← GenerateUnusedKey[1, dbSize];
entry ← LIST[[$Integer, Convert.RopeFromInt[i]], [$Rope, PrintEnglish.IntToEnglish[i]]];
LoganBerry.WriteEntry[db: database, entry: entry];
ENDLOOP;
};
$enumerate => {
-- enumerate the database to get the number of entries
AddOne: LoganBerry.EntryProc = {
[entry: LoganBerry.Entry] RETURNS [continue: BOOL]
count ← count + 1;
RETURN[TRUE];
};
IF out # NIL THEN out.PutF["Enumerating entries.\n"];
count ← 0;
LoganBerry.EnumerateEntries[db: database, key: $Integer, proc: AddOne];
IF count # dbSize AND out # NIL THEN out.PutF["Warning: count # standard database size.\n"];
dbSize ← count;
IF out # NIL THEN out.PutF["Test database contains %g entries.\n", IO.card[dbSize]];
};
$generate => {
-- generate the complete database and see if the number is correct
IF out # NIL THEN out.PutF["Generating entries.\n"];
count ← 0;
cursor ← LoganBerry.GenerateEntries[db: database, key: $Integer];
entry ← LoganBerry.NextEntry[cursor: cursor];
UNTIL entry =
NIL
DO
count ← count + 1;
entry ← LoganBerry.NextEntry[cursor: cursor];
ENDLOOP;
LoganBerry.EndGenerate[cursor: cursor];
IF count # dbSize
THEN {
IF out # NIL THEN out.PutF["Error: count # database size.\n"];
failed ← TRUE;
};
};
$deleteA => {
-- delete some entries
IF out # NIL THEN out.PutF["Reading and deleting %g entries.\n", IO.card[numDeletes]];
MarkKeysUnused[1, dbSize];
savedEntries ← NIL;
THROUGH [1..numDeletes]
DO
i ← GenerateUnusedKey[1, dbSize];
avalue ← Convert.RopeFromInt[i];
entry ← LoganBerry.ReadEntry[db: database, key: $Integer, value: avalue].entry;
savedEntries ← CONS[entry, savedEntries];
LoganBerry.DeleteEntry[db: database, key: $Integer, value: avalue];
ENDLOOP;
};
$deleteB => {
-- verify that the deleted entries can not be read
IF out # NIL THEN out.PutF["Verifying deletes.\n"];
THROUGH [1..3]
DO
i ← GenerateUsedKey[1, dbSize];
avalue ← Convert.RopeFromInt[i];
IF LoganBerry.ReadEntry[db: database, key: $Integer, value: avalue].entry #
NIL
THEN {
IF out # NIL THEN out.PutF["Error: sucessfully read deleted entry.\n"];
failed ← TRUE;
};
ENDLOOP;
};
$replaceA => {
-- replace the deleted entries
IF out # NIL THEN out.PutF["Rewriting deleted entries.\n"];
WHILE savedEntries #
NIL
DO
LoganBerry.WriteEntry[db: database, entry: savedEntries.first];
savedEntries ← savedEntries.rest;
ENDLOOP;
};
$replaceB => {
-- verify that the replaced entries can be read
IF out # NIL THEN out.PutF["Verifying rewrites.\n"];
THROUGH [1..3]
DO
i ← GenerateUsedKey[1, dbSize];
avalue ← Convert.RopeFromInt[i];
IF LoganBerry.ReadEntry[db: database, key: $Integer, value: avalue].entry =
NIL
THEN {
IF out # NIL THEN out.PutF["Error: unable to read replaced entry.\n"];
failed ← TRUE;
};
ENDLOOP;
};
$readRandom => {
-- read some random entries
IF out # NIL THEN out.PutF["Reading %g entries.\n", IO.card[numReads]];
THROUGH [1..numReads]
DO
i ← Random.ChooseInt[rs, 1, dbSize];
avalue ← Convert.RopeFromInt[i];
IF LoganBerry.ReadEntry[db: database, key: $Integer, value: avalue].entry =
NIL THEN {
IF out # NIL THEN out.PutF["Error: unable to read entry #%g.\n", IO.rope[avalue]];
failed ← TRUE;
};
ENDLOOP;
};
$checkData => {
-- check the consistency of the data
IF out # NIL THEN out.PutF["Checking data.\n"];
THROUGH [1..10]
DO
i ← Random.ChooseInt[rs, 1, dbSize];
avalue ← Convert.RopeFromInt[i];
entry ← LoganBerry.ReadEntry[db: database, key: $Integer, value: avalue].entry;
avalue ← GetAttributeValue[entry, $Rope];
IF
NOT Rope.Equal[avalue, PrintEnglish.IntToEnglish[i]] THEN {
IF out # NIL THEN out.PutF["Error: $Rope value # expected value.\n"];
failed ← TRUE;
};
ENDLOOP;
};
$closeAndOpen => {
-- close and reopen the database
caughtError: BOOLEAN ← FALSE;
IF out # NIL THEN out.PutF["Closing and reopening the database.\n"];
i ← Random.ChooseInt[rs, 1, dbSize];
avalue ← Convert.RopeFromInt[i];
LoganBerry.Close[db: database];
[] ← LoganBerry.ReadEntry[db: database, key: $Integer, value: avalue !
LoganBerry.Error => {
caughtError ← TRUE;
IF ec = $DBClosed THEN CONTINUE ELSE REJECT};
];
IF
NOT caughtError
THEN {
IF out # NIL THEN out.PutF["Error: able to read after close.\n"];
failed ← TRUE;
};
database ← LoganBerry.Open[dbName: dbFileName];
IF LoganBerry.ReadEntry[db: database, key: $Integer, value: avalue].entry =
NIL THEN {
IF out # NIL THEN out.PutF["Error: unable to read entry #%g.\n", IO.rope[avalue]];
failed ← TRUE;
};
};
$bidirectionalGenerate => {
-- generate a subrange of entries in both directions
IF out # NIL THEN out.PutF["Advanced test of generate. -- not implemented\n"];
};
$compactA => {
-- compact the database
IF out # NIL THEN out.PutF["Compacting log.\n"];
LoganBerry.CompactLogs[db: database];
};
$compactB => {
-- verify that the compacted database has the correct number of entries
IF out # NIL THEN out.PutF["Counting number of entries.\n"];
count ← 0;
cursor ← LoganBerry.GenerateEntries[db: database, key: $Integer];
entry ← LoganBerry.NextEntry[cursor: cursor];
UNTIL entry =
NIL
DO
count ← count + 1;
entry ← LoganBerry.NextEntry[cursor: cursor];
ENDLOOP;
LoganBerry.EndGenerate[cursor: cursor];
IF count # dbSize
THEN {
IF out # NIL THEN out.PutF["Error: count # database size.\n"];
failed ← TRUE;
};
};
$invalidOps => {
-- try to raise errors
IF out # NIL THEN out.PutF["Checking generated errors. -- not implemented\n"];
};
ENDCASE => {
IF out # NIL THEN out.PutF["Error: No such test.\n"];
failed ← TRUE;
};
stop ← BasicTime.GetClockPulses[];
IF out # NIL THEN out.PutF["Running time: %g\n", IO.rope[ElapsedTime[start, stop]]];
};
ElapsedTime:
PROC [start, stop: BasicTime.Pulses]
RETURNS [
ROPE] ~ {
Taken from InitialCommandsImpl.Time.
microseconds, seconds: LONG CARDINAL;
digit: CARDINAL;
any: BOOL ← FALSE;
text: REF TEXT ← NEW[TEXT[8]];
microseconds ← BasicTime.PulsesToMicroseconds[stop - start];
seconds ← microseconds / 1000000;
microseconds ← microseconds MOD 1000000;
THROUGH [0..6)
DO
microseconds ← microseconds * 10;
digit ← microseconds / 1000000;
microseconds ← microseconds MOD 1000000;
IF
NOT any
THEN {
text ← Convert.AppendChar[to: text, from: '., quote: FALSE];
any ← TRUE;
};
text ← Convert.AppendChar[to: text, from: digit + '0, quote: FALSE];
IF microseconds = 0 THEN EXIT;
ENDLOOP;
RETURN [IO.PutFR["%r%g\n", IO.card[seconds], IO.text[text]]];
};
usedKeys: PACKED ARRAY [1..10000] OF BOOLEAN;
MarkKeysUnused:
PROC [min, max:
INT]
RETURNS [] ~ {
FOR i:
INT
IN [min..max]
DO
usedKeys[i] ← FALSE;
ENDLOOP;
};
GenerateUnusedKey:
PROC [min, max:
INT]
RETURNS [
INT] ~ {
i: INT;
i ← Random.ChooseInt[rs, min, max];
WHILE usedKeys[i]
DO
IF i < max THEN i ← i + 1
ELSE i ← min;
ENDLOOP;
usedKeys[i] ← TRUE;
RETURN[i];
};
GenerateUsedKey:
PROC [min, max:
INT]
RETURNS [
INT] ~ {
i: INT;
i ← Random.ChooseInt[rs, min, max];
WHILE
NOT usedKeys[i]
DO
IF i < max THEN i ← i + 1
ELSE i ← min;
ENDLOOP;
RETURN[i];
};
GetAttributeValue:
PROC [entry: LoganBerry.Entry, type: LoganBerry.AttributeType]
RETURNS [LoganBerry.AttributeValue] ~ {
FOR e: LoganBerry.Entry ← entry, e.rest
WHILE e #
NIL
DO
IF e.first.type = type
THEN
RETURN[e.first.value];
ENDLOOP;
RETURN[NIL];
};
TestLoganBerry: Commander.CommandProc = {
[cmd: Commander.Handle] RETURNS [result: REF ANY ← NIL, msg: ROPE ← NIL]
numErrors: INT ← 0;
start, stop: BasicTime.Pulses;
start ← BasicTime.GetClockPulses[];
database ← LoganBerry.Open[dbName: dbFileName ! LoganBerry.Error => IO.PutF[cmd.out, "Error from LoganBerry: %g - %g\n", IO.atom[ec], IO.rope[explanation]] ];
run all test cases except for create and compact (which take too long)
FOR t: TestCase
IN [enumerate..compactA)
DO
IF RunTest[t, cmd.out] THEN numErrors ← numErrors + 1;
ENDLOOP;
stop ← BasicTime.GetClockPulses[];
IO.PutF[cmd.out, "%g Errors; elapsed time = %g\n", IO.int[numErrors], IO.rope[ElapsedTime[start, stop]]];
};
TestLoganQuery: Commander.CommandProc = {
[cmd: Commander.Handle] RETURNS [result: REF ANY ← NIL, msg: ROPE ← NIL]
NULL;
};
Commander.Register[key: "TestLoganBerry", proc: TestLoganBerry,
doc: "Test the LoganBerry package." ];
Commander.Register[key: "TestLoganQuery", proc: TestLoganQuery,
doc: "Test the LoganQuery package." ];
Doug Terry, February 27, 1986 7:21:25 pm PST
changes to: DIRECTORY, LoganBerryTest, IMPORTS, ~, RunTest, ElapsedTime, Proc, Proc, TestLoganBerry, TestLoganQuery, END, RunTest, MarkKeysUnused, GenerateUnusedKey, GenerateUsedKey, TestCase, AddOne (local of RunTest)