A modular tool for automated coverage in software testing

Proceedings - 11th Annual International Workshop on Software Technology and Engineering Practice, STEP 2003

Volumn , Issue , 2004, Pages 241-246

  Diaz E ^a   Tuya, J ^a   Blanco, R ^a  

^a UNIVERSITY OF OVIEDO   (Spain)

Author keywords

Automatic generation control; Automatic testing; Automation; Computer science; Costs; Flow graphs; Instruments; Programming; Software quality; Software testing

Indexed keywords

AUTOMATIC PROGRAMMING; AUTOMATIC TESTING; AUTOMATION; COMPUTER PROGRAMMING; COMPUTER SCIENCE; COMPUTER SOFTWARE SELECTION AND EVALUATION; COSTS; FLOW GRAPHS; INSTRUMENT TESTING; INSTRUMENTS; MATHEMATICAL PROGRAMMING; SOFTWARE ENGINEERING;

AUTOMATIC GENERATION CONTROL; BRANCH COVERAGE; MANUAL INSTRUMENTATIONS; SOFTWARE QUALITY; SOURCE CODE INSTRUMENTATION; SOURCE CODES; TEST CASE; TEST CASES GENERATION;

SOFTWARE TESTING;

EID: 84863465509     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/STEP.2003.2     Document Type: Conference Paper

References (16)

1. Beizer, B., Software Testing Techniques, 2nd. Ed., Van Nostrand Reinhold, 1990.
2. Blanco, R., Tuya, J., Díaz, E., Díaz, B.A., "A Scatter Search approach for automated coverage in software testing", International Conference on Knowledge Engineering and Decision Suport, 2004.
3. Cantata: http://www.iplbath.com
4. Chang, K., Cross, J., Carlisle, W., Liao, S., "A performance evaluation of heuristics-based test case generation methods for software branch coverage", International Journal of Software Engineering and Knowledge Engineering, 1996, 6(4):585-608.
5. DeMillo, R. A., Offutt, A. J., "Constraint-based automatic test data generation", IEEE Transactions on Software Engineering, 1991, 17(9):900-910.
6. Díaz, E., Tuya, J., Blanco, R., "Automated software testing using a metaheuristic technique based on Tabu Search", 18th IEEE International Conference on Automated Software Engineering, 2003, 310-313.
7. Gallagher, M. J., Narasimhan, V. L., "Adtest: a test data generation suite for ada software systems", IEEE TSE, 1997, 23(8): 473-484.
8. Glover, F., "Tabu search part i", ORSA Journal on Computing, 1989, 1(3):190-206.
9. Glover, F. "Tabu search part ii", ORSA Journal on Computing, 1990, 2(1):4-32.
10. Goldberg, D., Genetic Algorithms in search, optimization, and machine learning. Addison-Wesley, Reading, MA, 1989.
11. Korel, B., "Automated software test data generation", IEEE TSE, 1990, 16(8): 870-879.
12. Meudec C., "ATGen: automatic test data generation using constraint logic programming and symbolic execution", Journal of Software Testing, Verification and Reliability, 2001, 11(2):81-96.
13. Michael, CC., McGraw, G., Schatz MA., "Generating software test data by evolution", IEEE TSE, 2001, 27(12):1085-1110.
14. Ntafos, S., "On random and partition testing", Intl. Symp. on Software Testing and Analysis. 1998.
15. Rational: http://www.rational.com
16. Wegener, J., Baresel, A., Sthamer, H., "Evolutionary test environment for automatic structural testing", Information & Software Technology, 2001, 43(14):841-854.