1 | ------------------------------
|
---|
2 | | Release note February 2003 |
|
---|
3 | ----------------------------------
|
---|
4 | STOOD 4.3.2 (Windows) 19.02.2003
|
---|
5 | STOOD 4.3.3 (Unix) 19.02.2003
|
---|
6 | -----------------------------------
|
---|
7 |
|
---|
8 | ==========================================================
|
---|
9 | Changes since previous distribution:
|
---|
10 | ( v 4.3.0 (Windows) and v 4.3.1 (Unix), 18 December 2002 )
|
---|
11 | ==========================================================
|
---|
12 |
|
---|
13 |
|
---|
14 | 1. Functional changes
|
---|
15 | ---------------------
|
---|
16 |
|
---|
17 | 1.1. Reverse engineering
|
---|
18 |
|
---|
19 | - New version of the Ada reverse engine [REV035]
|
---|
20 | - New version of the C reverse engine [REVC002-REVC003-REVC004]
|
---|
21 | - AADL v0.6 reverse engineering feature (preliminary version)
|
---|
22 |
|
---|
23 | 1.2. Code generators
|
---|
24 |
|
---|
25 | - New version of the Ada code generator [ADA176] (cf.03.020)
|
---|
26 | - New version of the C code generator [C086-C087] (cf.03.006)(cf.03.017)
|
---|
27 | - New version of the AADL code generator [AADL001]
|
---|
28 | - The code generation directories can now be better customized (cf.03.005)
|
---|
29 | - The code text editor is now automatically refreshed (cf.03.014)
|
---|
30 |
|
---|
31 | 1.3. Checkers
|
---|
32 |
|
---|
33 | - New version of the HOOD rules checker for rule O6 [HOOD016] (cf.03.018)
|
---|
34 | - New version of the Requirements checker (cf.03.015)
|
---|
35 |
|
---|
36 | 1.4. Others
|
---|
37 |
|
---|
38 | - inverse call trees can now be printed (cf.03.016)
|
---|
39 | - the http server can now work again (cf.03.001)
|
---|
40 | - the IMPORTANCE real time attribute can now be properly entered (cf.03.002)
|
---|
41 | - no more problems when some languages are discarded (cf.03.004)
|
---|
42 | - two bugs have been fixed in the SIF generator (cf.03.007)(cf.03.008)
|
---|
43 | - redundancies are now processed for enumeration elements (cf.03.010)
|
---|
44 | - change in the pseudo-code parser to detect structure elements (cf.03.011)
|
---|
45 | - no more named pipe created by default (file: st) (cf.03.012)
|
---|
46 | - no more crash when the code generation directory is write protected (cf.03.013)
|
---|
47 | - now keeps the cursor location after a save with ctrl-S (cf.03.023)
|
---|
48 | - code language source files suffix are now well recognized on Unix (cf.03.019)
|
---|
49 | - now possible to save .sto files for downwards compatibility (cf.03.022)
|
---|
50 | - now recovering all files when using delete/undelete in the graphics (cf.03.024)
|
---|
51 |
|
---|
52 |
|
---|
53 | 2. Changed files
|
---|
54 | ----------------
|
---|
55 |
|
---|
56 | 2.1. Binary files
|
---|
57 |
|
---|
58 | bin.w32/stood.ini
|
---|
59 | bin.w32/stood.exe
|
---|
60 | bin.w32/stood.eng
|
---|
61 | bin.w32/crev.exe
|
---|
62 | bin.w32/aadlrev.exe
|
---|
63 |
|
---|
64 | bin.sol2/stood
|
---|
65 | bin.sol2/stood.eng
|
---|
66 | bin.sol2/crev
|
---|
67 | bin.sol2/.stoodrc
|
---|
68 | bin.sol2/aadlrev
|
---|
69 |
|
---|
70 | bin.aix4/stood
|
---|
71 | bin.aix4/stood.eng
|
---|
72 | bin.aix4/crev
|
---|
73 | bin.aix4/.stoodrc
|
---|
74 | bin.aix4/aadlrev
|
---|
75 |
|
---|
76 | bin.hpux9/stood
|
---|
77 | bin.hpux9/stood.eng
|
---|
78 | bin.hpux9/crev
|
---|
79 | bin.hpux9/.stoodrc
|
---|
80 | bin.hpux9/aadlrev
|
---|
81 |
|
---|
82 | bin.pclinux/stood
|
---|
83 | bin.pclinux/stood.eng
|
---|
84 | bin.pclinux/crev
|
---|
85 | bin.pclinux/.stoodrc
|
---|
86 | bin.pclinux/aadlrev
|
---|
87 |
|
---|
88 | 2.2. Configuration files
|
---|
89 |
|
---|
90 | config/DataBase
|
---|
91 |
|
---|
92 | config/code_extractors/ada/Extract.pro
|
---|
93 | config/code_extractors/ada/Extract.sbp
|
---|
94 | config/code_extractors/ada/Input.sbp
|
---|
95 | config/code_extractors/ada/pragma
|
---|
96 | config/code_extractors/ada/extractors
|
---|
97 |
|
---|
98 | config/code_extractors/c/Extract.pro
|
---|
99 | config/code_extractors/c/Extract.sbp
|
---|
100 | config/code_extractors/c/Input.sbp
|
---|
101 | config/code_extractors/c/extractors
|
---|
102 |
|
---|
103 | config/code_extractors/cpp/extractors
|
---|
104 |
|
---|
105 | config/code_extractors/aadl/Extract.pro
|
---|
106 | config/code_extractors/aadl/Extract.sbp
|
---|
107 | config/code_extractors/aadl/Input.sbp
|
---|
108 |
|
---|
109 | config/reverse/ada/Extract.pro
|
---|
110 | config/reverse/ada/Extract.sbp
|
---|
111 | config/reverse/ada/Input.sbp
|
---|
112 | config/reverse/ada/go.sh
|
---|
113 |
|
---|
114 | config/reverse/c/Extract.pro
|
---|
115 | config/reverse/c/Extract.sbp
|
---|
116 | config/reverse/c/Input.sbp
|
---|
117 | config/reverse/c/go.sh
|
---|
118 |
|
---|
119 | config/reverse/aadl/Extract.pro
|
---|
120 | config/reverse/aadl/Extract.sbp
|
---|
121 | config/reverse/aadl/Input.sbp
|
---|
122 | config/reverse/aadl/go.sh
|
---|
123 |
|
---|
124 | config/checkers/hood/Operation.pro
|
---|
125 | config/checkers/hood/Operation.sbp
|
---|
126 |
|
---|
127 | config/checkers/requirements/Coverage.pro
|
---|
128 | config/checkers/requirements/Coverage.sbp
|
---|
129 | config/checkers/requirements/ERMatrix.pro
|
---|
130 | config/checkers/requirements/ERMatrix.sbp
|
---|
131 | config/checkers/requirements/Output.pro
|
---|
132 | config/checkers/requirements/Output.sbp
|
---|
133 |
|
---|
134 | config/http/go.sh
|
---|
135 | config/http/demo5.sts
|
---|
136 | config/http/code_generation.sts
|
---|
137 | config/http/doc_generation.sts
|
---|
138 | config/http/sif_generation.sts
|
---|
139 | config/http/design_checking.sts
|
---|
140 |
|
---|
141 | 2.3 Examples and tutorial
|
---|
142 |
|
---|
143 | examples/reverse/sourcesAADL/Example.aadl
|
---|
144 |
|
---|
145 | tutorial/lesson2.sts
|
---|
146 | tutorial/lesson3.sts
|
---|
147 | tutorial/readme.txt
|
---|