Smart City Gnosys
Smart city article details
| Title | Matter: A Tool For Generating End-To-End Iot Test Scripts |
|---|---|
| ID_Doc | 36498 |
| Authors | Olianas D.; Leotta M.; Ricca F. |
| Year | 2022 |
| Published | Software Quality Journal, 30, 2 |
| DOI | http://dx.doi.org/10.1007/s11219-021-09565-y |
| Abstract | In the last few years, Internet of Things (IoT) systems have drastically increased their relevance in many fundamental sectors. For this reason, assuring their quality is of paramount importance, especially in safety-critical contexts. Unfortunately, few quality assurance proposals for assuring the quality of these complex systems are present in the literature. In this paper, we extended and improved our previous approach for semi-automated model-based generation of executable test scripts. Our proposal is oriented to system-level acceptance testing of IoT systems. We have implemented a prototype tool taking in input a UML model of the system under test and some additional artefacts, and producing in output a test suite that checks if the system’s behaviour is compliant with such a model. We empirically evaluated our tool employing two IoT systems: a mobile health IoT system for diabetic patients and a smart park management system part of a smart city project. Both systems involve sensors or actuators, smartphones, and a remote cloud server. Results show that the test suites generated with our tool have been able to kill 91% of the overall 260 generated mutants (i.e. artificial bugged versions of the two considered systems). Moreover, the optimisation introduced in this novel version of our prototype, based on a minimisation post-processing step, allowed to reduce the time required for executing the entire test suites (about -20/25%) with no adverse effect on the bug-detection capability. © 2021, The Author(s). |
| Author Keywords | Empirical study; IoT testing; Model-based test Generation |
Similar Articles
| Id | Similarity | Authors | Title | Published |
|---|---|---|---|---|
18501  | 0.861 | Bhadula S.; Adnan M.M.; Kumar R.; Kaliyaperumal G.; Rao B.D.; Boob N.S. | Design And Evaluation Of Iot Prototypes: Leveraging Test-Beds For Performance Assessment And Innovation | 2024 IEEE 4th International Conference on ICT in Business Industry and Government, ICTBIG 2024 (2024) |
| 14363 | 0.856 | Yoo J.; Hwang J.; Lee J.; Yoo S.; Song J. | Clocis: Cloud-Based Conformance Testing Framework For Iot Devices In The Future Internet | Electronics (Switzerland), 12, 24 (2023) |
| 30848 | 0.854 | Krichen M. | Improving Formal Verification And Testing Techniques For Internet Of Things And Smart Cities | Mobile Networks and Applications, 28, 2 (2023) |
| 2287 | 0.852 | Li J.; Moeini B.; Nejati S.; Sabetzadeh M.; McCallen M. | A Lean Simulation Framework For Stress Testing Iot Cloud Systems | IEEE Transactions on Software Engineering, 50, 7 (2024) |