Browse wiki
From ISLAB/CAISR
| Comparative study of an automated testing coverage for a TCP/IP stack implementation |
| Keywords | model-based testing, coverage, TCP/IP + |
|---|---|
| Level | Flexible + |
| OneLineSummary | The topic of the project is the comparative study of the coverage of the tests generated by the QuickCheck tool against real coverage requirements + |
| References | Wojciech Mostowski, Thomas Arts, and John … Wojciech Mostowski, Thomas Arts, and John Hughes. Modelling of Autosar Libraries for Large Scale Testing. Proceedings, 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppsala, Sweden, April 2017, Volume 244 of EPTCS. http://ceres.hh.se/mediawiki/images/b/bb/Mostowski_mars2017.pdf Thomas Arts and John Hughes (2016): How Well are Your Requirements Tested? In: 2016 IEEE International Conference on Software Testing, Verification and Validation, pp. 244–254, doi:10.1109/ICST.2016.23.on, pp. 244–254, doi:10.1109/ICST.2016.23. |
| StudentProjectStatus | Open + |
| Supervisors | Wojciech Mostowski + |
| TimeFrame | Dec 2020 - May 2021 + |
| Title | Comparative study of an automated testing coverage for a TCP/IP stack implementation + |
| Categories | StudentProject + |
| Modification dateThis property is a special property in this wiki. | 23 September 2020 13:34:05 + |
| hide properties that link here |
| No properties link to this page. |
