Mathematics in Software Reliability and Quality Assurance

• Autore: Dohi Tadashi
• Pubblicazione: Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022
• Descrizione fisica: 1 online resource (218 p.)
• Soggetto topico: History of engineering and technology; Technology: general issues
• Soggetto non controllato: 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; human-error factors; island-based model; long short-term memory; Maude; maximum likelihood estimation; metamorphic relations; metamorphic testing; model checking; 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; test data generation; textual question answering; UPPAAL; visual question answering
• Persona (resp. second.): LiuShaoying; DohiTadashi
• Sommario/riassunto: 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.
• Titolo autorizzato: Mathematics in Software Reliability and Quality Assurance
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910576884903321
• Lo trovi qui: Univ. Federico II