cmtdtool by Yasumitsu Ito

cmtdtool can reduce and automate manual operations required to perform model-based testing. (gui, simulink, utility)

cmtdtool.m

makeEMLTruthTableName(ConditionTable,ActionTable,InputVar,O...

makeharness_compareresults(mdl,data,opts)

sldvmisscovtool by Yasumitsu Ito

A GUI tool to obtain test cases for missing coverage objectives (gui, verification, utility)

_exportTemplate.m

_importTemplate.m

exportCSVfile.m