Specification-guided golden run for analysis of robustness testing results

Proceedings of the 2012 IEEE 6th International Conference on Software Security and Reliability, SERE 2012

Volumn , Issue , 2012, Pages 157-166

  Lemos, Gizelle Sandrini ^a   Martins, Eliane ^a  

^a UNIVERSITY OF CAMPINAS   (Brazil)

Author keywords

Inexact match; Results analysis; Robustness testing; Sequence alignment; Specification guided golden run; Testing oracle

Indexed keywords

INEXACT MATCH; RESULTS ANALYSIS; ROBUSTNESS TESTING; SEQUENCE ALIGNMENTS; SPECIFICATION-GUIDED GOLDEN RUN; TESTING ORACLES;

ALGORITHMS; ALIGNMENT; SECURITY OF DATA; SOFTWARE RELIABILITY; SPECIFICATIONS;

GOLD;

EID: 84866650532     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SERE.2012.28     Document Type: Conference Paper

References (31)

1. IEEE Std 610.12-1990. IEEE Standard Glossary of Software Engineering Terminology. IEEE, New York. 1990.
2. A. V. Moorsel and H. Madeira. State of the Art in Resilience Assessment, Measurement and Benchmarking, Chapter 13 Robustness Testing, Amber Consortium Report. 2009.
3. nd International Symposium on Fault-Tolerant Computing, Boston, MA, July 1992. pp. 345-354.
4. R. V. Binder. Testing Object-oriented Systems: Models, Patterns, and Tools. Reading Mass. Addison-Wesley, 1999.
5. W. E. Howden, "Theoretical and Empirical Studies of Program Testing" IEEE Transactions on Software Engineering, vol SE-4, July 1978, pp. 293 - 298.
6. K. M. Chao and L. Zhang. Sequence Comparison: Theory and Methods. Springer. 2009.
7. F. Salfner, M. Lenk and M. Malek, "A Survey of Online Failure Prediction Methods". ACM Computing Surveys (CSUR) Surveys, vol 42(3), March 2010. pp. 1-42.
8. G. S. Lemos, and E. Martins, "Detecting Non-Robust Behavior: A Bioinformatics Approach". 41st IEEE/IFIP Int. Conference on Dependable Systems and Networks. Fast Abstract. Hong Kong, China - June 27-30, 2011.
9. G. S. Lemos and E. Martins, "Robustness Testing Oracle using a Sequence Alignment Algorithm", 1st Workshop on Software Test Output Validation (STOV) - Co-located with International Symposium on Software Testing and Analysis. Trento, Italy - July 2010. doi:10.1145/1868048.1868051.
10. A. Cavalli, E. Martins, and A. Morais. "Use of Invariant Properties to Evaluate the Results of Fault-Injection-Based Robustness Testing of Protocol Implementations", 4th Workshop on Advances in Model Based Testing - joint with 1st IEEE Int. Conference on Software Testing, Verification and Validation. April, 2008.
11. M. Leeke A. Jhumka, "Evaluating the Use of Reference Run Models in Fault Injection Analysis". 15th IEEE Pacific Rim Int. Symposium on Dependable Computing, 2009, pp. 16-18.
12. L. Baresi and M. Young, "Test Oracles," Tech. Rep. CIS-TR-01-02, University of Oregon, Dept. of Computer and Information Science, Aug. 2001.
13. D. Lo, J. Han, H. Cheng, S. Khoo, and C. Sun,"Classification of Software Behaviors for Failure Detection: A Discriminative Pattern Mining Approach Categories and Subject Descriptors", In Proceedings of the Conference on Knowledge Discovery and Data Mining (SIGKDD), 2009.
14. T. H. Cormen, C. E. Leiserson, R. L. Rivest and C. Stein. Introduction to Algorithms. The MIT Press. 3rd edition, 2009.
15. R. P. J. C. Bose and W. M.P. van der Aalst. "Process Diagnostics Using Trace Alignment: Opportunities, Issues, and Challenges" Information Systems, vol 37(2), 2012, pp. 117-141. doi:10.1016/j.is.2011.08.003.
16. R. P. J. C. Bose and W. M.P. van der Aalst. "Trace Alignment in Process Mining: Opportunities for Process Diagnostics", Proceedings of the 8th Int. Conference on Business Process Management (BPM), vol 6336 of LNCS, Springer-Verlag, Berlin, 2010, pp. 227-242. 2010. doi: 10.1007/978-3-642-15618- 2-17.
17. M. Grochtmann and K. Grimm. "Classification Trees for Partition Testing". Software Testing, Verification and Reliability. vol 3(2), June 1993, pp. 63-82, DOI: 10.1002/stvr.4370030203
18. T. J. Ostrand and M. J. Balcer. "The Category-partition Method for Specifying and Generating Functional Tests". Communications of the ACM. vol 31(6), pp. 676-686. Jun 1988.
19. S. Kirani. Specification and Verification of Object-Oriented Programs. PhD thesis, University of Minnesota, December 1994.
20. S. C. Coull and B. K. Szymanski, "Sequence Alignment for Masquerade Detection", Computational Statistics & Data Analysis, vol 52(8), April 2008, pp. 4116-4131.
21. Open Mobile Alliance. 1998. Wireless Transaction Protocol Specification, wtp-30-apr-98.pdf.
22. Open Mobile Alliance. 2001. Wireless Application Protocol Architecture. wap-210-waparch-20010712-a.pdf
23. th ACM Conference on Computer and Communications Security, 2008, doi 10.1145/1455770.1455806
24. T. Al-ibaisi, A. Abu-dalhoum, M. Al-rawi, M. Alfonseca and A.Ortega, "Network Intrusion Detection using Genetic Algorithm to Find Best DNA Signature". WSEAS Transactions on Systems, vol.7(7), July 2008, pp. 589-599.
25. H. T. Uyar, A. S. Uyar, and E. Harmanci, "Pairwise Sequence Comparison for Fitness Evaluation in Evolutionary Structural Software Testing". In Proceedings of the 8th Annual Conference on Genetic and Evolutionary Computation. Seattle, Washington, USA. pp. 1959-1960, 2006. doi 10.1145/1143997.1144325.
26. A. Cain, T. Y. Chen, D. Grant, P. L. Poon, S. F. Tang and T. H. Tse, "ADDICT : A Prototype System for Automated Test Data Generation Using the Integrated Classification-Tree Methodology," in Proceedings of the 1st ACIS Int. Conference on Software Engineering Research and Applications, LNCS, vol 3026/2004, pp. 225-238, doi 10.1007/978-3-540-24675-6-18.
27. E. Lehmann and J. Wegener, "Test Case Design by Means of the CTE XL," in Proceedings of the 8th European International Conference on Software Testing, Analysis & Review (EuroSTAR 2000), Kopenhagen, Denmark, Dec 2000.
28. th IEEE Symposium on Reliable Distributed Systems. New Delhi, India. Nov, 2010, pp 255 - 264.
29. T. F. Smith, and M. S. Waterman, "Identification of Common Molecular Subsequences". Journal of Molecular Biology. Volume 147, Issue 1, March 1981, pp. 195-197.
30. nd Int. Conf. on Autonomic Computing. IEEE Computer Society, Seattle, Washington, USA, 2005, pp 101-110.
31. M. Kessentini, H. Sahraoui and M. Boukadoum. "Example-based Model-transformation Testing", Automated Software Engineering. vol 18(2), June 2011. pp. 199-224.