|
1. |
A Bayesian modification to the Jelinski-Moranda software reliability growth model |
|
Software Engineering Journal,
Volume 2,
Issue 2,
1987,
Page 30-41
BevLittlewood,
ArielaSofer,
Preview
|
PDF (1603KB)
|
|
摘要:
The Jelinski-Moranda (JM) model for software reliability growth is one of the most commonly cited (often in its guise as the ‘Musa model’). Recent studies show that the reliability estimates and predictions given by the model are often grossly inaccurate. It has been suggested that one reason for this poor performance may be the use of the maximum-likelihood method of inference. This paper describes a Bayesian version of the model and shows that it is sometimes an improvement on JM. However, both versions have a tendency to give optimistic answers, probably owing to a key, but implausible, underlying assumption common to both models. The authors conclude that the generally poor performance of the models is such that they should only be used with great caution.
DOI:10.1049/sej.1987.0005
出版商:IEE
年代:1987
数据来源: IET
|
2. |
On hierarchical software metrics |
|
Software Engineering Journal,
Volume 2,
Issue 2,
1987,
Page 42-45
Ronald E.Prather,
Preview
|
PDF (486KB)
|
|
摘要:
The notion of a hierarchical software metric is introduced, encompassing and extending the earlier work of Fenton and Whitty and this author. It is shown that a stronger interpretation of this notion is insufficient for treating the important ‘number-of-paths’ metric, whereas this metric definitely falls within the range of the axiomatic system introduced herein. Finally, the technique of argument by induction over an arbitrary flowgraph decomposition is clarified and demonstrated in the new hierarchical context.
DOI:10.1049/sej.1987.0006
出版商:IEE
年代:1987
数据来源: IET
|
3. |
A software tool for testing JSP designed programs |
|
Software Engineering Journal,
Volume 2,
Issue 2,
1987,
Page 46-52
R.M.F.Roper,
P.Smith,
Preview
|
PDF (793KB)
|
|
摘要:
The aim of this paper is to present a new structural testing method for use with Jackson structured programming designed programs. The problems associated with testing are outlined and the concepts behind structural testings are briefly discussed. The new structural testing method (STM) is described. The method involves the creation of a path expression from the program structure and the sbsequent expansion of the expression into a set paths. An example describes the application of the methods. A software tool written in Prolog to support STM is described in detail, again with the use of an example. The applicability of the method and supporting tool to practising software engineers is discussed, along with the advantages and disadvantages Further work being undertaken by the authors is outlined.
DOI:10.1049/sej.1987.0007
出版商:IEE
年代:1987
数据来源: IET
|
|