S. S. Gokhale, T. Philip, P. N. Marinos, and K. S. Trivedi. Unification of finite failure non-homogeneous poisson process models through test coverage. In Proc. of IEEE Int'l Symp. on Software Reliability Eng., pages 299--307, Nov. 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Temporal Modeling of Software Test Coverage - Sedigh-Ali, Ghafoor, Paul (Correct)
....environments, one in which testing proceeds rapidly, and another with average testing progress. As a result, our model incorporates the notion of test duration into the model, and the elements of the coverage matrix are time dependent. A model similar to our coverage function has been discussed in [3], with a focus on relating test coverage to known models of software reliability. The model does not incorporate the effect of test environment into coverage calculations, and does not extend the coverage analysis to the system level, as done by the coverage matrix in our model. 3 Coverage Model ....
S. S. Gokhale, T. Philip, P. N. Marinos, and K. S. Trivedi. Unification of finite failure non-homogeneous poisson process models through test coverage. In Proc. of IEEE Int'l Symp. on Software Reliability Eng., pages 299--307, Nov. 1996.
An Analytical Approach to Architecture-Based Software .. - Gokhale, Wong.. (1998) (1 citation) Self-citation (Gokhale Trivedi) (Correct)
....(DTMC) Trace information collected during extensive testing is used to obtain branching probabilities of the DTMC. Testing of individual modules also yield coverage measurements and these are used to predict their mean value functions via the enhanced non homogeneous Poisson process (ENHPP) model [3]. To facilitate this we use a coverage analysis tool called ATAC (Automatic Test Analyzer in C) which is a part of a Software Understanding and Diagnosis System (Suds) developed at Bellcore. We demonstrate the methodology by predicting the reliability of an application called SHARPE (Symbolic ....
....model nor the failure behavior is known. It is a terminating application, and we model it using a absorbing DTMC. Coverage testing of the application along with fault density analysis, gives us the failure behavior of the components via the enhanced non homogeneous Poisson process (ENHPP) model [3]. The absorbing DTMC representing the architecture of the application is parameterized using the trace information obtained during coverage testing. We assume that the interfaces between the components are perfect and do not fail. In the subsequent subsections, we present a brief overview of the ....
[Article contains additional citation context not shown here]
S. Gokhale, T. Philip, P. N. Marinos, and K. S. Trivedi. "Unification of Finite Failure Non-Homogeneous Poisson Process Model through Test Coverage". In Proc. Intl. Sypmosium on Software Reliability Engineering (ISSRE '96), pages 289--299, White Plains, NY, October 1996.
Resource-Constrained Non-Operational Testing of Software - Rivers, Vouk (1998) (Correct)
No context found.
Swapna S. Gokhale, Teebu Philip, Peter N. Marinos, Kishor S. Trivedi, "Unification of Finite Failure NonHomogeneous Poisson Process Models through Test Coverage," 7th International Symposium on Software Reliability Engineering, Oct, 1996, pp. 299-307.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC