Earticle

A software development process describes a structured set of activities or tasks that must performed by software stakeholders during the different phases of software manufacturing. These activities can be divided also into smaller portions at time called increments that are produced in a progressive way. Thereby, every change occurring in one increment performs a new iteration and affects absolutely the other increments that depend on it. These changes may cause a waste in modeling time or re-coding programs and make iterations more complex. The aim of this work is to reduce this complexity and economize the modeling time by applying a model-driven approach to automate the generation of some important increments. Therefore, the proposal presents an approach to semi-automate the generation through a model transformation of one among of the most important increment of the design phase, the sequence diagram of system’s internal behavior using the sequence diagram of system’s external behavior. For this and to trace correctly the interactions in the SDSIB we propose a semantic based on the LARMAN operation contract that integrates new details to better describe system’s states and propose an improved and formal syntax to determine operations and their concerned source and responsible objects.

Software testing is the major challenge of complex software systems. In this field, accuracy and running time are two major performance factors frequently employed to evaluate the reliability of software testing. Automated software testing is a technique which significantly improves these performance factors. There are various automated testing tools dealing with design features however this paper focuses on the comparison of the testing tools exclusively used for .Net applications. We attempted to search for high performance testing tools including popular software testing environments so that the obtained results can be extended to a wide domain of software developers. The main goal of this paper is to analyze and compare the automated software testing tools using practical examples and review the performance of these tools in terms of software reliability determination.

최근 컴퓨터의 활용이 급증함에 따라 수 많은 소프트웨어가 등장하게 되었고, 이에 따라 소프트웨어의 품질을 보증하고 향상시키기 위한 기술 개발의 필요성은 국가간 경쟁력의 증대, 급격한 기술의 발전, 품질 인식의 확산 등으로 인하여 폭발적으로 증가하고 있다. 선진국에서는 이미 품질 향상을 위한 연구를 활발히 하고 있으며, 특히 소프트웨어를 개발하고 관리하는 프로세스를 효율적으로 개선하기 위한 소프트웨어 프로세스 심사 기술을 개발하여 적극적으로 활용하고 있다. 이에 따라 소프트웨어 프로세스 개선 노력을 지원해 줄 수 있는 자동화 도구에 대한 필요가 증가하게 되어, 본 논문에서는 소프트웨어 프로세스를 개선하기 위한 절차 및 개선 프로젝트를 추적, 관리하여 소프트웨어의 품질향상을 지원할 수 있는 도구를 제안하고자 한다.