Software validation using power profiles

Summary form only given. While historically software validation focused on the functional requirements, recent approaches also encompass the validation of quality requirements; for example, system reliability, performance or usability. Application development for mobile platforms opens an additional area of quality - power consumption. In PDAs or mobile phones, power consumption varies depending on the hardware resources used, making it possible to specify and validate correct or incorrect executions. Tools to find the power inconsistencies and to validate software from the energy point of view are needed. We obtained the power consumption and global event traces of mobile phone applications and matched them against the power consumption model providing the first evidence that software can be validated for the energy consumption.