soundinessとは 意味・読み方・使い方

名詞

soundiness (uncountable)

1. (software 工学) A state of being mostly sound; the condition of being rigorously sound in all but some well-defined areas; a best approximation of soundness in an environment where absolute soundness or proof of soundness is not feasible.
   • 2015 February, Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondřej Lhotȧk, J. Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, & Dimitrios Vardoulakis, “In defense of soundiness: a manifesto”, in Communications of the ACM, volume 58, number 2:

     Soundiness is in fact what is meant in many papers that claim to describe a sound analysis.

   • 2016 February, Ahmet Salih Buyukkayhan, Kaan Onarlioglu, William K Robertson, & Engin Kirda, “CrossFire: An Analysis of Firefox Extension-Reuse Vulnerabilities”, in Proceedings of the ISOC Network and Distributed System Security Symposium (NDSS):

     While this lack of soundness and precision can be viewed as a deficiency, we argue that instead – in the spirit of “soundiness” [23] – it is a strength.

   • 2016, Swarat Chaudhuri & ‎Azadeh Farzan, Computer Aided Verification: 28th International Conference, CAV 2016, ISBN 331941528X:

     JayHorn is implemented in the spirit of soundiness [14].

2. The quality that allows something to be sensed as sound.
   • 1968, D.M. Armstrong, “The secondary qualities: An essay in the classification of theories”, in Australasian journal of philosophy, volume 46, number 3:

     But it will assert that the sensible quality of sounding--the soundiness of sound--cannot be reduced to the properties of sound-waves that physicists take professional notice of.

   • 2001, Michael J. Loux -, Metaphysics: Contemporary Readings, ISBN 0415261090, page 87:

     Thus, the "soundiness" of sound is to be identified with a suitable wave structure of a suitable medium.