Е-Публикации
Технически университет - София

Абстракт: Валидирането и верифицирането играе съществена роля при осигуряване качеството на софтуерните продукти, откриване на несъответствия и гарантиране на липсата на дефекти по време на използването им. Дейностите за осъществяването му се разделят на такива, свързани с оценка на показателите, изграждащи модела на качеството на обекта, дейности, свързани със статично и динамично тестване, включително техниките, базирани на проверка на изискванията и структурната декомпозиция на кода, както и дейности, свързани с проверка на формалните модели на софтуера и осигуряване на доказателства за коректността на изпълнението му. Настоящето ръководство е предназначено да помогне на студентите от Технически университет - София при овладяване на основните аспекти от тестването на програмни продукти, съгласно възприетите международни стандарти.

Библиография

Издание

Издателските права се държат от Издателство на ТУ - София / Academic publishing house of TU - Sofia

Abstract: Validation and verification have an essential role in software products quality assurance, detecting inconsistencies and guarantee of the defect free usage. The activities for their implementation are divided into those related to the evaluation of the indicators that build the quality model of the object, activities related to static and dynamic testing, including the techniques based on verification of requirements and structural decomposition of the source code, as well as activities related to verifying the formal models of the software and providing evidence for the correctness of its implementation. This manual is intended to help students of Technical University - Sofia to get knowledge about the main aspects of the software product testing according to the international standards.

References

Issue

Copyright Издателство на ТУ - София / Academic publishing house of TU - Sofia