Abstract
Today, energy consumption is one of the major challenges for optimisation of future software applications and ICT infrastructures. To develop software w.r.t. its energy consumption, testing is an essential activity, since testing allows quality assurance and thus, energy consumption reduction during the software’s development. Although first approaches measuring and predicting software’s energy consumption for its execution on a specific hardware platform exist, no model-based testing approach has been developed, yet. In this paper we present our vision of a model-based energy testing approach that uses a combination of abstract interpretation and run-time profiling to predict the energy consumption of software applications and to derive energy consumption test cases.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Gartner, Inc.: Gartner Estimates ICT Industry Accounts for 2 Percent of Global CO2 Emissions. Gartner Press Release (April 2007)
The Climate Group: SMART 2020: Enabling the low carbon economy in the information age. Report on behalf of the Global eSustainability Initiative (GeSI) (2008)
Intel Corporation, Microsoft Corporation: Advanced Power Management (APM) BIOS Interface Specification. Revision 1.2 (February 1996)
Hewlett-Packard, Intel, Microsoft, Phoenix Technologies, Toshiba: Advanced Configuration and Power Interface Specification, Revision 4.0a (2010)
Lachenmann, A., Marrón, P., Minder, D., Rothermel, K.: Meeting lifetime goals with energy levels. In: Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, pp. 131–144. ACM, New York (2007)
Chan, W.K., Chen, T.Y., Cheung, S.C., Tse, T.H., Zhang, Z.: Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol. 4498, pp. 84–99. Springer, Heidelberg (2007)
Woehrle, M., Beutel, J., Lim, R., Yuecel, M., Thiele, L.: Power monitoring and testing in wireless sensor network development. In: Workshop on Energy in Wireless Sensor Networks (WEWSN), Citeseer (2008)
Lafond, S., Lilius, J.: An Energy Consumption Model for an Embedded Java Virtual Machine. In: Grass, W., Sick, B., Waldschmidt, K. (eds.) ARCS 2006. LNCS, vol. 3894, pp. 311–325. Springer, Heidelberg (2006)
Seo, C., Malek, S., Medvidovic, N.: An Energy Consumption Framework for Distributed Java-Based Systems. In: Proceedings of the 22nd IEEE/ACM Intl. Conference on Automated Software Engineering, Atlanta, Georgia, USA. ACM, New York (2007)
Seo, C., Edwards, G., Malek, S., Medvidovic, N.: A Framework for Estimating the Impact of a Distributed Software System’s Architectural Style on its Energy Consumption. In: WICSA 2008: Proceedings of the Seventh Working IEEE/IFIP Conference on Software Architecture, pp. 277–280. IEEE Computer Society, Los Alamitos (2008)
Navas, J., Méndez-Lojo, M., Hermenegildo, M.: Safe Upper-bounds Inference of Energy Consumption for Java Bytecode Applications. In: Proceedings of The Sixth NASA Langley Formal Methods Workshop, pp. 29–32 (2008)
Utting, M., Pretschner, A., Legeard, B.: A Taxonomy of Model-Based Testing. Technical Report 04/2006, University of Waikato, Department of Computer Science, Hamilton, NZ (April 2006)
Roßner, T., Brandes, C., Götz, H., Winter, M.: Basiswissen Modellbasierter Test. dpunkt Verlag, Heidelberg (2010)
Süttner, P.: Abstract Behavior Description of CCM Software Components (Abstrakte Verhaltensbeschreibung von CCM Softwarekomponenten). Diploma Thesis, Technische Universität Dresden (March 2011)
Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 238–252. ACM, New York (1977)
Martin, F.: Generating Program Analyzers. PhD thesis, Universität des Saarlandes (1999)
Götz, S., Wilke, C., Schmidt, M., Cech, S., Aßmann, U.: Towards Energy Auto Tuning. In: Proceedings of First Annual International Conference on Green Information Technology, GREEN IT (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wilke, C., Götz, S., Reimann, J., Aßmann, U. (2011). Vision Paper: Towards Model-Based Energy Testing. In: Whittle, J., Clark, T., Kühne, T. (eds) Model Driven Engineering Languages and Systems. MODELS 2011. Lecture Notes in Computer Science, vol 6981. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24485-8_35
Download citation
DOI: https://doi.org/10.1007/978-3-642-24485-8_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24484-1
Online ISBN: 978-3-642-24485-8
eBook Packages: Computer ScienceComputer Science (R0)