Constructions of behaviour observation schemes in software testing

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 2000-January, Issue , 2000, Pages 7-16

  Zhu, Hong ^a   He, Xudong ^b  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

^b The Department of Electrical and Computer Engineering   (United States)

Author keywords

Concurrent computing; Fault detection; Helium; Information analysis; Sequential analysis; Software measurement; Software quality; Software systems; Software testing; System testing

Indexed keywords

COMPUTATION THEORY; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; FAULT DETECTION; HELIUM; INFORMATION ANALYSIS; QUALITY CONTROL; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING; TESTING;

CONCURRENT COMPUTING; SEQUENTIAL ANALYSIS; SOFTWARE MEASUREMENT; SOFTWARE QUALITY; SOFTWARE SYSTEMS; SYSTEM TESTING;

SOFTWARE TESTING;

EID: 0009648026     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2000.895434     Document Type: Conference Paper

References (34)

1. H. Zhu, P. Hall, and J. May, "Software Unit Test Coverage and Adequacy", ACM Computing Survey, Vol. 29, No. 4, Dec. 1997, pp366-427.
2. S. C. Ntafos, "On Required Element Testing", IEEE Transaction on Software Engineering, Vol. SE-10, No. 6, Jun. 1984, pp795-803.
3. S. C. Ntafos, "A Comparison of Some Structural Testing Strategies", IEEE Transaction on Software Engineering, Vol. SE-14, No. 6, Jun. 1988, pp868-874.
4. P. G. Frankl, and J. E. Weyuker, "An Applicable Family of Data Flow Testing Criteria", IEEE Transaction on Software Engineering, Vol. SE-14, No. 10, Oct. 1988, pp1483-1498.
5. L. A. Clarke, A. Podgurski, D. J. Richardson, and S. J. Zeil, "A Formal Evaluation of Data Flow Path Selection Criteria", IEEE Transaction on Software Engineering, Vol. 15, No. 11, Nov. 1989, pp1318-1332.
6. J. W. Duran, and S. Ntafos, "An Evaluation of Random Testing", IEEE Transaction on Software Engineering, Vol. 10, No. 4, Jul. 1984, pp438-444.
7. V. R. Basili, and R. W. Selby, "Comparing the Effectiveness of Software Testing", IEEE Transaction on Software Engineering, Vol. 13, No. 12, Dec. 1987, pp1278-1296.
8. D. Hamlet, and R. Taylor, "Partition Testing Does Not Inspire Confidence", IEEE Transaction on Software Engineering, Vol. 16, No. 12, Dec. 1990, pp206-215.
9. M. Z. Tsoukalas, J. W. Duran, and S. C. Ntafos, "On Some Reliability Estimation Problems in Random and Partition Testing", IEEE Transaction on Software Engineering, Vol. 19, No. 7, Jul. 1993, pp687-697.
10. E. J. Weyuker, "Axiomatizing Software Test Data Adequacy", IEEE Transaction on Software Engineering, Vol. SE-12, No. 12, Dec. 1986, pp1128-1138.
11. E.J. Weyuker, "The Evaluation of Program-Based Software Test Data Adequacy Criteria", Communications of the ACM, Vol. 31, No. 6, Jun. 1988, pp668-675.
12. A. S. Parrish, and S. H. Zweben, "Analysis and Refinement of Software Test Data Adequacy Properties", IEEE Transaction on Software Engineering, Vol. SE-17, No. 6, Jun. 1991, pp565-581.
13. A. S. Parrish, and S. H. Zweben, "Clarifying Some fundamental Concepts in Software Testing", IEEE Transaction on Software Engineering, Vol. 19, No.7, Jul. 1993, pp742-746.
14. H. Zhu, and P. Hall, "Test Data Adequacy Measurement", Software Engineering Journal, UK, Vol. 8, No.1, Jan. 1993, pp21-30.
15. H. Zhu, P. Hall, and J. May, "Understanding Software Test Adequacy - An Axiomatic and Measurement Approach", in Mathematics of Dependable Systems, Edited by C. Mitchell, and V. Stavridou, Oxford University Press, 1995, pp275-295.
16. H. Zhu, "Axiomatic Assessment of Control Flow Based Software Test Adequacy Criteria", Software Engineering Journal, UK, Vol. 10, No.5, Sept. 1995, pp194-204.
17. H. Zhu, "A Formal Interpretation of Software Testing as Inductive Inference", Journal of Software Testing, Verification and Reliability, UK, Vol. 6, No. 3, Jul. 1996, pp3-31.
18. T. A. Budd, and D. Angluin, "Two Notions of Correctness and Their Relation to Testing", Acta Informatica, Vol. 18, 1982, pp31-45.
19. J. C. Cherniavsky, and C. H. Smith, "A Recursion Theoretic Approach to Program Testing", IEEE Transaction on Software Engineering, Vol. SE-13, No.7, Jul. 1987, pp777-784.
20. M. Davis, and E. Weyuker, "Metric Space-Based Test-Data Adequacy Criteria", The Computer Journal, Vol. 13, No. 1, Feb. 1988, pp17-24.
21. R. H. Carver, and K. C. Tai, "Replay and Testing for Concurrent Programs", IEEE Software, Mar. 1991, pp66-74.
22. R. N. Taylor, D. L. Levine, and C. D. Kelly, "Structural Testing of Concurrent Programs", IEEE Transaction on Software Engineering, Vol. 18, No. 3, Mar. 1992, pp206-215.
23. S. Morasca and M. Pezze, "Using High-Level Petri Nets for Testing Concurrent and Real-Time Systems", in Real-Time Systems, Theory and Applications, H. Zedan ed., North Holland, 1990.
24. R. H. Carver, and K. C. Tai, "Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs", IEEE Transaction on Software Engineering, Vol. 24, No. 6, Jun. 1998, pp471-490.
25. H. Zhu, and X. He, A Theory of Behaviour Observation in Software Testing, Technical Report CMS-TR-99-05, School of Computing and Mathematical Sciences, Oxford Brookes University, Sept. 1999.
26. H. Zhu, and X. He, "A Theory of Testing High Level Petri Nets", Proc. IFIP International Conference on Software: Theory and Practices, 16th World Computer Congress, 21-25 Aug. 2000, Beijing, China.
27. C. A. Gunter, and D. S. Scott, "Semantic Domains", In Handbook of Theoretical Computer Science, Vol. B., Formal Models and Semantics, Ed. J. van Leeuwen, The MIT Press/Elsevier, 1990, pp633-674.
28. R. A. DeMillo, R. J. Lipton, and F. G. Sayward, "Hints on Test Data Selection: Help for The Practising Programmer", IEEE Computer, Vol. 11, Apr. 1978, pp34-41.
29. T. A. Budd, "Mutation Analysis: Ideas, Examples, Problems and Prospects", In Computer Program Testing, Chandrasekaran and Radicchi (eds.), North Holland, 1981, pp129-149.
30. W. E. Howden, "Weak Mutation Testing and Completeness of Test Sets", IEEE Transaction on Software Engineering, Vol. 8, No. 4, Jul. 1987, pp371-379.
31. G. J. Myers, The Art of Software Testing, John Wiley and Sons, New York, 1979.
32. B. Beizer, Software Testing Techniques, 2nd Edition, New York, Van Nostrand Reinhold, 1990.
33. W. E. Howden, "Reliability of The Path Analysis Testing Strategy", IEEE Transaction on Software Engineering, Vol. SE-2, No. 9, Sept. 1976, pp208-215.
34. K. N. King, and A. J. Offutt, "A FORTRAN Language System for Mutation-Based Software Testing", Software-Practice and Experience, Vol. 21, No. 7, Jul. 1991, pp685-718.