| Name | Status | Type | Time(s) |
| testModelManager | Success | | 0.005 |
| testLoadClassEntryFromJar | Success | | 0.000 |
| testGetModels | Success | | 0.000 |
| testGetPlugins | Success | | 0.001 |
| testOpenModel | Success | | 0.000 |
| testLoadIndividualsFromModel | Success | | 0.000 |
| testSaveModelTo | Success | | 0.001 |
| testSaveModelToSml | Success | | 0.000 |
| testSaveModelToProtege | Success | | 0.001 |
| testLayOut | Success | | 0.000 |
| testSaveModelToVdx | Success | | 0.000 |
| testCloseModel | Success | | 0.001 |
| testGetViewManager | Success | | 0.000 |
| testApply_xslt | Success | | 0.000 |
| testSaveModelToQ7 | Success | | 0.018 |
| testSaveModelToDat | Success | | 0.011 |
| testProposition2istarlink | Success | | 0.001 |
| testResetReasoning | Success | | 0.000 |
| testGetFrameworkChoices | Success | | 0.000 |
| testNewModel | Success | | 0.001 |
| testUpdateOpenOMEFile | Success | | 0.000 |
| testUpdateOpenOMEStringGraphicViewFrame | Success | | 0.000 |
| testFSID | Success | | 0.000 |
| testPSID | Success | | 0.001 |
| testFDID | Success | | 0.000 |
| testPDID | Success | | 0.000 |
| testFS | Success | | 0.000 |
| testPS | Success | | 0.000 |
| testFD | Success | | 0.001 |
| testPD | Success | | 0.000 |
| testSaveModelToSat | Success | | 0.000 |
| testSaveModelToDot | Success | | 0.001 |
| testSaveModelToXML | Success | | 0.000 |
| testAll | Success | | 0.001 |
| testAll | Success | | 0.001 |
| testGraphicViewCanvas | Success | | 0.008 |
| testHookupSaveMethod | Success | | 0.000 |
| testSetPopupMenu | Success | | 0.000 |
| testSetMenuBar | Success | | 0.000 |
| testSetToolBar | Success | | 0.000 |
| testGetData | Success | | 0.000 |
| testGetGraphicViewFrame | Success | | 0.000 |
| testShowDialog | Success | | 0.000 |
| testSetSbvValue | Success | | 0.000 |
| testSetSbhValue | Success | | 0.000 |
| testAdjustScrollBar | Success | | 0.000 |
| testSetScrollbars | Success | | 0.000 |
| testToggleSelect | Success | | 0.000 |
| testSelect | Success | | 0.000 |
| testDrawExpandedElements | Success | | 0.000 |
| testDrawElements | Success | | 0.000 |
| testGeneratePNG | Success | | 0.000 |
| testExport | Success | | 0.000 |
| testPaintGraphics | Success | | 0.000 |
| testGetView | Success | | 0.000 |
| testSetView | Success | | 0.000 |
| testUpdateGraphics | Success | | 0.000 |
| testOpenRenameBox | Success | | 0.000 |
| testOpenResizeBox | Success | | 0.000 |
| testSetTitle | Success | | 0.000 |
| testGetSavePathname | Success | | 0.001 |
| testGetSaveFileAndDirectory | Success | | 0.000 |
| testGetSaveFileAndDirectoryString | Success | | 0.000 |
| testGetFrame | Success | | 0.000 |
| testSetFrame | Success | | 0.000 |
| testUpdateToolbar | Success | | 0.000 |
| testPrintGraphicsPageFormatInt | Success | | 0.000 |
| testGetModel | Success | | 0.005 |
| testGetType | Success | | 0.000 |
| testSetType | Success | | 0.001 |
| testGetLinks | Success | | 0.000 |
| testAddLink | Success | | 0.000 |
| testGetID | Success | | 0.000 |
| testSetID | Success | | 0.000 |
| testGetImageBounds | Success | | 0.000 |
| testGetSelectableBounds | Success | | 0.000 |
| testGetDirtyBounds | Success | | 0.000 |
| testGetImage | Success | | 0.001 |
| testGetCentre | Success | | 0.000 |
| testSetHidden | Success | | 0.000 |
| testIsHidden | Success | | 0.000 |
| testGetScale | Success | | 0.000 |
| testSetScale | Success | | 0.000 |
| testReset | Success | | 0.000 |
| testGraphicViewElement | Success | | 0.001 |
| testGetModelElement | Success | | 0.000 |
| testGetParent | Success | | 0.000 |
| testSetParent | Success | | 0.000 |
| testGetCollectionSize | Success | | 0.000 |
| testAddChild | Success | | 5.932 |
| testRemoveChild | Success | | 0.000 |
| testIsExpandable | Success | | 0.000 |
| testSetExpandable | Success | | 0.000 |
| testExpand | Success | | 0.000 |
| testContract | Success | | 0.000 |
| testGetChildren | Success | | 0.000 |
| testIsExpanded | Success | | 0.000 |
| testIsIconified | Success | | 0.000 |
| testSetIconified | Success | | 0.000 |
| testGetIcon | Success | | 0.000 |
| testGetExpandedBounds | Success | | 0.001 |
| testGetLocation | Success | | 0.000 |
| testMove | Success | | 0.000 |
| testMoveTo | Success | | 0.000 |
| testIsSelected | Success | | 0.000 |
| testSetSelected | Success | | 0.000 |
| testGetJustification | Success | | 0.001 |
| testSetJustification | Success | | 0.000 |
| testToggleIntention | Success | | 0.000 |
| testToggleLabel | Success | | 0.000 |
| testExpand2 | Success | | 0.000 |
| testGraphicViewObject | Success | | 0.000 |
| testGetHighlightBounds | Success | | 0.001 |
| testIsHighlighted | Success | | 0.000 |
| testSetHighlighted | Success | | 0.001 |
| testGetAttributes | Success | | 0.000 |
| testGetAttributeBounds | Success | | 0.000 |
| testGetTextAttributes | Success | | 0.000 |
| testGetName | Success | | 0.000 |
| testGetLabel | Success | | 0.001 |
| testSetName | Success | | 0.000 |
| testSetLabel | Success | | 0.001 |
| testGetComment | Success | | 0.049 |
| testSetComment | Success | | 0.001 |
| testUpdateName | Success | | 0.000 |
| testGetModelObject | Success | | 0.000 |
| testAll | Success | | 0.001 |
| testAll | Success | | 0.000 |
| testTelosParserKB | Success | | 0.053 |
| testName | Success | | 0.000 |
| testSize | Success | | 0.000 |
| testContainsOnlyBuiltIns | Success | | 0.000 |
| testIsEmpty | Success | | 0.001 |
| testAttributes | Success | | 0.000 |
| testIndividuals | Success | | 0.000 |
| testBuiltIns | Success | | 0.001 |
| testAttribute | Success | | 0.000 |
| testIndividual | Success | | 0.000 |
| testNewIndividual | Success | | 0.000 |
| testRemoveAndDeleteProposition | Success | | 0.001 |
| testLoad | Success | | 0.000 |
| testSave | Success | | 0.000 |
| testCloseKB | Success | | 0.000 |
| testWipe | Success | | 0.000 |
| testRETELL | Success | | 0.000 |
| testFileRETELL | Success | | 0.000 |
| testTELL | Success | | 0.003 |
| testFileTELL | Success | | 0.000 |
| testUNTELL | Success | | 0.000 |
| testFileUNTELL | Success | | 0.000 |
| testAll | Success | | 0.000 |
| testAll | Success | | 0.001 |