A new approach to generating high quality test cases

Proceedings of the Asian Test Symposium

Volumn , Issue , 2010, Pages 71-76

  Liu, Pan ^a   Miao, Huaikou ^a  

^a SHANGHAI UNIVERSITY   (China)

Author keywords

High quality test cases; Model decomposition; Regular expression decomposition; Software testing; Test generation

Indexed keywords

HIGH QUALITY TEST; INFORMATION COMPLETENESS; MODEL DECOMPOSITION; MODEL-BASED TEST GENERATION; NEW APPROACHES; REGULAR EXPRESSION DECOMPOSITION; REGULAR EXPRESSIONS; SOFTWARE ERRORS; SOFTWARE QUALITY; TEST CASE; TEST COMPLEXITY; TEST COST; TEST GENERATION; TEST GENERATIONS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; SOFTWARE TESTING;

TESTING;

EID: 79951650362     PISSN: 10817735     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ATS.2010.21     Document Type: Conference Paper

References (15)

1. Roger S. Pressman, Software Engineering: A Practitioner's Approach (4th edition), McGraw-Hill Higher Education, 1999.
2. B. Beizer. Software Testing Techniques (2nd ed.). Van Nostrand Reinhold Co., New York, NY, USA, 1990.
3. Antonia Bertolino, Software Testing Research: Achievements, Challenges, Dreams, 2007 Future of Software Engineering, May 23-25, 2007, p.85-103.
4. M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, and A. Pretschner, editors. Model-Based Testing of Reactive Systems - Advanced Lectures, LNCS 3472. Springer Verlag, 2005.
5. L. Briand, Y. Labiche. A UML-based Approach to System Testing. Proceedings of the 4th International Conference on the UML, Toronto, Canada, Springer, 2001, pp. 194-208. (Pubitemid 33351894)
6. ZHANG Yong, QIAN Le-Qiu, WANG Yuan-Fen. Automatic Testing Data Generation in the Testing Based on EFSM. Chinese Journal of Computers, 2003, 26(10):1295-1303.
7. Srivaths Ravi, Ganesh Lakshminarayana, Niraj K. Jha, TAO: regular expression based high-level testability analysis and optimization, Proceedings of the 1998 IEEE International Test Conference, p.331-340, October 18-22, 1998.
8. Pekka Kilpeläinen, Rauno Tuhkanen. One-Unambiguity of Regular Expressions with Numberic Occurrence Indicators. 2007, vol.205, pp.890-916.
9. ZI Xiao-Chao, YAO Li-Hong, LI Lan. A State-Based Approach to Information Flow Analysis. Chinese Journal of Computers, 2006, 29(8):1460-1467. (Pubitemid 44513492)
10. T. Chow. Testing software designs modeled by finite-state machines. IEEE Trans. On Software Eng., 1978, SE-4(3):178-187. (Pubitemid 8602457)
11. P. Ammann, J. Offutt. Introduction to Software Testing, Cambridge University Press 32: Avenue of the Americas, New York, NY 10013-2473, USA. 2008.
12. Offutt J., Liu S.Y., Abdurazik A, Amman P. Generating test data from state-based specifications. The Journal of Software Testing, Verification, and Reliability, 2003, 13(1):25-53.
13. John, E. H., Rajeev, M., Jeffrey D. An Introduction to Formal Languages and Automata (3rd edition). Jones and Bartlett Publishers, Inc., USA (2001).
14. Kenneth H. Rosen, Discrete Mathematics and Its Applications (Fifth Edition)[M], the McGraw-Hill Companies, Inc, 2003.
15. Miao Huaikou, Liu Pan, Mei Jia. A New Approach to Automated Redundancy Reduction for Test Sequences, Proceedings of the 15th Pacific Rim International Symposium on Dependable Computing, PRDC2009. Shanghai: IEEE Computer Society Press, 2009:93-98.