sofware

Software
Se conoce como software1 al equipamiento lógico o soporte lógico de un sistema informático, el que comprende el conjunto de los componentes lógicos necesarios que hacen posible la realización de tareas específicas, en contraposición a los componentes físicos que son llamados hardware.
Los componentes lógicos incluyen, entre muchos otros, las aplicaciones informáticas; tales como elprocesador de texto, que permite al usuario realizar todas las tareas concernientes a la edición de textos; el llamado software de sistema, tal como el sistema operativo, que básicamente permite al resto de los programas funcionar adecuadamente, facilitando también la interacción entre los componentes físicos y el resto de las aplicaciones, y proporcionando una interfaz con el usuario.
El anglicismo"software" es el más ampliamente difundido al referirse a este concepto, especialmente en la jerga técnica; el término sinónimo "logical", derivado del término francés "logiciel", sobre todo es utilizado en países y zonas de influencia francesa.
Cualidades del Software
Correctitud, Confiabilidad y Robustez
Comenzaremos la presentación de los conceptos básicos con tres cualidades íntimamenteligadas entre sí: Correctitud, Confiabilidad y Robustez.
Todo proyecto de desarrollo de software debe ya en sus primeras etapas especificar el alcance y los requerimientos a cumplir en el producto terminado. En este sentido la más básica de las cualidades es la Correctitud, que simplemente significa que el programa cumple con los requerimientos especificados en el análisis.
Sería ingenuo pensarque el análisis de requerimientos hecho en primera instancia cubre todos las alternativas posibles. De hecho la realidad siempre supera nuestras previsiones por más cuidadosas que éstas sean y aunque claro está un análisis riguroso puede prevenirme de más problemas que uno exiguo, un buen diseño no puede acabar en él. Es precisamente aquí donde entran la segunda y tercera de las cualidades.
En uncaso ideal diremos que un software es confiable si cumple con los requerimientos especificados y no ocasiona graves problemas frente a situaciones imprevistas. La idea detrás de la Confiabilidad es que quizás aunque en ciertas ocasiones el programa reaccione en forma inesperada, el usuario se encuentra cómodo usándolo ya que estos fallos no traen aparejados problemas graves. Todo el mundo esconsciente de los bugs presentes en muchos programas populares como ms-Word pero aún así la mayoría de la gente los usa entre otras cosas porque son confiables. Distinta sería la situación si una caída en el ms-Word implicara la corrupción del file system por ejemplo; sin duda la popularidad del programa no sería la misma aún cuando los fallos se produjeran por las mismas causas. En un caso idílicopodemos suponer que todo proyecto de software implica un cuidadoso análisis de requerimientos especificado entre usuarios y analistas; por lo tanto a nuestros efectos todo programa confiable es correcto.
La Confiabilidad implicaba un comportamiento aceptable frente a situaciones inesperadas; pensemos cuanto mejor sería si pudiéramos en la fase de desarrollo fijar comportamientos frente a situacionesno previstas en la fase de análisis, pero ya evidentes durante el desarrollo. Esto es precisamente lo que definiremos como Robustez. En otras palabras un programa es robusto si reacciona en forma adecuada frente a situaciones a priori imprevistas. Claramente un programa robusto es también confiable y por ende correcto.
En un proyecto de propósito muy general como el nuestro, es difícil garantircualquiera de estas propiedades. Aún así hemos puesto mucho esmero en cumplirlas, apoyándonos en un desarrollo sumamente modular que ha sido exigentemente verificado, delegando una importante parte de los chequeos al compilador, realizando cada clase sus propios chequeos de consistencia, apoyándonos en componentes de alto nivel para la implementación de diversas estructuras y algoritmos (e.g. STL...