Baselibs DerivationTechnique does not match naming convention of PMP verification plan

[pahmann]

The Software Verification Plan mentions the derivation methods and their identifier. The mentions of "DerivationTechnique" is basically representing these terms, but is using a different language.

Some examples, how things are currently used:

RecordProperty("DerivationTechnique", "Analysis of requirements");
RecordProperty("DerivationTechnique", "Generation and analysis of equivalence classes");
RecordProperty("DerivationTechnique", "Analysis of equivalence classes and boundary values");

This should be changed according to process:

RecordProperty("DerivationTechnique", "requirements-analysis");
RecordProperty("DerivationTechnique", "equivalence-classes");
RecordProperty("DerivationTechnique", "boundary-values");

Full details see: https://github.com/search?q=repo%3Aeclipse-score%2Fbaselibs+RecordProperty%28%22DerivationTechnique%22&type=code