Mathematics in Software Reliability and Quality Assurance

Mathematics in Software Reliability and Quality Assurance

This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, c...

Descripción completa

Detalles Bibliográficos
Otros Autores: Dohi, Tadashi (Editor), Liu, Shaoying (Otro)
Formato: Libro electrónico
Idioma:Inglés
Publicado: Basel MDPI - Multidisciplinary Digital Publishing Institute 2022
Materias:
Technology: general issues
History of engineering & technology
fuzzy automata
coalgebra
fuzzy language
bisimulation
composition
test data generation
genetic algorithm
specification-based testing
regression testing
mutation testing
eventual property
model checking
Maude
textual question answering
visual question answering
metamorphic testing
metamorphic relations
quality assessment
software rejuvenation
checkpointing
optimal rejuvenation-trigger timing
steady-state system availability
phase expansion
human-error factors
petri net
concurrent software systems
model-checking
data-flows
software reliability model
maximum likelihood estimation
EM algorithm
non-homogeneous Poisson process
generalized failure count data
moth flame optimization
island-based model
feature selection
software defect prediction
software reliability
search-based test case generation
branch coverage
object-oriented
deep learning
long short-term memory
project similarity and clustering
cross-project prediction
Nervos CKB
consensus protocol
UPPAAL
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009666920106719
Descripción
Sumario:This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment.
Descripción Física:1 electronic resource (218 p.)

Ejemplares similares