Abstract | ||
---|---|---|
The software development process for embedded systems is getting faster and faster, which generally incurs an increase in the associated complexity. As a consequence, consumer electronics companies usually invest a lot of resources in fast and automatic verification processes, in order to create robust systems and reduce product recall rates. Because of that, the present paper proposes a simplified version of the Qt framework, which is integrated into the Efficient SMT-Based Bounded Model Checking tool to verify actual applications that use the mentioned framework. The method proposed in this paper presents a success rate of 94.45%, for the developed test suite. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/GCCE.2015.7398699 | 2015 IEEE 4TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE) |
Keywords | Field | DocType |
Qt framework, Bounded Model Checking | Test suite,Model checking,Computer science,Real-time computing,Electronics,Software development process,Computer engineering,Bounded function | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Felipe R. M. Sousa | 1 | 0 | 0.34 |
Lucas Cordeiro | 2 | 360 | 38.38 |
E. B. de Lima Filho | 3 | 45 | 12.51 |