A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Testing the untestable
2016
Proceedings of the 38th International Conference on Software Engineering Companion - ICSE '16
Increasingly, we are faced with systems that are untestable, meaning that traditional testing methods are expensive, timeconsuming or infeasible to apply due to factors such as the systems' continuous interactions with the environment and the deep intertwining of software with hardware. In this paper we outline our vision to enable testing of untestable systems. Our key idea is to frame testing on models rather than operational systems. We refer to such testing as model testing. Our goal is to
doi:10.1145/2889160.2889212
dblp:conf/icse/BriandNSB25
fatcat:xsm4tdoxonhevhmmcdaysax6cu