A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is
This paper presents a method proposal for estimation of software reliability before the implementation phase. The method is based upon that a formal specification technique is used and that it is possible to develop a tool performing dynamic analysis, i.e. locating semantic faults in the design. The analysis is performed with both applying a usage profile as input as well as doing a full analysis, i.e. locate all faults that the tool can find. The tool must provide failure data in terms of timedoi:10.1142/s0218539396000089 fatcat:mwpm3m75wfe37pwbc4rjaby4p4