Abstract
The complexity of cell phones is continually increasing, with regards to both hardware and software parts. As many complex devices, their components are usually designed and verified separately by specialized teams of engineers and programmers. However, even if each isolated part is working flawlessly, it often happens that bugs in one software application arise due to the interaction with other modules. Those software misbehaviors become particularly critical when they affect the residual battery life, causing power dissipation. An automatic approach to detect power-affecting software defects is proposed. The approach is intended to be part of a qualifying verification plan and complete human expertise. Motorola, always at the forefront of researching innovations in the product development chain, experimented the approach on a mobile phone prototype during a partnership with Politecnico di Torino. Software errors unrevealed by all human-designed tests have been detected by the proposed framework, two out of three critical from the power consumption point of view, thus enabling Motorola to further improve its verification plans. Details of the tests and experimental results are reported.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Sanchez, E., Squillero, G., Tonda, A. (2012). Automatic Software Verification. In: Industrial Applications of Evolutionary Algorithms. Intelligent Systems Reference Library, vol 34. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27467-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-27467-1_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27466-4
Online ISBN: 978-3-642-27467-1
eBook Packages: EngineeringEngineering (R0)