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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	eng
Schlagworte:	bisimulation branch coverage checkpointing coalgebra composition concurrent software systems consensus protocol cross-project prediction data-flows deep learning EM algorithm eventual property feature selection fuzzy automata fuzzy language generalized failure count data genetic algorithm History of engineering and technology human-error factors island-based model long short-term memory Maude maximum likelihood estimation metamorphic relations metamorphic testing model checking moth flame optimization mutation testing Nervos CKB non-homogeneous Poisson process object-oriented optimal rejuvenation-trigger timing petri net phase expansion project similarity and clustering quality assessment regression testing search-based test case generation software defect prediction software rejuvenation software reliability software reliability model specification-based testing steady-state system availability Technology, Engineering, Agriculture, Industrial processes Technology: general issues test data generation textual question answering thema EDItEUR UPPAAL visual question answering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.
DOI:	10.3390/books978-3-0365-3800-6