๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Fault seeding for software reliability model validation

โœ Scribed by A Pasquini; E De Agostino

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
565 KB
Volume
3
Category
Article
ISSN
0967-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Analysis for performance and reliability
Analysis for performance and reliability of fault-tolerant parallel software
โœ Eiji Sugino; Haruo Yokota ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 193 KB ๐Ÿ‘ 2 views

We propose a technique for constructing a fault-tolerant parallel software for general commercial massively parallel computers which are not provided with special fault-tolerant functions. This technique is a hybrid of the primary/backup approach and state machine approach, and can implement paralle

Quantitative assessment models for softw
Quantitative assessment models for software safety/reliability
โœ Shigeru Yamada; Koichi Tokuno; Yu Kasano ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 252 KB ๐Ÿ‘ 2 views

Safety and reliability have become important software quality characteristics in the development of safetycritical software systems. However, there are so far no quantitative methods for assessing a safety-critical software system in terms of safety/reliability characteristics. The metric of softwar