Zobrazeno 1 - 10
of 278
pro vyhledávání: '"A. M. Hierons"'
Autor:
Neil Walkinshaw, Robert M. Hierons
Publikováno v:
IEEE Transactions on Software Engineering. 49:3261-3276
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5e1eb64fd279cb247ce6e84846e1016
https://doi.org/10.1109/tse.2023.3250835
https://doi.org/10.1109/tse.2023.3250835
Publikováno v:
ACM Transactions on Computational Logic. 24:1-40
The existing testing theories for CSP cater for verification of interaction patterns (traces) and deadlocks, but not time. We address here refinement and testing based on a dialect of CSP, called tock -CSP, which can capture discrete time properties.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3e0e9b5c169b8225dd9ca4357577e49
https://doi.org/10.1145/3572837
https://doi.org/10.1145/3572837
Publikováno v:
2023 IEEE Conference on Software Testing, Verification and Validation (ICST).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::402dafc6b74c5b75c12e96723897c6a0
https://doi.org/10.1109/icst57152.2023.00023
https://doi.org/10.1109/icst57152.2023.00023
Publikováno v:
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cc4f7af5ccf4e2a1e65cd6590feb02be
https://doi.org/10.1145/3550356.3561589
https://doi.org/10.1145/3550356.3561589
Publikováno v:
Robotics and Autonomous Systems. 165:104426
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a54dd28174ed6565323aee2eec1840c
https://doi.org/10.1016/j.robot.2023.104426
https://doi.org/10.1016/j.robot.2023.104426
Publikováno v:
IEEE Transactions on Software Engineering. 47:1029-1040
In black-box testing, test sequences may be constructed from systems modelled as deterministic finite-state machines (DFSMs) or, more generally, observable non-deterministic finite state machines (ONFSMs). Test sequences usually contain state identif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::53b0274a90dbbe052c70b064c38dbfbe
https://doi.org/10.1109/tse.2019.2911076
https://doi.org/10.1109/tse.2019.2911076
Publikováno v:
IEEE Transactions on Reliability. 70:261-284
The validation of a cloud system can be complicated by the size of the system, the number of users that can concurrently request services, and the virtualization used to give the illusion of using dedicated machines. Unfortunately, it is not feasible
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::27008a02504cf9e8c7b5fd48e7cfa9a7
https://doi.org/10.1109/tr.2020.3011512
https://doi.org/10.1109/tr.2020.3011512
Publikováno v:
Information and Software Technology. 156:107145
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::688f9dc165360ff68817d6d9375bd63d
https://doi.org/10.1016/j.infsof.2022.107145
https://doi.org/10.1016/j.infsof.2022.107145
Autor:
Robert M. Hierons, Tao Xie
Publikováno v:
Software Testing, Verification and Reliability. 32
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9ed6b202703bc1365947f35f75b031a1
https://doi.org/10.1002/stvr.1814
https://doi.org/10.1002/stvr.1814
Context:\ud \ud In software testing, Failed Error Propagation (FEP) is the situation in which a faulty program state occurs during the execution of the system under test (SUT) but this does not lead to incorrect output. It is known that FEP can adver
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::59a97a0a1fb0aa96823db8ff604e4628
https://eprints.whiterose.ac.uk/179499/1/Subprogram_Squeeziness.pdf
https://eprints.whiterose.ac.uk/179499/1/Subprogram_Squeeziness.pdf
