home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Frostbyte's 1980s DOS Shareware Collection
/
floppyshareware.zip
/
floppyshareware
/
BOUT
/
ATK1IBM.ZIP
/
ANAL.DOC
< prev
next >
Wrap
Text File
|
1991-05-09
|
3KB
|
84 lines
The analysis tool does a number of tests on individual diagrams, and on
the boundary conditions between a diagram and its parent.
A number of options are be settable in the config.anal file.
Some options are NOT settable from the config file -- in particular, the
project directory is not settable in this way.
All reports and checks are done by default.
ANAL reports each diagram and its contents as it descends the tree.
ANAL will find 'orphaned' diagrams. A diagram is orphaned if its
parent has been deleted, or if the process representing it doesn't
appear in the parent. When ANAL has finished with all the diagrams, it
will report its statistics, something like this:
Statistics: Total diagrams: 17; Total errors: 5
Global errors:
No DFDs matching |X| found
This error indicates that the DFD tree requested is empty.
No such check function X
This error indicates that the user has requested that a non-existent
check be turned on or off
Illegal switch: |X|
This error indicates that a 'dash' option was given on the command
line that was not understood
Usage: ANAL [-a] [-i] [-pproject-dir] [-d] [starting_dfd_number]
This error indicates that the user has given an illegal command line.
Checks:
process flows
This test checks that all processes have at least one flow in, and
at least one flow out. ERROR
process count
This test checks that the maximum number of processes per diagram
has not been exceeded. The predefined limit is 8, and will be
configurable. WARNING.
process child or minispec
This test checks that each process has a minispec OR a child diagram.
WARNING. It also checks that no process has a minispec AND a child
diagram. ERROR.
flow endpoints
This test checks that each flow has a process or boundary point at
one end.
duplicate names
This test ensures that no two processes, externals, flows, or
stores are named alike in a single diagram. Flows and stores
are checked for aliases as well.
flow names
This test checks that all flows that do not terminate at stores or
flow splitters are named. Flows that do terminate at stores
must either be unnamed or named with an alias of the store name.
store flows
This test checks that all double-line stores have both in and out
flows.
store double
This test checks that any double-line store does NOT appear in its
parent. It also checks that any single-line store DOES appear
in its parent.
parent child name check
This test checks that the diagram name is the same as its process
name in the parent.
parent child flows
The decomposition part of this test is not implemented.
This test checks that all input flows from the parent are in the
parent diagram, or aliased to flows in the parent diagram, or
decomposed from flows in the parent diagram.
The Configuration file:
The configuration file, config.anal (in DOS this appears config.ana),
allows each of the individual tests to be turned on or off. The way to
affect a particular test is to enter the line
test name = on/off
The mechanism is case insensitive. Test names are those in the following
list:
process flows process count
process child or minispec flow endpoints
flow names store flows
store double parent child name check
parent child flows duplicate names