Reflexiones sobre la investigacin en Ingeniera del Software

Pere Botella Depto. LSI UPC Jordi Girona 1-3, 08034 Barcelona botella@lsi.upc.es
Resumen En [Bot01] planteaba, de manera informal, tres problemas de la investigacin en IdS en Espaa: la falta de cohesin interna entre los grupos de investigadores, la carencia habitual de una finalidad clara (problema concreto a resolver) en los proyectos, y la falta de visibilidad externa de los grupos espaoles en los congresos de carcter general. El primero y el tercero eran problemas de tipo local, y adems en estos tres aos trascurridos ambos han mejorado sensiblemente. Pero cmo se seal en la mesa redonda que sigui en las JISBD tras la presentacin del artculo citado, el problema de la falta de finalidad es un problema de mbito general de la disciplina. Las reflexiones que presento en este trabajo tratan de profundizar en este problema, sealando algunos sntomas y esbozando alguna va de solucin. Palabras-clave: Investigacin en Ingeniera del Software, Investigacin tecnolgica

Motivacin y punto de arranque Mi preocupacin por el tema surgi a raz de unos comentarios de Oscar Daz en una mesa redonda de las JISBD00 en Valladolid. Un posterior intercambio de mensajes con Oscar y su referencia a un spot publicitario de TV en que se deca la potencia sin control no sirve de nada, me llevaron a presentar una primeras reflexiones informales [Bot01] en las JISBD01 en Almagro. Planteaba tres problemas: la falta de cohesin interna entre los grupos de investigadores, la carencia habitual de una finalidad clara en los proyectos, y la falta de visibilidad externa de los grupos espaoles en los congresos de carcter general. Y cmo se seal en el debate, el primero y el tercero tenan carcter local y han mejorado sensiblemente desde entonces, pero el de la falta de finalidad es ms general, y en l se centra este trabajo. Adems de mi experiencia personal en el mbito de la Ingeniera del Software (IdS) y de la referencia citada, me ha basado en otras fuentes, en concreto: la presentacin de Miguel Toro en la mesa redonda que sigui a mi charla; las actas del workshop MIFISIS [Mar03], especialmente los trabajos de V. Guijarro, E. Marcos, M. Toro y F. Ruiz; el anlisis de Glass, Vessey y Ramesh [GVR02], la visin de Filkenstein y Kramer [FK00] y finalmente, la comparacin de nuestros planes docentes y lneas de investigacin con lo habitual en ingenieras clsicas (o ms consolidadas), tomando cmo referente el contexto que me es propio, la UPC (http://www.upc.edu). De todo ello surgen serias dudas sobre si la investigacin en IdS est en la lnea correcta: - en [GVR02] se referencian diversos artculos que precisamente ponen en cuestin que la lnea seguida por la investigacin en IdS sea la adecuada

se pone de manifiesto la crisis del modelo lineal ciencia-tecnologa-sociedad (Guijarro en [Mar03], Toro en la mesa redonda de las JISBD01) - se debate sobre mtodo investigador (mtodos deductivos, inductivos o empricos) o sobre la disyuntiva de enfoque cientfico o tecnolgico (Marcos en [Mar03]) - hay un sesgo evidente en el tipo de investigacin. En [GVR02] se analizan las publicaciones de IdS en medios relevantes, detectando que el 55,3% siguen un enfoque formulativo y que el 54,1% usan un mtodo de anlisis conceptual. El trabajo de Galn y Caete en [Mar03] sobre las ponencias presentadas en JISBD01, concluye que 26 sobre 31 presentan un mtodo de desarrollo y que 23 sobre 31 lo hacen mediante la presentacin de un procedimiento o modelo descriptivo. Todo ello me lleva a concluir que, efectivamente la investigacin en IdS tiene algo de anmala. Los sntomas Cuatro son los sntomas que, en mi opinin, dan indicios de un cierto grado de anomala en la investigacin en IdS, y que relaciono a continuacin: Sntoma 1: La falta de finalidad En [Bot01] afirmaba, a partir de la frase publicitaria la potencia sin control no sirve de nada (por control, lean finalidad), que si bien la investigacin en IdS era suficientemente potente, la falta de voluntad finalista la malograba en parte. Si tomamos cmo modelo la Ingeniera en el sentido clsico, podemos afirmar que: - La Ingeniera consiste en un conjunto de reglas orientadas a conseguir resultados tiles - La Ingeniera se fundamenta en conocimiento cientfico, pero tambin en conocimiento heurstico - La Ingeniera consiste en resolver problemas existentes, de forma rentable, en un plazo previsto y con los recursos disponibles En las Ingenieras clsicas, la investigacin suele tener una finalidad bien definida ([Bot01]), se orienta a la resolucin de problemas y se diferencia de la investigacin cientfica en que esta ltima busca la creacin de nuevo conocimiento, independientemente de su utilidad final. Pero en IdS, estamos seguros en nuestros proyectos de investigacin de si el problema que pretendemos resolver es un problema real, existente y relevante para la industria y/o la sociedad?. Si bien la formacin en Ingenieras clsicas es muy insistente en el tema finalista (esto sirve para...), creo que la formacin actual en Ingeniera Informtica no transmite bien la necesidad finalista ([Bot01]) y los proyectos de investigacin, en consecuencia, no la suelen recoger (en tanto que los equipos investigadores habitan en el mismo contexto). Sntoma 2: El debate sobre los mtodos formales En IdS hace mas de 20 aos que hay debates en congresos sobre los mtodos formales (aunque este fenmeno se empieza a atenuar). En Ingenieras clsicas no se cuestiona, bien al contrario, el uso de las bases formales en los mtodos de ingeniera (un debate sobre usar o no bases formales en los mtodos es impensable en ingenieras clsicas). Es probable que para un matemtico, el trmino formal evoque probablemente algo deseable por s

mismo. Pero para un ingeniero, la formalizacin matemtica es til slo si da solidez al mtodo para una finalidad concreta: si el mtodo resuelve el problema, sus elementos, formales o no, se usan extensivamente. Creo que hay formalizar los mtodos de la IdS cuando ello aporta valor aadido (p.ej. en componentes crticos), no minusvalorar los aspectos heursticos y menos formales, y dejar de hablar de mtodos formales cmo alternativa global, para hablar simplemente de mtodos de la IdS. Creo que seguir con ese debate es una muestra de inmadurez frente a otras ingenieras. Otro aspecto interesante en esta lnea es que en los planes de estudio de las Ingenieras clsicas (ver, p.ej. http://www.upc.edu), las bases formales vistas en los cursos iniciales suelen fundamentar los mtodos de resolucin de problemas de las asignaturas tecnolgicas. Pero eso no es tan evidente en las Ingenieras informticas ([Bot01]) Sntoma 3: La falta de validacin de los resultados En [GVR02] se seala la falta de validacin en los resultados de los proyectos de investigacin en IdS, donde es habitual que la bondad de un mtodo, herramienta o idea, simplemente se argumente en positivo con mayor o menor fortuna, sin ms. Hay una tendencia clara en congresos (p. ej. en ICSE 2004) a incluir el requisito de la validacin (emprica, por encuesta, etc.) para la aceptacin de artculos. Esta carencia es en parte causa del auge de la IdS emprica (Empirical Software Engineering), que suele usar tcnicas de la estadstica clsica (es decir, una de las bases formales de la formacin inicial). Han aparecido libros (cmo el de Natalia Juristo y Ana M. Moreno) y se han creado institutos para su promocin (cmo el IESE Fraunhofer Institut Experimentelles Software Engineering). Las mtricas de software, tambin fundamentadas en tcnicas matemticas bsicas, es un tema que tambin est en auge y que contribuye a paliar este problema. Se afirma que sin mtricas no hay ingeniera, de ah la necesidad de la medicin en IdS. En gestin de proyectos software es habitual afirmar que no se puede controlar lo que no se puede medir y que no se puede predecir lo que no se puede medir, lo cual es perfectamente aplicable a los proyectos de investigacin en IdS. Sntoma 4: La fuente de las aportaciones mas relevantes Es un hecho conocido y puesto en evidencia repetidamente que la mayor parte de aportaciones relevantes de la IdS en los ltimos aos provienen del entorno industrial (o de consorcios industria-academia). Un simple ejercicio para el lector: piense en 4 o 5 aportaciones relevantes en su opinin de la IdS en los ltimos 10 aos, y luego procure ver cuales de ellas han salido de la investigacin acadmica y cuales de la I+D de compaas o de consorcios (tipo OMG). Prefiero no dar ejemplos para no condicionar el ejercicio, pero estoy convencido del resultado. Y pensemos si ocurre lo mismo en disciplinas prximas, p.ej.en Arquitectura de Computadores, o en Inteligencia Artificial. Un primer diagnstico Si hay sntomas, hay (o debera haber) diagnstico. Creo que a pesar de los problemas, hay que ser optimista, porque la produccin de la investigacin en IdS es alta en cantidad y en calidad ([FK00]) y se acerca progresivamente al estilo de la investigacin tecnolgica. Pero

no hay que ocultar que existe un problema importante de indefinicin, en parte por la poca madurez de la disciplina. En cuanto a la definicin, un avance importante es el SWEBOK (www.swebok.org), en tanto que define y delimita la disciplina. Y el tema de la falta de madurez se arregla con el paso del tiempo, siempre que la direccin sea la correcta, y parece serlo. Intuyo que hay un problema de origen y es de carcter docente. Los primeros planes de estudio en informtica se basaron todos en el Curriculum de ACM del 68. Y los siguientes, a pesar de las actualizaciones, siguen el mismo modelo. Su orientacin, en trminos ingleses, tiene un evidente sesgo computer science. La IdS no aparece en el CACM68 porque se inventa el mismo ao (en la reunin de Garmisch), y se aade mas tarde, pero como materia, no como eje vertebrador de una ingeniera. No olvidemos que el mbito anglosajn diferencia las propuestas curriculares en computer science, computer engineering, software engineering e information systems. Aunque en Europa nos quedemos tan contentos con el nombre nico de Informtica, el problema subyace. Soluciones? En todo caso, hay que asumir sin complejos que la IdS es una ingeniera y el enfoque investigador que le corresponde no difiere del de las ingenieras clsicas y por ello es bueno que asuma alguno de sus mtodos propios. Y ello cohabitando sin traumas con enfoques cientficos perfectamente vlidos en otros mbitos de la informtica, y ms en concreto, del software. Un par de sugerencias: - Aprovechar los cambios de planes de estudio en su adaptacin al Espacio Europeo de Educacin Superior para reforzar el sentido finalista, orientado a la solucin, de la IdS - Esforzarse en la captacin de buenos estudiantes para hacer el doctorado e integrarse como jvenes investigadores en los grupos de IdS Y est claro que hay un problema de inmadurez de la disciplina que solo el paso del tiempo puede solventar: confo que las jornadas y la red MIFISIS contribuyan a acortar ese viaje en el tiempo hacia la madurez como Ingeniera. Referencias [Bot01] Botella, P.; La investigacin en Ingeniera del Software en nuestro pas, va bien?, VI JISBD, Almagro (Ciudad Real), Noviembre 2001, Adenda al libro de actas (Ed. scar Daz, Arantza Illarramendi, Mario Piattini), ISBN 84-699-6275-2 [FK00] Finkelstein, A., Kramer, J.. Software Engineering: A Roadmap, proceedings ICSE2000, ACM Press [GVR02] Glass, R.L., Vessey, I., Ramesh, V.; Research in software engineering: an analysis of the literature, Information and Software Technology 44 (2002), Elsevier [Mar03] Marcos, E. (Ed.); Actas Mtodos de Investigacin y Fundamentos Filosficos de Ingeniera del Software y Sistemas de Inofrmacin (Nov. 2002); Universidad Rey Juan Carlos, Servicio de Publicaciones, Madrid 2003, ISBN 84-9772-064-4