RobusTest: A framework for automated testing of software robustness

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2011, Pages 171-178

  Shahrokni, Ali ^a   Feldt, Robert ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Property based testing; Real time systems; Robustness; Temporal property; Testing; Timing

Indexed keywords

AUTOMATED TESTING; AUTOMATICALLY GENERATED; CRITICAL FAILURES; INSTANT MESSAGING; NON-CONFORMANCE; OPEN SOURCE IMPLEMENTATION; PROPERTY BASED TESTING; ROBUST BEHAVIOR; ROBUSTNESS PROPERTIES; SOFTWARE SYSTEMS; TEMPORAL PROPERTY; TEST CASE; TIMING;

AUTOMATIC TEST PATTERN GENERATION; INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS; ROBUSTNESS (CONTROL SYSTEMS); SOFTWARE ENGINEERING; TESTING;

SOFTWARE TESTING;

EID: 84856619039     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2011.58     Document Type: Conference Paper

References (13)

1. A. Shahrokni and R. Feldt, "Towards a Framework for Specifying Software Robustness Requirements Based on Patterns," Requirements Engineering: Foundation for Software Quality, pp. 79-84, 2010.
2. A. K. Ghosh, M. Schmid, and V. Shah, "Testing the robustness of Windows NT software," in Proceedings of the 9th International Symposium on Software Reliability Engineering, 4-7 Nov. 1998. Los Alamitos, CA, USA: IEEE Computer Society, 1998, pp. 231-235.
3. J. DeVale, P. Koopman, and D. Guttendorf, "The Ballista software robustness testing service," in Testing Computer Software Conference, 1999.
4. M. Dix and H. D. Hofmann, "Automated software robustness testing -static and adaptive test case design methods," in Proceedings of the 28th Euromicro Conference, 4-6 Sept. 2002. Los Alamitos, CA, USA: IEEE Computer Society, 2002, pp. 62-66.
5. J. Fernandez, L. Mounier, and C. Pachon, "A model-based approach for robustness testing," Testing of Communicating Systems, pp. 333-348, 2005. (Pubitemid 41322211)
6. J. E. Forrester and B. P. Miller, "An empirical study of the robustness of windows nt applications using random testing," in Proceedings of the 4th USENIX Windows Systems Symposium, 3-4 Aug. 2000. Berkeley, CA, USA: USENIX Assoc, 2000, pp. 59-68.
7. H. Liu and J. Jiang, "A robustness testing platform for file system," High Technology Letters (English Language Edition), vol. 12, no. Copyright 2006, The Institution of Engineering and Technology, pp. 23-27, 2006. (Pubitemid 44054292)
8. C. Csallner and Y. Smaragdakis, "JCrasher: an automatic robustness tester for Java," Software-Practice & Experience, vol. 34, no. 11, pp. 1025-1050, 2004.
9. P. Koopman, J. Sung, C. Dingman, D. Siewiorek, and T. Marz, "Comparing operating systems using robustness benchmarks," in Proceedings of the 16th Symposium on Reliable Distributed Systems, 1997., 1997, pp. 72-79.
10. D. Clarke and I. Lee, "Automatic generation of tests for timing constraints from requirements," in words. Published by the IEEE Computer Society, 1997, p. 199.
11. G. Fink and M. Bishop, "Property-based testing: a new approach to testing for assurance," SIGSOFT Softw. Eng. Notes, vol. 22, pp. 74-80, July 1997.
12. K. Claessen and J. Hughes, "Quickcheck: a lightweight tool for random testing of haskell programs," SIGPLAN Not., vol. 35, pp. 268-279, September 2000. (Pubitemid 32024728)
13. J. Hughes, U. Norell, and J. Sautret, "Using temporal relations to specify and test an instant messaging server," in Proceedings of the 5th Workshop on Automation of Software Test, ser. AST '10. New York, NY, USA: ACM, 2010, pp. 95-102.