software reliability
software reliability A measure of the extent to which a software system can be expected to deliver usable services when those services are demanded. Software reliability differs considerably from program “correctness” (see program correctness proof). Correctness is the static property that a program is consistent with its specification, while reliability is related to the dynamic demands that are made upon the system and the ability to produce a satisfactory response to those demands.
A program that is “correct” may be regarded as unreliable if, for example, the specification against which the program is shown to be correct does not capture all of the users' expectations of the program. Conversely, a program that is not completely correct may be regarded as reliable if the errors are insignificant, occur infrequently at noncritical times, or can simply be avoided by the users.
A program that is “correct” may be regarded as unreliable if, for example, the specification against which the program is shown to be correct does not capture all of the users' expectations of the program. Conversely, a program that is not completely correct may be regarded as reliable if the errors are insignificant, occur infrequently at noncritical times, or can simply be avoided by the users.
More From encyclopedia.com
Correct , correct
cor·rect / kəˈrekt/ • adj. free from error; in accordance with fact or truth. ∎ not mistaken in one's opinion or judgment; right. ∎ (of a thi… Correctional Officer Jobs , When it comes to finding careers that are in-demand, you’re likely to often come across available positions as a corrections officer. There are over… Axiomatic Semantics , axiomatic •achromatic, acrobatic, Adriatic, aerobatic, anagrammatic, aquatic, aristocratic, aromatic, Asiatic, asthmatic, athematic, attic, autocrati… correction , correction •ashen, fashion, passion, ration •abstraction, action, attraction, benefaction, compaction, contraction, counteraction, diffraction, enact… Computer Program , pro·gram / ˈprōˌgram; -grəm/ (Brit. pro·gramme) • n. 1. a planned series of future events, items, or performances: a weekly program of films the prog… bridewell , Bridewell. The London Bridewell, set up in 1555, was the first ‘House of Correction’ and the term was often used henceforth to describe such institut…
You Might Also Like
NEARBY TERMS
software reliability