SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools



Definition: Eine elementare Bedingung (EC) ist eine logische Aussage über die Existenz eines einzelnen Programmelements.

Die gewählte Bedingungssprache C definiert die Menge aller elementaren Bedingungen EC und deren logische Verknüpfung durch Konjunktion und Negation:

< C > pfeil < EC >|< C > ^ < C >|< C > v < C >| not(< C >)

< EC > pfeil exists(e) | true | false

research/jtransformer/bedingungssprache.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019