We Need a Testability Transformation Semantics

摘要

This paper (This paper is a brief outline of some of the content of the keynote by the author at the 16~(th) International Conference on Software Engineering and Formal Methods (SEFM 2018) in Toulouse, France; 27th-29th June 2018.) briefly reviews Testability Transformation, its formal definition, and the open problem of constructing a set of formal test adequacy semantics to underpin the current practice of deploying transformations to help testing and verification activities.