Zhu, H., Hall, P., and May, J., Understanding software test adequacy -- An axiomatic and measurement approach, in Mathematics of Dependable Systems, Edited by Mitchell, C., and Stavridou, V., Oxford University Press, 1995, 275~295. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Theory of Testing High Level Petri Nets - Zhu, He (2000) (2 citations) Self-citation (Zhu) (Correct)
.... E of test executions is said to be adequate according to w time criterion, if and only if w e Time E e 0 ) Axioms of software test adequacy criteria have been proposed and investigated as the most fundamental properties of testing methods, see [Wey86, Wey88, PZ91, PZ93, ZH93, ZHM95 Zhu95] These axioms can be adapted to adequacy criteria defined on observed behavior for testing concurrent systems. They are informally given below. Their formal definitions and detailed discussions are not given in this paper due to space restriction. Axiom 1 (Finite Applicability) For all ....
Zhu, H., Hall, P., and May, J., Understanding software test adequacy -- An axiomatic and measurement approach, in Mathematics of Dependable Systems, Edited by Mitchell, C., and Stavridou, V., Oxford University Press, 1995, 275~295.
A Theory of Behaviour Observation in Software Testing - Zhu (1999) Self-citation (Zhu) (Correct)
....in the literature [ZHM97] Researches have been conducted to establish the relationships between test criteria and fault detecting ability and software reliability. In recent years, axiomatic approaches have been advanced to understand test criteria from a very high level of abstraction [BuA82, Wey88, PZ91, PZ93, ZH93, ZHM95, Zhu95, Zhu96a]. However, few existing theories of software testing take concurrency and non determinism into account, instead the uniqueness of dynamic behaviour is assumed. Given the fact that a test set can generate a number of different dynamic behaviours of a non deterministic system, we argued that test ....
Zhu, H., Hall, P., and May, J., Understanding software test adequacy -- An axiomatic and measurement approach, Mathematics of Dependable Systems, Edited by Mitchell, C., and Stavridou, V., Oxford University Press, 1995, pp275~295.
Towards Agent-Oriented Quality Management of Information.. - Zhu, Greenwood, Huo, Zhang Self-citation (Zhu) (Correct)
No context found.
Zhu, H., Hall, P., and May, J., Understanding software test adequacy -- An axiomatic and measurement approach, Mathematics of Dependable Systems, Edited by Mitchell, C., and Stavridou, V., Oxford University Press, 1995, pp275~295.
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