1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
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
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
|
#LyX 2.3 created this file. For more info see http://www.lyx.org/
\lyxformat 544
\begin_document
\begin_header
\save_transient_properties true
\origin unavailable
\textclass book
\use_default_options true
\begin_modules
algorithm2e
\end_modules
\maintain_unincluded_children false
\language spanish
\language_package default
\inputencoding auto
\fontencoding global
\font_roman "default" "default"
\font_sans "default" "default"
\font_typewriter "default" "default"
\font_math "auto" "auto"
\font_default_family default
\use_non_tex_fonts false
\font_sc false
\font_osf false
\font_sf_scale 100 100
\font_tt_scale 100 100
\use_microtype false
\use_dash_ligatures true
\graphics default
\default_output_format default
\output_sync 0
\bibtex_command default
\index_command default
\paperfontsize default
\spacing single
\use_hyperref false
\papersize default
\use_geometry false
\use_package amsmath 1
\use_package amssymb 1
\use_package cancel 1
\use_package esint 1
\use_package mathdots 1
\use_package mathtools 1
\use_package mhchem 1
\use_package stackrel 1
\use_package stmaryrd 1
\use_package undertilde 1
\cite_engine basic
\cite_engine_type default
\biblio_style plain
\use_bibtopic false
\use_indices false
\paperorientation portrait
\suppress_date false
\justification true
\use_refstyle 1
\use_minted 0
\index Index
\shortcut idx
\color #008000
\end_index
\secnumdepth 3
\tocdepth 3
\paragraph_separation indent
\paragraph_indentation default
\is_math_indent 0
\math_numbering_side default
\quotes_style french
\dynamic_quotes 0
\papercolumns 1
\papersides 1
\paperpagestyle default
\tracking_changes false
\output_changes false
\html_math_output 0
\html_css_as_file 0
\html_be_strict false
\end_header
\begin_body
\begin_layout Standard
\begin_inset Note Comment
status open
\begin_layout Plain Layout
Un
\series bold
objeto
\series default
es una entidad relevante del mundo real, una
\series bold
función
\series default
es una acción o secuencia de acciones que se puede llevar a cabo sobre
objetos y un
\series bold
estado
\series default
es una situación en que se puede encontrar un objeto.
\end_layout
\end_inset
\end_layout
\begin_layout Standard
Un
\series bold
requisito
\series default
es una declaración muy específica, precisa y sin ambigüedad de una o más
necesidades particulares a satisfacer por un producto, junto a sus limitaciones
y condiciones.
Según
\lang english
Alan Davis
\lang spanish
, un requisito define un objeto, función o estado; limita o controla las
acciones asociadas a uno, o define relaciones entre objetos, funciones
y estados.
\end_layout
\begin_layout Standard
Un
\series bold
accionista
\series default
o
\series bold
parte interesada
\series default
es una persona, un grupo o una organización con interés directo o indirecto
en un producto o proyecto, como un usuario, cliente, jefe de proyecto,
ingeniero de requisitos, analista o programador.
\end_layout
\begin_layout Standard
Una
\series bold
regla de negocio
\series default
es una condición que se debe satisfacer cuando se hace una actividad de
negocio.
El software puede ignorar la regla para que los usuarios la manejen manualmente
; avisar al usuario cuando esta se incumple para que el usuario decida si
incumplirla o no, o forzar su cumplimiento con algún mecanismo de excepción.
\end_layout
\begin_layout Standard
La
\series bold
ingeniería de requisitos
\series default
es la parte de la ingeniería de software que comprende las actividades
de desarrollo relacionadas con la gestión y definición de requisitos para
sistemas software, mediando los dominios de adquisidor y proveedor.
Sus objetivos son:
\end_layout
\begin_layout Enumerate
Alcanzar un acuerdo entre clientes, desarrolladores y usuarios sobre lo
que hay que desarrollar.
\end_layout
\begin_layout Enumerate
Ser la base para el diseño de software.
\end_layout
\begin_layout Enumerate
Permitir la verificación y validación de los productos obtenidos.
\end_layout
\begin_layout Enumerate
Orientar a potenciales clientes sobre la definición de los productos mediante
catálogos de requisitos alternativos.
\end_layout
\begin_layout Standard
Se le suele dedicar el
\begin_inset Formula $\unit[10]{\%}$
\end_inset
del esfuerzo de un proyecto, aunque dedicar más esfuerzo disminuye el tiempo
total del proyecto según estudios como los del informe SERENA.
\end_layout
\begin_layout Standard
\begin_inset Note Comment
status open
\begin_layout Plain Layout
Requiere habilidades distintas de las de un buen programador, como la abstracció
n, el modelado y la comunicación, y si quiere hacerse, debe justificarse
ante la dirección.
\end_layout
\end_inset
\end_layout
\begin_layout Section
Importancia
\end_layout
\begin_layout Standard
Según
\lang english
Robert Glass
\lang spanish
, las principales causas de fracaso de proyectos de software son la inestabilida
d de los requisitos, pues en general los clientes o usuarios no tienen realmente
claro qué quieren o qué problema que quieren resolver, y una mala estimación
de el tiempo y el coste del proyecto.
\end_layout
\begin_layout Standard
Los errores en las primeras fases del desarrollo son más caros de corregir
porque pasa más tiempo hasta terminar las fases y obtener retroalimentación,
siendo los más caros los errores en los requisitos.
Algunos son:
\end_layout
\begin_layout Enumerate
No descubrir requisitos relevantes a tiempo, debido a una mala identificación
de los accionistas o una mala búsqueda de requisitos.
Es lo más difícil de corregir.
\end_layout
\begin_layout Enumerate
Una explosión de los requisitos derivados, los que surgen para satisfacer
una cierta solución de diseño, por la complejidad del proceso de la solución,
llegando a haber 50 veces más requisitos derivados que requisitos originales.
\end_layout
\begin_layout Enumerate
No detectar a tiempo ambigüedades entre requisitos.
Si no se llegan a detectar, pueden causar defectos en el sistema que hagan
que el software no llegue a usarse.
\end_layout
\begin_layout Standard
El cohete europeo Ariane 5 explotó debido a un desbordamiento al convertir
un valor en coma flotante de doble precisión a un entero de 16 bits con
signo, como resultado de mantener un requisito de software del Ariane 4
que no era necesario en el 5, relacionado con la velocidad horizontal y
el ángulo de ataque detectados por un sensor de vuelo.
\end_layout
\begin_layout Standard
La NASA perdió el contacto con el Mars Polar Lander 10 minutos antes de
su aterrizaje previsto debido a que el software malinterpretó señales que
debía ignorar y creyó que uno de los brazos de la sonda había tocado suelo
cuando estaba a
\begin_inset Formula $\unit[40]{m}$
\end_inset
de altura.
\end_layout
\begin_layout Section
Fases
\end_layout
\begin_layout Enumerate
\series bold
Identificación y consenso.
\end_layout
\begin_deeper
\begin_layout Enumerate
\series bold
Contexto.
\series default
Se establecen las necesidades iniciales de la organización y se delimita
el alcance del proyecto.
\end_layout
\begin_layout Enumerate
\series bold
Trabajo preliminar.
\series default
Se identifican los interlocutores concretos y suministradores de información.
Se hace un
\series bold
estudio de viabilidad
\series default
para ver que el proyecto sea viable técnicamente con el presupuesto y el
tiempo dados, y se decide entre crear el producto, comprarlo o subcontratar
el desarrollo.
\end_layout
\begin_layout Enumerate
\series bold
Adquisición.
\series default
Se establecen procedimientos de compra, adquisición y contratación si es
necesario, y se prepara la adquisición y recogida de información.
\end_layout
\end_deeper
\begin_layout Enumerate
\series bold
Representación y modelado.
\series default
Se escogen técnicas de representación y modelado apropiadas y se construyen
modelos que reflejen las necesidades de los usuarios.
Las técnicas de modelado (lenguajes y notaciones) se eligen según su
\series bold
poder expresivo
\series default
: la variedad de tipos de requisitos que pueden ser capturados y la capacidad
para suministrar mucha información en poco espacio.
\end_layout
\begin_deeper
\begin_layout Standard
Se decide si usar
\series bold
ingeniería inversa
\series default
, obtención de información a partir de un producto accesible al publico
para determinar su composición, cómo funciona y cómo fue fabricado.
\end_layout
\end_deeper
\begin_layout Enumerate
\series bold
Análisis.
\series default
Se
\series bold
validan
\series default
los modelos construidos con los requisitos y se
\series bold
verifica
\series default
la corrección interna y externa de los modelos, usando prototipos, inspecciones
y revisiones.
\end_layout
\begin_layout Enumerate
\series bold
Documentación y comunicación.
\series default
Se organiza la información.
\end_layout
\begin_layout Enumerate
\series bold
Gestión y mantenimiento.
\series default
Se sigue la vida de los requisitos por todo el proceso de desarrollo para
conseguir
\series bold
trazabilidad
\series default
.
Se definen los procedimientos de
\series bold
gestión de cambios de requisitos
\series default
, manteniendo la integridad de los mismos durante la evolución del sistema
y gestionando y documentando los cambios.
Estos procedimientos deben aplicarse siempre tras la aprobación de los
requisitos.
\end_layout
\begin_layout Standard
También se definen métricas sobre los productos del proceso de desarrollo,
especificando pruebas, lo que permite estimar el coste de desarrollo y
los recursos necesarios y refinar la planificación.
\end_layout
\begin_layout Section
Análisis de requisitos
\end_layout
\begin_layout Standard
El ISO/IEC/IEEE 24765:2017 lo define como un
\begin_inset Quotes cld
\end_inset
proceso de estudio de las necesidades del usuario para llegar a una definición
de los requisitos del sistema, hardware o software
\begin_inset Quotes crd
\end_inset
o un
\begin_inset Quotes cld
\end_inset
proceso de estudio y perfeccionamiento de los requisitos del sistema, hardware
o software
\begin_inset Quotes crd
\end_inset
.
\end_layout
\begin_layout Standard
Una
\series bold
revisión de requisitos
\series default
es un proceso en que se presentan requisitos a partes interesadas para
su aprobación o retroalimentación, o bien es un grupo de revisores que
buscan errores, contradicciones, descripciones ambiguas, etc.
\end_layout
\begin_layout Standard
Si hay conflictos de intereses entre las partes, se hace una
\series bold
negociación de requisitos
\series default
, en la que se detectan y resuelven los posibles conflictos; se definen
de forma más precisa los limites del sistema y las interacciones de este
con el entorno, y se eliminan redundancias, inconsistencias y puntos de
desencuentro.
\end_layout
\begin_layout Standard
No es viable que los requisitos queden
\begin_inset Quotes cld
\end_inset
congelados
\begin_inset Quotes crd
\end_inset
, pero tampoco lo es que cambien continuamente, por lo que en cierto momento
se hace una
\series bold
\emph on
\lang english
sign-off
\series default
\emph default
\lang spanish
, una aprobación de ciertos requisitos por el cliente.
Una
\series bold
\emph on
\lang english
baseline
\series default
\emph default
\lang spanish
es un conjunto de requisitos identificados y acordados en un instante de
tiempo, normalmente tras la
\emph on
\lang english
sign-off
\emph default
\lang spanish
.
\end_layout
\begin_layout Section
Especificación de requisitos
\end_layout
\begin_layout Standard
Una
\series bold
especificación
\series default
es un elemento de información que identifica de forma completa, precisa
y verificable unas características esperadas de un sistema, servicio o
proceso.
En el análisis de requisitos se elabora un
\series bold
documento de especificación de requisitos del software
\series default
(
\series bold
SRS
\series default
,
\emph on
\lang english
Software Requirements Specification
\emph default
\lang spanish
) y, en su caso, uno de
\series bold
requisitos del sistema
\series default
(
\series bold
SyRS
\series default
,
\emph on
\lang english
System Requirements Specification
\emph default
\lang spanish
).
\end_layout
\begin_layout Standard
Un buen SRS documenta todo lo que el software debe hacer y lo que no mediante
requisitos esenciales (funcionales, de rendimiento, restricciones de diseño
y atributos) del software y de sus interfaces externas.
También se puede elaborar una
\end_layout
\begin_layout Standard
Una buena SRS establece la base para el acuerdo entre clientes y proveedores,
la estimación de costes, la planificación y futuras mejoras; reduce el
esfuerzo de desarrollo al evitar re-diseñar o re-programar; sirve de referencia
para la verificación y validación (V&V) y para comprobar el grado de cumplimien
to del contrato, y facilita adaptar el sistema a nuevos usuarios y máquinas.
\end_layout
\end_body
\end_document
|