Key points are not available for this paper at this time.
Modifizierte Bedingungen/Entscheidungsabdeckung ist ein strukturelles Abdeckungsmaß, das erfordert, dass jede Bedingung innerhalb einer Entscheidung durch Ausführung nachgewiesen wird, um unabhängig und korrekt das Ergebnis der Entscheidung zu beeinflussen. Dieses Kriterium wurde entwickelt, um den Bedarf an umfangreichen Tests komplexer boolescher Ausdrücke in sicherheitskritischen Anwendungen zu decken. Der Artikel beschreibt das Kriterium der modifizierten Bedingungen/Entscheidungsabdeckung, seine Eigenschaften und Bereiche für weitere Arbeiten.
Chilenski et al. (Sat,) untersuchten diese Frage.