Towards scalable robustness testing

SSIRI 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement

Volumn , Issue , 2010, Pages 208-216

  Belli, Fevzi ^a   Hollmann, Axel ^a   Wong, W Eric ^b  

^a UNIVERSITY OF PADERBORN   (Germany)

^b The University of Texas at Dallas   (United States)

Author keywords

Decision tables; Elementary modification operators; Event sequence graphs; Robustness testing

Indexed keywords

EVENT SEQUENCE GRAPHS; MODEL BASED APPROACH; ROBUSTNESS TESTING; SOFTWARE SYSTEMS; TEST CASE;

SOFTWARE RELIABILITY;

DECISION TABLES;

EID: 77954820677     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SSIRI.2010.14     Document Type: Conference Paper

References (16)

1. A. Aho, A. Dahbura, D. Lee, and M. Uyar, "An Optimization Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours", IEEE Transactions on Communications, vol. 39, no. 11, pp. 1604-1615, 1991.
2. P. Ammann, P. E. Black, and W. Majurski, "Using Model Checking to Generate Tests from Specifications," Proc. 2nd IEEE International Conference on Formal Engineering Methods (ICFEM1998), pp. 46-54, 1998.
3. B. Beizer, Software Testing Techniques, 2nd edition, International Thomson Computer Press, 1990
4. F. Belli, "Finite-state Testing and Analysis of Graphical User Interfaces," Proc. 12th IEEE International Symposium on Software Reliability Engineering, pp. 34-43, 2001.
5. F. Belli, C. J. Budnik, and L. White, "Event-based Modeling, Analysis and Testing of User Interactions: Approach and Case Study," Journal of Software Testing, Verification and Reliability, John Wiley & Sons, vol. 16, no. 1, pp. 3-32, Feb. 2006.
6. F. Belli, C. J. Budnik, and W. E. Wong, "Basic Operations for Generating Behavioral Mutants," Proc. 2nd Workshop on Mutation Analysis, 2006.
7. F. Belli and M. Linschulte, "On 'Negative' Tests of Web Applications," Annals of Mathematics, Computing & Teleinformatics (AMCT), vol. 1, vo. 5, pp. 44-56, 2007.
8. M. Broy, Model-Based Testing of Reactive Systems, Lecture Notes in Computer Science 3472, Springer, Berlin, June 2005.
9. J.-C. Fernandez, L. Mounier, and C. Pachon, "A Model-Based Approach for Robustness Testing", Proceedings of 17th IFIP TC6/WG 6.1 International Conference Testing of Communicating Systems, pp. 333-348, 2005.
10. C. Fetzer and Z. Xiao, "An Automated Approach to Increasing the Robustness of C Libraries," Proceedings of the 2002 International Conference on Dependable Systems and Networks, pp. 155-166, IEEE Computer Society, 2002.
11. M. N. Huhns and Vance T. Holderfield, "Robust Software," IEEE Internet Computing, vol. 6, no. 2, pp. 80-82, 2002.
12. IEEE Std 610.12-1990, IEEE Standard Glossary of Software Engineering Terminology, Dec. 1990.
13. ISELTA, http://www.iselta.de/
14. N.P. Kropp, P.J. Koopman, and D.P. Siewiorek, "Automated Robustness Testing of Off-The-Shelf Software Components," 28th Annual International Symposium on Fault-Tolerant Computing, pp. 230-239, 1998.
15. A. Mukherjee and D.P. Siewiorek, "Measuring Software Dependability by Robustness Benchmarking", IEEE Transactions onSoftware Engineering, vol. 23, no. 6, pp. 366-378, 1997.
16. R. Zirnsack, "Eingabedatengenerierung für "Positiv"- und "Negativ"- Tests zur Testautomatisierung," Ongoing master thesis (in German), 2010.