1 | --------------------------
|
---|
2 | | Release note July 2000 |
|
---|
3 | ----------------------------------
|
---|
4 | STOOD 4.1.325 (Windows) 13.07.2000
|
---|
5 | STOOD 4.1.326 (Unix) 17.07.2000
|
---|
6 | -----------------------------------
|
---|
7 |
|
---|
8 | I- Functionnal changes:
|
---|
9 | =======================
|
---|
10 |
|
---|
11 | I-1 Requirements traceability utility
|
---|
12 | -------------------------------------
|
---|
13 |
|
---|
14 | A new editor (Checkers/Requirements editor) may be called from Main editor
|
---|
15 | to load a list of requirements from an external ASCII file and perform locally
|
---|
16 | changes in this list. These requirements may then be directly referenced within ODS textual sections
|
---|
17 | thanks to a dedicated drag&drop or copy&paste function.
|
---|
18 |
|
---|
19 | A new "requirements checker" may be launched to check requirements coverage,
|
---|
20 | produce HOOD entities to requirements and requirements to HOOD entities matrix,
|
---|
21 | or any other kind of output files.
|
---|
22 |
|
---|
23 | I-2 Documentation generation improvements
|
---|
24 | -----------------------------------------
|
---|
25 |
|
---|
26 | When preparing documentation generation, it is now possible to specify in which
|
---|
27 | order each ODS will be printed. Possible choices are:
|
---|
28 | - depth traversal
|
---|
29 | - breadth traversal
|
---|
30 | - alphabetic traversal
|
---|
31 | Local ordering may be performed thanks to new "move up" and "move down" items
|
---|
32 | in contextual menu.
|
---|
33 |
|
---|
34 | When editing textual sections of the ODS, it is possible to insert a
|
---|
35 | "link to file". For now, this link was only processed by the RTF document generator.
|
---|
36 | Now, it also operates for HTML and FrameMaker generators.
|
---|
37 |
|
---|
38 | I-3 Code generators
|
---|
39 | -------------------
|
---|
40 |
|
---|
41 | A few bugs have been fixed in Ada code generator:
|
---|
42 | - ADA157: generor sometimes crashed when HOOD Attributes had no type
|
---|
43 | - ADA158: parent of private types were also considered as private
|
---|
44 | - ADA159: constants renaming was not correct
|
---|
45 |
|
---|
46 | A set of bugs have been fixed and improvements have been performed in C code
|
---|
47 | generator:
|
---|
48 | - C001: pragma "line_width" could not work properly
|
---|
49 | - C002: adding a new pragma "full_prototypes"
|
---|
50 | - C003: there was a problem when reversing STATE constrained operations
|
---|
51 | - C004: adding a new pragma "substitute_header"
|
---|
52 | - C005: decorative changes in operation prototypes
|
---|
53 | - C006: terminal roots couldn't handle the main procedure
|
---|
54 | - C007: putting a default value 0 for Get State function
|
---|
55 | - C008: OPCS were not visible from STATE only operation bodies
|
---|
56 | - C009: removing code in OBCS for STATE only operations
|
---|
57 | - C010: adding a new parameter to pragma "reverse"
|
---|
58 | - C011: adding a new pragma "prefix_all"
|
---|
59 | - C012: adding a new pragma "append_header"
|
---|
60 | - C013: detecting const or #define for constants
|
---|
61 | - C014: changing warning message for exceptions
|
---|
62 | - C015: adding new pragma "no_define"
|
---|
63 | - C016: changing #include policy
|
---|
64 | - C017: new parameter values for pragma "presentation"
|
---|
65 | - C018: changing STATE only operations code
|
---|
66 | - C019: fixing a problem related to C015
|
---|
67 | - C020: changing required interface presentation
|
---|
68 | - C021: fixing a problem related to C013
|
---|
69 |
|
---|
70 | I-4 HOOD rules checker
|
---|
71 | ----------------------
|
---|
72 |
|
---|
73 | Several rules have been rewritten to correct numerous unjustified error messages:
|
---|
74 | - Consistency rules: C2..C6 and C13
|
---|
75 | - Operation rules: O5
|
---|
76 | - Required Interface rules: R17
|
---|
77 | - Use relationship rules: U17
|
---|
78 | - Visibility rules: V9 and V10
|
---|
79 |
|
---|
80 | I-5 Support of HRT-HOOD
|
---|
81 | -----------------------
|
---|
82 |
|
---|
83 | Logical names of two sections in Real-Time Attributes part of the ODS have been
|
---|
84 | changed in DataBase description file, and inside initialization files
|
---|
85 | (stood.ini or .stoodrc)
|
---|
86 |
|
---|
87 | A new "scheduling checker" now performs simple scheduling analysis from HRT
|
---|
88 | Real-Time Attributes (Rate Monotonic and Deadline Monotonic Analysis)
|
---|
89 |
|
---|
90 | I-6 Miscallenous
|
---|
91 | ----------------
|
---|
92 |
|
---|
93 | - Compare design function have been improved (three layers output)
|
---|
94 | - New "DataBase checker" to list storage files for current design
|
---|
95 | - Changing "lock.sh" internal tool to fix a problem with Windows 98
|
---|
96 |
|
---|
97 |
|
---|
98 |
|
---|
99 | II- Changes in delivery contents:
|
---|
100 | =================================
|
---|
101 |
|
---|
102 | II-1 Unix Binaries (bin.sol2; bin.hp700; bin.ibm; bin.pclinux)
|
---|
103 | --------------------------------------------------------------
|
---|
104 | stood
|
---|
105 | stood.eng
|
---|
106 | stood.uid
|
---|
107 | stood.xpm
|
---|
108 | .stoodrc
|
---|
109 | Requirements.Key:cf.
|
---|
110 | Requirements.Reference:($1)
|
---|
111 | Requirements.CatalogSuffix:.txt
|
---|
112 | Requirements.IgnoreCase:Yes
|
---|
113 |
|
---|
114 | II-2 Windows binary (bin.w32)
|
---|
115 | -----------------------------
|
---|
116 | stood.exe
|
---|
117 | stood.eng
|
---|
118 | stood.ini
|
---|
119 | [Requirements]
|
---|
120 | Key="cf."
|
---|
121 | Reference=($1)
|
---|
122 | CatalogSuffix=.txt
|
---|
123 | IgnoreCase=Yes
|
---|
124 |
|
---|
125 | II-3 Configuration
|
---|
126 | ------------------
|
---|
127 |
|
---|
128 | 3.1 Rules checkers
|
---|
129 |
|
---|
130 | 3.1.1 Changes in HOOD checker (config/checkers/hood)
|
---|
131 | Consistency.* (C2; C3; C4; C5; C6; C13)
|
---|
132 | Operation.* (O5)
|
---|
133 | Required.* (R17)
|
---|
134 | Use.* (U17)
|
---|
135 | Visibility.* (V9; V11)
|
---|
136 | _Main.*
|
---|
137 | _Input.sbp
|
---|
138 |
|
---|
139 | 3.1.2 New DataBase checker (config/checkers/database)
|
---|
140 | Scan.*
|
---|
141 | _Main.*
|
---|
142 | _Init.*
|
---|
143 | _Input.sbp
|
---|
144 | makefile
|
---|
145 | config
|
---|
146 | go.sh
|
---|
147 |
|
---|
148 | 3.1.3 New Requirements checker (config/checkers/requirements)
|
---|
149 | Contents.*
|
---|
150 | Coverage.*
|
---|
151 | Links.*
|
---|
152 | ERMatrix.*
|
---|
153 | REMatrix.*
|
---|
154 | _Main.*
|
---|
155 | _Init.*
|
---|
156 | _Input.sbp
|
---|
157 | makefile
|
---|
158 | go.sh
|
---|
159 |
|
---|
160 | 3.1.4 New Scheduling checker (config/checkers/scheduling)
|
---|
161 | RMA.*
|
---|
162 | _Main.*
|
---|
163 | _Init.*
|
---|
164 | _Input.sbp
|
---|
165 | makefile
|
---|
166 | go.sh
|
---|
167 |
|
---|
168 | 3.2 Code generators
|
---|
169 |
|
---|
170 | 3.2.1 Changes in Ada code generator (config/code_extractors/ada)
|
---|
171 | Extract.* (ADA157; ADA158; ADA159)
|
---|
172 | Input.sbp
|
---|
173 | extractors
|
---|
174 |
|
---|
175 | 3.2.2 Changes in C code generator (config/code_extractors/c)
|
---|
176 | Extract.* (C001..C021)
|
---|
177 | Input.sbp
|
---|
178 | extractors
|
---|
179 | pragma
|
---|
180 |
|
---|
181 | 3.3 Documentation generators
|
---|
182 |
|
---|
183 | 3.3.1 Changes in HTML document generator (config/doc_extractors/html_p)
|
---|
184 | Extract.*
|
---|
185 | Input.sbp
|
---|
186 |
|
---|
187 | 3.3.2 Changes in FrameMaker document generator (config/doc_extractors/mif_p)
|
---|
188 | Extract.*
|
---|
189 | Input.sbp
|
---|
190 |
|
---|
191 | 3.4 Predefined documentation schemes (config/doc_schemes)
|
---|
192 | editor1 (ods text editor)
|
---|
193 | editor6 (checks text editor)
|
---|
194 |
|
---|
195 | 3.5 InternalTools (config/internalTools)
|
---|
196 | lock.sh
|
---|
197 |
|
---|
198 | 3.6 DataBase description file (config/DataBase)
|
---|
199 |
|
---|
200 | 3.6.1 Following logical names have been renamed:
|
---|
201 | DOC353 into wcetTxt
|
---|
202 | DOC354 into budgetTxt
|
---|
203 |
|
---|
204 | 3.6.2 New sections for following logical names:
|
---|
205 | databaseCheckReport
|
---|
206 | schedulingCheckReport
|
---|
207 | requirementsCheckReport
|
---|
208 | CompareMessagesSections
|
---|
209 | CompareMessagesSectionsDetailled
|
---|
210 |
|
---|
211 | 4) Other directories
|
---|
212 | --------------------
|
---|
213 |
|
---|
214 | 4.1 Unix shell emulator for Windows (bash)
|
---|
215 | diff.exe
|
---|
216 |
|
---|
217 | 4.2 Example of requirements file (exMacros)
|
---|
218 | requirements.txt
|
---|
219 |
|
---|
220 | 4.3 Update of test_hrt example (exHRT)
|
---|