Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Diego R. Almeida"'
Publikováno v:
Journal of the Brazilian Computer Society, Vol 25, Iss 1, Pp 1-22 (2019)
Abstract Context Mobile devices, such as smartphones, have increased their capacity of information processing and sensors have been aggregated to their hardware. Such sensors allow capturing information from the environment in which they are introduc
Externí odkaz:
https://doaj.org/article/033f7e4153804094bf17ea8a62ec8082
Publikováno v:
SBES
Context-aware applications (CAAs) are those that use information from the environment based on sensors such as gyroscope, GPS, and accelerometer. Compared to desktop and web applications, there are additional challenges to test CAAs. It is necessary
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::daa2b34e2a8115d9c7c7c202287754b7
https://doi.org/10.1145/3422392.3422405
https://doi.org/10.1145/3422392.3422405
Publikováno v:
SBES
Context-aware applications (CAAs) sense and react to changes from the environment when performing their tasks. Testing such applications is challenging. Firstly, due to the number of combinations of possible events and values they can handle. Secondl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9f7274fcf6ff3a66e0348314fd68778b
https://doi.org/10.1145/3422392.3422511
https://doi.org/10.1145/3422392.3422511
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319150741
SBMF
SBMF
In model-based testing, test cases are generated from a specification model. To avoid an exhaustive search for all possible test cases that can be obtained, usually an expensive and infeasible activity, test case generation may be guided by a test se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ce2de08d40598f192344c566a2fa5ddd
https://doi.org/10.1007/978-3-319-15075-8_4
https://doi.org/10.1007/978-3-319-15075-8_4
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642104510
SBMF
SBMF
This paper discusses issues raised in the construction of test models and automatic generation of test cases for embedded real-time systems with interruptions that can run on the FreeRTOS operating system. The focus is on the use of symbolic transiti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e3156898601ed57d1bbde4344719638d
https://doi.org/10.1007/978-3-642-10452-7_5
https://doi.org/10.1007/978-3-642-10452-7_5