Download All

Code covered by the BSD License  

Highlights from
sldvmisscovtool

image thumbnail
from sldvmisscovtool by Yasumitsu Ito
A GUI tool to obtain test cases for missing coverage objectives

sldvmisscovtool_doc_details.m 
%% sldvmisscovtool@\ڍ
%
%% (1) GUȊS̋@\\
% 
% {c[́A6‚̃yC\Ă܂B
%
% * *f[^Ǘ*
% f[^t@CȂǂŗ^f[^MATLAB WorkSpaceɓǂݍ݁ASimulink̓͂Ƃė^`ɕϊ@\񋟂yCłBǂݍ܂ꂽf[^͔Cӂ̌`ɏo͂邱Ƃ”\łB
% 
% * *Ώۃf*
%     uf[^ǗvyCɂēǂݍ܂ꂽf[^͂Ƃė^ΏۃfI܂B܂Af̓̓|[g̏ǂݍ܂܂B
% 
% * *JobW*
%     uΏۃfvőIꂽfɑ΂Auf[^Ǘvœǂݍ܂ꂽf[^^AfJobW𑪒肵܂B
% 
% * *SLDV*
%     uJobWvyCő肵fJobWŁA100%JobWBȂꍇASimulink Design Verifier̋@\pāAB̃JobWɓBeXgxN^̃yCʼn͂邱Ƃł܂B
% 
% * *ʂ̃}[W*
%     uf[^Ǘvŗ^ꂽf[^ƁAuSLDVvyCŗ^ꂽeXgxN^}[W@\񋟂܂B
% 
% * **
%     ̃qg̃yCŕ\܂B
% 
% <<SLDVMISSCOVTOOL_01.PNG>>

%% (2) f[^ǗyC
%
%% (2-1) C|[g
% 
% Cӂ̃f[^`MATLAB WorkSpaceɁASimulink̓͂Ƃė^邱Ƃł`ɃC|[g܂BC|[gꂽf[^MATLAB[NXy[X̕ϐ simdata ƂĒ`܂BC|[g”\ȃt@C̏́A[UCӂɍ쐬邱Ƃł܂B쐬@́uvOC̏ڍׁvQƂĂB{c[ɂ̓TvƂāA̓͌`炩ߗpӂĂ܂B
% 
% *CSV-t@C(ԋ)*
% 
% ׂĂ̐Mɋʂ̎ԗɎA̎Ԏɑ΂āAM̒l^CSVt@Cf[^ǂݍ݂܂B
% 
% F
% 
%         Test Case 01
%         time, SigA, SigB
%         0.00,    0,    0
%         0.10,   10,    0
%         0.15,    5,    0
%         0.25,    5,    1
%         0.30,    7,    0
%         0.40,    7,    0
% 
% :
% 
% * 1sڂɂ́AeXgP[XLq܂B̃eXgP[X́AueXgP[XvXg{bNXɕ\閼OɂȂ܂B
% * 2sڂɂ́AMLq܂B1͎ԂɑΉA2̓C|[gubN1ԃ|[gɁA3̓C|[gubN̑2|[gɑΉ܂Bf̃C|[gubNƓɂKv͂܂񂪁AGNX|[g֐Lqۂɂ́A̐M𗘗p邱Ƃł܂(: Signal BuilderubNփGNX|[gۂɂ́ASignal BuilderubN̐MƂė^܂)B
% * 3sڈȍ~ɂ́AMlLq܂B
% * *񎖍*F ̌`CSVt@CLqꍇɂ́A̐񂪂܂B
%     nsڂɗ^ꂽԃf[^|t(n)| ƂƂA|t(n+1) - t(n) > 0| ɐ邱ƁB
%
% *CSV-t@C(Ԋeg)*
% 
% eMlɑ΂āA•ʂ̎Ԏf[^CSVt@Cf[^ǂݍ݂܂B
% 
% F
% 
%         Test Case 02
%         time, SigA, time, SigB
%            0,    0,    0,    0
%          0.1,   10, 0.25,    1
%         0.15,    5,  0.3,    0
%          0.3,    7,  0.4,    0
%          0.4,    7,
% 
% :
% 
% * 1sڂɂ́AeXgP[XLq܂B̃eXgP[X́AueXgP[XvXg{bNXɕ\閼OɂȂ܂B
% * 2sڂɂ́AMLq܂B1͎ԂɑΉA2̓C|[gubN1ԃ|[gɑΉMA3͎ԁA4̓C|[gubN̑2|[gɑΉ܂B‚܂A2n-1 (n=1,2,...) ͎ԂɑΉA 2ńAnԖڂ̃C|[gubNɑΉ܂Bf̃C|[gubNƓɂKv͂܂񂪁AGNX|[g֐Lqۂɂ́AM𗘗p邱Ƃł܂B
% * 3sڈȍ~ɂ́AԂƐMl̑gLq܂Bꂼ̐MɓƗ̎ԏ^邱Ƃł܂B
% * *񎖍*F ̌`CSVt@CLqꍇɂ́A3_̐񂪂܂B
% nsڂɗ^ꂽԃf[^
% |t(n)| 
% ƂƂA
% |t(n+1) - t(n) > 0| 
% ɐ邱ƁB 
% ׂĂ̐M̍ŏI̎(Lł0.4b)ʂɂĂB 
% ׂĂ̐ḾAŏIMlOlƓ̒l‚悤Ɏw肵Ă(L̗ł́A SigA͐Ml0.70.3bA0.4bœBSigB͐Ml00.3bA0.4bœ)B
% 
% *MAT-t@C*
% 
% w肵MATt@C̓f[^ǂݍ݂܂BMAT-t@Cɂ́Aϐsimdata܂܂ĂȂ΂Ȃ܂Bsimdata͎ԕt\̃tH[}bgłȂ΂Ȃ܂BŁAԕt\̂ɊւڍׂȃhLǵAQƉB
%
% * <matlab:web(['jar:file:///',docroot,'/ja_JP/toolbox/simulink/help.jar!/ug/f11-46877.html'],'-helpbrowser') wv-Simulink User Guide-V~[V̎s-V~[Vf[^̃C|[gƃGNX|[g-o̓f[^MATLAB[NXy[XɃGNX|[g-tH[}bgIvV-ԕt\>
% 
% * <matlab:web(['jar:file:///',docroot,'/toolbox/simulink/help.jar!/ug/f11-46877.html'],'-helpbrowser') Help-Simulink-Importing and Exporting Data-Exporting Data to the MATLAB Workspace - Format Options - Structure with time>
% 
% *Signal Builder*
% 
% IĂ(gcbR}ȟʂw)ubNSignal BuilderubN̏ꍇASẴO[v̐Mf[^C|[g܂B
% 
% *WorkSpace*
% 
% [NXy[XɎԕt\̃tH[}bgŒ`ꂽϐ simdata ǂݍ݂܂B
% 
% *sldvData*
% 
% Simulink Design Verifierɂĉ͂ꂽʂƂč쐬 sldvData tH[}bg`MATt@Cǂݍ݂܂B
% 
% <<SLDVMISSCOVTOOL_12.PNG>>
%

%% (2-2) GNX|[g
% 
% C|[g@\ɂč쐬ꂽ[NXy[Xϐ simdata Cӂ̌`ɏo͂܂Bo̓t@C̏́A[UCӂɍ쐬邱Ƃł܂B쐬@́uvOC̏ڍׁvQƂĂB{c[ɂ̓TvƂāA̓͌`炩ߗpӂĂ܂B
% 
% <<SLDVMISSCOVTOOL_14.PNG>>
% 
% * *CSV-t@C(ԋ)*
% IĂeXgP[XAׂĂ̐Mɋʂ̎ԗɎA̎Ԏɑ΂āAM̒l^CSVt@CƂďo܂B
%
% * *CSV-t@C(Ԋeg)*
% IĂeXgP[XAeMlɑ΂āA•ʂ̎Ԏf[^CSVt@CƂďo܂B
%
% * *MAT-t@C*
% IĂeXgP[XAMATt@CƂďo܂BMATt@Cɂ simdata ϐۑ܂B
%
% * *Signal Builder*
%  VKf쐬A IĂeXgP[XAVɍ쐬ꂽSignal Builder ubNɏo܂B
% 

%% (2-3) vOC̏ڍ
% 
%     {c[ł́AvOCƂdg݂ɂACӂ̃f[^`ǂݍ񂾂ACӂ̃f[^`ɏo肷邱Ƃ”\łB
% 
% *(2-3-1) vOCƂĔF*
% 
% * sldvmisscovtool.m ƓtH_ɑ݂
%
% * C|[g֐̏ꍇ import n܂֐M-t@CAGNX|[g֐̏ꍇ export n܂M-t@Cł
% 
%             FC|[g֐
% 
%             importCSVfile.m        importMATfile.m        importWorkSpace.m     
%             importCSVfile2.m       importSignalBuilder.m  importsldvDatafile.m
% 
%             FGNX|[g֐
% 
%             exportCSVfile.m        exportMATfile.m       
%             exportCSVfile2.m       exportSignalBuilder.m 
% 
% *(2-3-2) vOC֐tH[}bg : C|[g֐*
% 
% {c[CXg[tH_Ɋ܂܂  _importTemplate.m ɏڍׂLqĂ܂B
% 
% *(2-3-3) vOC֐tH[}bg : GNX|[g֐*
% 
% {c[CXg[tH_Ɋ܂܂  _exportTemplate.m ɏڍׂLqĂ܂B
% 
%% (2-4) Signal Viewer{^
%
% NbNƁASignal Viewer GUI (sldvmisscovtool_signalviewer)ʉʂŕ\܂B̃EBhÉA̓eXgP[XiWorkSpacesimdataϐjŽ@\񋟂܂B
% 
%% (2-5) Signal Viewer GUI (sldvmisscovtool_signalviewer)
% 
% <<sldvmisscovtool_23.png>>
% 
% *Xg{bNXу{^*
% 
% * *simdata Xg{bNX*
% ̕`c[ɓǂݍ܂ꂽWorkSpaceϐɊ܂܂eXgP[X\܂B}̏ꍇ4‚̃eXgP[Xǂݍ܂Ă܂B
% 
% * *signals Xg{bNX*
% simdataXg{bNXőIꂽeeXgP[XɊ܂܂Mׂĕ\Ă܂Bx-y̕\ĹAxԖڂ̃eXgP[XɊ܂܂yԖڂ̐MłA
% _simdata(x).signals(y)_
% ɑΉ܂BP‚܂͕̍sIƁAIꂽMAxesɕ`悵܂Bc[j[uݒv-uʁXɕ`vLȏꍇɂ́AقȂAxesɕ`s܂Bݒ肪ȏꍇɂ́A1‚Axesɏd˂ĕ`悵܂B
% 
% * *"Close"{^* 
% ̃EBhE‚܂B
% 
% * *"simdata[h"{^*
% WorkSpacesimdataϐēǂݍ݂܂B
% 
% * *"figure쐬"{^*
% ݕ`悳ĂAxesVfigureɃRs[Aĕ`悵܂BPlot ToolȂǂpĉHECꍇɗp܂B
% 
% *ݒc[j[*
% 
% <<sldvmisscovtool_24.png>>
%
% *}\*
%
% * *L*: Otɖ}\܂BuʁXɕ`vłꍇɂ̂ݗLȃIvVłB
% * **: Otɖ}\܂B
%  
% *ʁXɕ`*
%
% * *L*: 1‚Axes1‚̕`s܂BsignalsXg{bNX10ȏ̐MIĂꍇɂ͎IɖɂȂ܂B
% * **: IꂽM1‚Axesɏd˂ĕ`悵܂B
% 
% **
%
% * *{*: GUI̕\L{ɂ܂B
% * *English* :GUI̕\Lpɂ܂B
% 
%% (3) ΏۃfyC
% 
% ̃yCł́Auf[^ǗvyCɂēǂݍ܂ꂽf[^͂Ƃė^ΏۃfI܂B
% 
% <<SLDVMISSCOVTOOL_04.PNG>>
%
% NbNƁAt@CIʂAΏۂƂ郂ft@CI܂BŁA
%
% <<SLDVMISSCOVTOOL_05.PNG>>
%
% Iꍇɂ́Abdrootŗ^郂fΏۂƂȂ܂BIɂ́AfJAIɃf̃RpCR}hs܂B
% 

modelname([],[],[],'compile')

%% 
% RpCs邱ƂɂAf̍ŏʊKwɑ݂InportubÑf[^^CvAu̓|[gEf[^^CvvXgɕ\܂B͂ꂽf[^^Cv́Auf̓̓f[^^CvɓKpv{^NbNꍇAuJobWvyCɂăJobW肪sOɎgp܂B
% 
% <<SLDVMISSCOVTOOL_16.PNG>>
%
% uf̓̓f[^^CvɓKpvNbNƁAuf[^ǗvyCœǂݍ܂Ax[X[NXy[Xɒ`Ă鎞ԕt\̕ϐ simdata ̃f[^^CvAf̓̓|[g̃f[^^Cvƈv悤ɃLXg܂BȂÃLXg͕KKvł͂ȂAuJobWvyCɂuJobWv{^NbNۂɂAf̓̓|[g̃f[^^CvƈقȂꍇɂ́ALXg{邩̊mFȂ܂B
%
%% (4) JobWyC
% uJobW̌vv{^NbNƁAueXgP[XvXg{bNXőIĂ邷ׂẴf[^Af̓̓|[g̃f[^^CvƈvĂ邩ǂ̊mFȂ܂Bf[^^CvvȂꍇɂ́ALXg{邩ǂ̊mFʂ\܂B
% 
% <<SLDVMISSCOVTOOL_17.PNG>>
% 
% ŁAuvIꍇɂ́A삪~As܂Bu͂vIꍇɂ́AueXgP[XvXg{bNXőIĂ邷ׂẴf[^ɑ΂V~[VsAJobW肪s܂BIeXgP[Xf̓͂Ƃė^ꍇɁAV~[VŃG[ꍇɂ́AueXgP[XvXg{bNX̑IO܂B܂AݐσJobWf[^̓x[X[NXy[XɁucovDatavƂĕۑ܂B
%  uubNFvɃ`FbNăJobW̌vs܂ƁAubNFɂJobW̓B󋵂mFł܂B
% 
% <<SLDVMISSCOVTOOL_18.PNG>>
%
% u|[g̕\v{^NbNꍇɂ́AݐσJobWf[^ covData ɑ΂āAJobW背|[g\܂B

%% (5) SLDVyC
% 
% <<SLDVMISSCOVTOOL_19.PNG>>
%
% uBJobW̉́v{^NbNƁAuJobWvyCő肵fJobW100%JobWBȂꍇASimulink Design Verifier̋@\pāAB̃JobWɓBeXgxN^͂邱Ƃł܂B
% ̃yĆASimulink Design Verifier̃CZXĂȂꍇɂ͕\܂B
% eXgP[X̎@\ɊւIvVݒ肪`FbN{bNXŗpӂĂ܂B
%
%% (6) ʂ̃}[WyC
% 
% <<SLDVMISSCOVTOOL_20.PNG>>
%
% u|[gv{^NbNƁAuJobWvv{^NbNۂɃJobW肪sꂽAueXgP[XvőIĂeXgP[XŖꂽJobWΏۂƁAuBJobW̉́vŋ߂ꂽꂽeXgP[XŒBꂽJobWΏۂɑ΂AZȂꂽJobW|[g𐶐܂B
% 
% <<SLDVMISSCOVTOOL_21.PNG>>
%
% ueXgP[X}[WvNbNƁA 
% ueXgP[XvXg{bNXőIĂeXgP[X + uBJobW̉́vɂĎꂽeXgP[X 
% Signal BuilderɊ܂܂eXgn[lXf쐬܂B
% 
% ̃{^ɂč쐬ꂽSignal BuilderubNAĂсuf[^ǗvyCɂuSignal BuilderubNvC|[gsƂɂAeXgP[XĂѓ͂ƂĈƂł悤ɂȂ܂B
%

Contact us at files@mathworks.com