image thumbnail

updated 3 years ago

cmtdtool by Yasumitsu Ito

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

addExpectedOutputToSignalBuilder(blk,sigName)

cmtdtool.m

createComparingResults(sys,phSim,phExp)

image thumbnail

updated 3 years ago

sldvmisscovtool by Yasumitsu Ito

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

[tvec,dvec,siglabels,grplabels]=createSignalBuilderData(s...

_exportTemplate.m

_importTemplate.m

Contact us