In other words, the application and its installation con?¬?guration can be generated
84 ARCHITECTURE OF DSM
simultaneously from the same models. This reduces the work needed as well as
making the process safer and easier to repeat.
Documentation Generators can also be used to produce documentation,
inspection reports, management status reports, and so on, from the same source
models from which the actual code is produced. The obvious bene?¬?t is that there is no
need to manually update documentation to keep it up-to-date with development. It is
also worth noting that the generated documentation is not only about the
implementation but also covers the solution described in domain terms. After all,
in DSM, models specify mostly the problem domain, not the solution.
Testing and Test Suites Models can also be used for testing, especially formal
models like DSM; they rarely have other models??™ problems of inconsistent
information or inaccurate speci?¬?cation of the product. How could they if the product
can be generated from the same models? The domain rules in the language make many
normal tests redundant simply because they are already ???tested??? in the models.
Similarly, automated production of code wipes out many typical errors found in
manual coding, such as typos, missing values, or incorrect references.
Pages:
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184