Cercetări privind tehnicile de verificare și validare a sistemelor informatice / Research on verification and validation techniques for information systems

Quality assurance in software engineering is of great importance to the modern world and constant evolution is forced upon it by the ongoing, accelerated development efforts worldwide, and by the multitude of aspects which alter and transform the way software products are developed and used. Consequently, the main goal of this paper is to offer solutions for analyzing and optimizing the painstaking processes which form the basis of computer software quality assurance. At the same time, various ways to improve upon the final software through increasing the efficiency of each stage of the development lifecycle were underlined. Additionally, an e-learning platform was designed with the stated goal of preparing students in the chosen field and providing a practical example of quality-centric software development. In order for these to be accomplished, the first step was to perform a quasi-exhaustive analysis of the offerings within the Romanian public education system that pertain to software quality assurance and to confirm the necessity of such a solution. Furthermore, a comparative analysis of existing methodologies was enacted in accordance with their applicability based on the type of project, the optimal solution was underlined, and a method of optimizing the methodology, team blueprint and testing processes was proposed. The transition state diagram and the test plan for the e-learning application were built, providing solutions for improving both the security, and the usability in order to minimize defect propagation and reduce the costs associated with issue remediation. Applying Fault Tree Analysis, a study of the architectural environment was conducted, improving the solution’s reliability. Furthermore, a unitary structure was constructed, and the study modules were elaborated consistent with the compiled profile of a quality assurance engineer. Ultimately, functional and non-functional tests were performed, and the paper concluded that the product is fit for purpose and for use, considering established usability and security