An integrated self-testing framework for autonomic computing systems

Journal of Computers

Volumn 2, Issue 9, 2007, Pages 37-49

  King, Tariq M ^a   Ramirez, Alain E ^a   Cruz, Rodolfo ^a   Clarke, Peter J ^a  

^a FLORIDA INTERNATIONAL UNIVERSITY   (United States)

Author keywords

Autonomic computing; Testing; Validation

Indexed keywords

SYSTEMS ENGINEERING; TESTING;

AUTONOMIC COMPUTING; AUTONOMIC COMPUTING SYSTEM; AUTONOMIC SYSTEMS; BEHAVIORAL CHANGES; GOAL SPECIFICATIONS; LEVEL OF AUTOMATIONS; RUNTIME TESTING; VALIDATION;

NETWORK FUNCTION VIRTUALIZATION;

EID: 70449723579     PISSN: 1796203X     EISSN: None     Source Type: Journal    
DOI: 10.4304/jcp.2.9.37-49     Document Type: Article

References (29)

1. IBM Corporation., "IBM Research, " 2002, http://www.research.ibm.com/autonomic/ (August 2006).
2. Enterprise Managment Associates, "Practical autonomic computing: Roadmap to self managing technology, " IBM, Boulder, CO, Tech. Rep., Jan. 2006.
3. IBM Autonomic Computing Architecture Team, "An architectural blueprint for autonomic computing, " IBM, Hawthorne, NY, Tech. Rep., June 2006.
4. J. Kephart and D. Chess, "The vision of autonomic computing, " Computer, vol. 36, no. 1, pp. 41-52, January 2003.
5. J. O. Kephart, "Research challenges of autonomic computing, " in ICSE '05: Proceedings of the 27th international conference on Software engineering, 2005, pp. 15-22.
6. H. A. Muller, L. O'Brien, M. Klein, and B. Wood, "Autonomic computing, " Carnegie Mellon Univeristy and Software Engineering Institute, Tech. Rep., April 2006.
7. T. M. King, D. Babich, J. Alava, R. Stevens, and P. J. Clarke, "Towards self-testing in autonomic computing systems, " in ISADS '07: Proceedings of the Eighth International Symposium on Autonomous Decentralized Systems. Washington, DC, USA: IEEE Computer Society, 2007, pp. 51-58.
8. J. Zhang, B. H. C. Cheng, Z. Yang, and P. K. McKinley, "Enabling safe dynamic component-based software adaptation. " in WADS, 2004, pp. 194-211.
9. B. Beizer, Software Testing Techniques, 2nd ed. New York: Van Nostrand Reinhold, 1990.
10. H. Zhu, P. A. V. Hall, and J. H. R. May, "Software unit testing coverage and adequacy, " ACM Computing Surveys, vol. 29, no. 4, pp. 366-427, December 1997.
11. D. Mosley and B. Posey, Just Enough Software Test Automation. Upper Saddle River, NJ, USA: Prentice Hall PTR, 2002.
12. Mosaic, Inc., "Staffing your test automation team, " Mosaic, Inc., Chicago, IL, Tech. Rep., April 2002.
13. I. Sommerville, Software Engineering: Seventh Edition. Essex, England: Addison-Wesley, 2004.
14. T. L. Graves, M. J. Harrold, J.-M. Kim, A. Porter, and G. Rothermel, "An empirical study of regression test selection techniques, " ACM Trans. Softw. Eng. Methodol., vol. 10, no. 2, pp. 184-208, 2001.
15. J. Zhang and B. H. C. Cheng, "Model-based development of dynamically adaptive software, " in ICSE '06: Proceeding of the 28th international conference on Software engineering. New York, NY, USA: ACM Press, 2006, pp. 371-380.
16. E. Bernard, B. Legeard, X. Luck, and F. Peureux, "Generation of test sequences from formal specifications: Gsm 11-11 standard case study, " Softw. Pract. Exper., vol. 34, no. 10, pp. 915-948, 2004.
17. N. Dulac, T. Viguier, N. G. Leveson, and M.-A. D. Storey, "On the use of visualization in formal requirements specification, " in RE '02: Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering. Washington, DC, USA: IEEE Computer Society, 2002, pp. 71-80.
18. K. Feeney, K. Quinn, D. Lewis, D. O'Sullivan, and V. Wade, "Relationship-driven policy engineering for autonomic organisations, " in POLICY '05: Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05). Washington, DC, USA: IEEE Computer Society, 2005, pp. 89-98.
19. Y. Chen, R. L. Probert, and D. P. Sims, "Specificationbased regression test selection with risk analysis, " in CASCON '02: Proceedings of the 2002 conference of the Centre for Advanced Studies on Collaborative research. IBM Press, 2002, p. 1.
20. R. Stevens, B. Parsons, and T. M. King, "A self-testing autonomic container, " in ACM-SE 45: Proceedings of the 45th annual southeast regional conference. New York, NY, USA: ACM Press, 2007, pp. 1-6.
21. E. Gamma and K. Beck, "JUnit 4.3.1-Testing Resources for Extreme Programming, " 2005, http://www.junit.org/index.htm (June 2007).
22. M. Doliner, G. Lukasik, and J. Thomerson, "Cobertura, " 2002, http://cobertura.sourceforge.net/ (June 2007).
23. Sun Microsystems, Inc., "Core Java J2SE 5.0, " February 2005, http://java.sun.com/j2se/1.5.0/index.jsp (Aug. 2006).
24. M. Blum, M. Luby, and R. Rubinfeld, "Selftesting/ correcting with applications to numerical problems, " Journal of Computer and System Sciences, vol. 45, no. 6, p. 549595, 1993.
25. G. Denaro, L. Mariani, and M. Pezzé, "Self-test components for highly reconfigurable systems, " Electronic Notes in Theoretical Computer Science, vol. 82, no. 6, 2003.
26. R. Kumar and D. Sivakumar, "On self-testing without the generator bottleneck, " in Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science. London, UK: Springer-Verlag, 1995, pp. 248-262.
27. Y. L. Traon, D. Deveaux, and J.-M. Jézéquel, "Selftestable components: From pragmatic tests to design-fortestability methodology, " in Technology of Object-Oriented Languages and Systems (TOOLS 99). IEEE Computer Society, 1999, pp. 96-107.
28. H. Wasserman and M. Blum, "Software reliability via runtime result-checking, " J. ACM, vol. 44, no. 6, pp. 826-849, 1997.
29. G. Denaro, L. Mariani, M. Pezzé, and D. Tosi, "Adaptive runtime verification for autonomic communication infrastructures, " in First International IEEE WoWMoM Workshop on Autonomic Communications and Computing (ACC'05), 2005, pp. 553-557.