MC/DC coverage use case generation method based on symbolic execution and path number reduction

The invention discloses an MC/DC coverage use case generation method based on symbolic execution and path number reduction. The method comprises the following steps: firstly, analyzing a source code of a to-be-tested program, and collecting each judgment expression needing to be covered and each con...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	GUO ZHONGHAO, CHEN XIANGXIAN, YU JINLING, WU JIANLIN, YANG YUTAN, CHEN SINONG, JI SIWEI
Format:	Patent
Sprache:	chi ; eng
Schlagworte:	CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!