Optimal test profile in the context of software cybernetics

Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001

Volumn , Issue , 2001, Pages 157-166

  Cai, Kai Yuan ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CHAINS; COMPUTER CONTROL; CONTROL THEORY; CYBERNETICS; FEEDBACK; MARKOV PROCESSES; TESTING;

CLOSED-LOOP FEEDBACK SYSTEM; CONTROL PROBLEMS; CONTROLLED MARKOV CHAINS; CONTROLLED OBJECTS; OPERATIONAL PROFILE MODEL; SOFTWARE CYBERNETICS; STATE TRANSITIONS; TESTING STRATEGIES;

SOFTWARE TESTING;

EID: 84954048563     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APAQS.2001.990014     Document Type: Conference Paper

References (9)

1. K.Y.Cai, "On the Concepts of Total Systems, Total Dependability and Software Cybernetics", (unpublished manuscript), Centre for Software Reliability, City University, London, Draft version, October 1994; revised version, 1995.
2. K.Y.Cai, "A Controlled Markov Chains Approach to Software Testing", submitted for publication, 2000.
3. nd Edition), Van Nostrand Reinhold, 1990.
4. K.Y.Cai, "Towards a Conceptual Framework of Software Run Reliability Modeling", Information Sciences, Vol.126,2000, pp137-163.
5. C.Derman, Finite State Markovian Decision Processes, Academic Press, 1970.
6. O.Hernandez-Lerma, J.B.Lasserre, Discrete-Time Markov Control Processes: Basic Optimality Criteria, Springer, 1996.
7. GRubino, B. Sericola, "A Finite Characterization of Weak Lumpable Markov Processes. Part I: The Discrete Time Case", Stochastic Processes and Their Applications, Vol.38, 1991, pp195-204.
8. P. Spreij, "On the Markov Property of a Finite Hidden Markov Chain", Statistics & Probability Letters, Vol.52, 2001, pp279-288
9. K.Y.Cai, Software Defect and Operational Profile Modeling, Kluwer Academic Publishers, 1998.