Automatic detection of software defects: an Industrial Experience
| Autor: | Ernesto Sanchez, Giovanni Squillero, Alberto Tonda, D. Ravotto, Stefano Gandini, Walter Ruzzarin |
|---|---|
| Přispěvatelé: | dauin, Dipartimento di Automatica e Informatica [Torino] (DAUIN), Politecnico di Torino [Torino] (Polito)-Politecnico di Torino [Torino] (Polito), DAUIN Dipartimento di Automatica e Informatica, Politecnico di Torino [Torino] (Polito), Génie et Microbiologie des Procédés Alimentaires (GMPA), Institut National de la Recherche Agronomique (INRA)-AgroParisTech, Politecnico di Torino = Polytechnic of Turin (Polito)-Politecnico di Torino = Polytechnic of Turin (Polito), Politecnico di Torino = Polytechnic of Turin (Polito), AgroParisTech-Institut National de la Recherche Agronomique (INRA) |
| Jazyk: | angličtina |
| Rok vydání: | 2009 |
| Předmět: |
Point (typography)
business.industry Event (computing) Computer science 02 engineering and technology Plan (drawing) [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE] 020202 computer hardware & architecture [SPI.TRON]Engineering Sciences [physics]/Electronics Software Software bug Mobile phone software defects Embedded system Component (UML) 0202 electrical engineering electronic engineering information engineering Automatic detection 020201 artificial intelligence & image processing business ComputingMilieux_MISCELLANEOUS |
| Zdroj: | the 11th Annual conference the 11th Annual conference, Jul 2009, Montreal, France. pp.1921, ⟨10.1145/1569901.1570238⟩ GECCO |
| DOI: | 10.1145/1569901.1570238⟩ |
| Popis: | International audience; Mobile phones are becoming more and more complex devices, both from the hardware and from the software point of view. Consequently, their various parts are often developed separately. Each sub-system or application may be worked out by a specialized team of engineers and programmers. Frequently, bugs in one component are triggered by the complex interaction between the different applications. Those errors sometimes lead to power dissipation and other misbehaviors that lower residual battery life, a catastrophic event from the user perspective. In this paper we propose a model-based automatic approach to uncover software bugs, which is intended to complement human expertise and complete a qualifying verification plan. The system has been applied on the prototype of a Motorola mobile phone during a partnership with Politecnico di Torino. We demonstrate that our approach is effective by detecting three distinct software misbehaviours that escape all traditional tests. The paper details the methodology, tests and results. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|