<?xml version="1.0" encoding="UTF-8" standalone="no"?><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" contentScriptType="application/ecmascript" contentStyleType="text/css" height="550px" preserveAspectRatio="none" style="width:305px;height:550px;background:#F0F0F0;" version="1.1" viewBox="0 0 305 550" width="305px" zoomAndPan="magnify"><defs><filter height="300%" id="f1nukkwkt4skaq" width="300%" x="-1" y="-1"><feGaussianBlur result="blurOut" stdDeviation="2.0"/><feColorMatrix in="blurOut" result="blurOut2" type="matrix" values="0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 .4 0"/><feOffset dx="4.0" dy="4.0" in="blurOut2" result="blurOut3"/><feBlend in="SourceGraphic" in2="blurOut3" mode="normal"/></filter></defs><g><ellipse cx="144" cy="20" fill="#000000" filter="url(#f1nukkwkt4skaq)" rx="10" ry="10" style="stroke: none; stroke-width: 1.0;"/><rect fill="#FFFFFF" filter="url(#f1nukkwkt4skaq)" height="96.2344" style="stroke: #000000; stroke-width: 2.0;" width="268" x="10" y="40.8018"/><path d="M99,41.8018 L99,50.0986 L89,60.0986 L10,60.0986 " fill="none" style="stroke: #000000; stroke-width: 2.0;"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="79" x="13" y="54.7969">Initialization</text><rect fill="#FEFECE" filter="url(#f1nukkwkt4skaq)" height="47.9375" rx="12.5" ry="12.5" style="stroke: #A80036; stroke-width: 1.5;" width="248" x="20" y="77.0986"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="228" x="30" y="98.2373">enforce pretest machine conditions:</text><rect fill="#000000" height="3.5" style="stroke: #000000; stroke-width: 0.0;" width="3.5" x="47" y="107.0361"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="127" x="52" y="112.2061">bluetooth turned off</text><rect fill="#FFFFFF" filter="url(#f1nukkwkt4skaq)" height="392.1094" style="stroke: #000000; stroke-width: 2.0;" width="253.5" x="40.5" y="147.8379"/><path d="M105.5,148.8379 L105.5,157.1348 L95.5,167.1348 L40.5,167.1348 " fill="none" style="stroke: #000000; stroke-width: 2.0;"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="55" x="43.5" y="161.833">test-run</text><rect fill="#FEFECE" filter="url(#f1nukkwkt4skaq)" height="47.9375" rx="12.5" ry="12.5" style="stroke: #A80036; stroke-width: 1.5;" width="86" x="101" y="184.1348"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="61" x="115" y="205.2734">set state:</text><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="62" x="115" y="219.2422">-power on</text><rect fill="#FEFECE" filter="url(#f1nukkwkt4skaq)" height="33.9688" rx="12.5" ry="12.5" style="stroke: #A80036; stroke-width: 1.5;" width="126" x="81" y="252.0723"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="102" x="95" y="273.2109">get device state</text><rect fill="#FEFECE" filter="url(#f1nukkwkt4skaq)" height="47.9375" rx="12.5" ry="12.5" style="stroke: #A80036; stroke-width: 1.5;" width="85" x="101.5" y="350.041"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="61" x="115.5" y="371.1797">set state:</text><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="62" x="111.5" y="385.1484">-power off</text><polygon fill="#FEFECE" filter="url(#f1nukkwkt4skaq)" points="110,306.041,178,306.041,190,318.041,178,330.041,110,330.041,98,318.041,110,306.041" style="stroke: #A80036; stroke-width: 1.5;"/><text fill="#000000" font-family="sans-serif" font-size="11" lengthAdjust="spacingAndGlyphs" textLength="65" x="110" y="321.8491">power is on</text><text fill="#000000" font-family="sans-serif" font-size="11" lengthAdjust="spacingAndGlyphs" textLength="59" x="190" y="315.4468">no=failure</text><ellipse cx="271" cy="318.041" fill="#FFFFFF" filter="url(#f1nukkwkt4skaq)" rx="11" ry="11" style="stroke: #000000; stroke-width: 1.0;"/><ellipse cx="271" cy="318.041" fill="#000000" rx="6" ry="6" style="stroke: #7F7F7F; stroke-width: 1.0;"/><rect fill="#FEFECE" filter="url(#f1nukkwkt4skaq)" height="33.9688" rx="12.5" ry="12.5" style="stroke: #A80036; stroke-width: 1.5;" width="126" x="81" y="417.9785"/><text fill="#000000" font-family="sans-serif" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="102" x="95" y="439.1172">get device state</text><polygon fill="#FEFECE" filter="url(#f1nukkwkt4skaq)" points="109.5,471.9473,178.5,471.9473,190.5,483.9473,178.5,495.9473,109.5,495.9473,97.5,483.9473,109.5,471.9473" style="stroke: #A80036; stroke-width: 1.5;"/><text fill="#000000" font-family="sans-serif" font-size="11" lengthAdjust="spacingAndGlyphs" textLength="66" x="109.5" y="487.7554">power is off</text><text fill="#000000" font-family="sans-serif" font-size="11" lengthAdjust="spacingAndGlyphs" textLength="47" x="50.5" y="481.353">success</text><text fill="#000000" font-family="sans-serif" font-size="11" lengthAdjust="spacingAndGlyphs" textLength="59" x="190.5" y="481.353">no=failure</text><ellipse cx="87.5" cy="516.9473" fill="#FFFFFF" filter="url(#f1nukkwkt4skaq)" rx="11" ry="11" style="stroke: #000000; stroke-width: 1.0;"/><ellipse cx="87.5" cy="516.9473" fill="#000000" rx="6" ry="6" style="stroke: #7F7F7F; stroke-width: 1.0;"/><ellipse cx="200.5" cy="516.9473" fill="#FFFFFF" filter="url(#f1nukkwkt4skaq)" rx="11" ry="11" style="stroke: #000000; stroke-width: 1.0;"/><ellipse cx="200.5" cy="516.9473" fill="#000000" rx="6" ry="6" style="stroke: #7F7F7F; stroke-width: 1.0;"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="144" x2="144" y1="30" y2="77.0986"/><polygon fill="#A80036" points="140,67.0986,144,77.0986,148,67.0986,144,71.0986" style="stroke: #A80036; stroke-width: 1.0;"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="144" x2="144" y1="232.0723" y2="252.0723"/><polygon fill="#A80036" points="140,242.0723,144,252.0723,148,242.0723,144,246.0723" style="stroke: #A80036; stroke-width: 1.0;"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="144" x2="144" y1="330.041" y2="350.041"/><polygon fill="#A80036" points="140,340.041,144,350.041,148,340.041,144,344.041" style="stroke: #A80036; stroke-width: 1.0;"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="190" x2="260" y1="318.041" y2="318.041"/><polygon fill="#A80036" points="250,314.041,260,318.041,250,322.041,254,318.041" style="stroke: #A80036; stroke-width: 1.0;"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="144" x2="144" y1="397.9785" y2="417.9785"/><polygon fill="#A80036" points="140,407.9785,144,417.9785,148,407.9785,144,411.9785" style="stroke: #A80036; stroke-width: 1.0;"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="144" x2="144" y1="286.041" y2="306.041"/><polygon fill="#A80036" points="140,296.041,144,306.041,148,296.041,144,300.041" style="stroke: #A80036; stroke-width: 1.0;"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="97.5" x2="87.5" y1="483.9473" y2="483.9473"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="87.5" x2="87.5" y1="483.9473" y2="505.9473"/><polygon fill="#A80036" points="83.5,495.9473,87.5,505.9473,91.5,495.9473,87.5,499.9473" style="stroke: #A80036; stroke-width: 1.0;"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="190.5" x2="200.5" y1="483.9473" y2="483.9473"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="200.5" x2="200.5" y1="483.9473" y2="505.9473"/><polygon fill="#A80036" points="196.5,495.9473,200.5,505.9473,204.5,495.9473,200.5,499.9473" style="stroke: #A80036; stroke-width: 1.0;"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="144" x2="144" y1="451.9473" y2="471.9473"/><polygon fill="#A80036" points="140,461.9473,144,471.9473,148,461.9473,144,465.9473" style="stroke: #A80036; stroke-width: 1.0;"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="144" x2="144" y1="125.0361" y2="184.1348"/><polygon fill="#A80036" points="140,174.1348,144,184.1348,148,174.1348,144,178.1348" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[26379eddef472b137bca3f2fd8f5fde5]
@startuml
skinparam BackgroundColor F0F0F0
start
partition Initialization {
:enforce pretest machine conditions:
** bluetooth turned off;
}
partition test-run {
: set state:
-power on;
: get device state;
if (power is on )
: set state:
-power off;
else (no=failure)
stop
endif
: get device state;
if (power is off ) then (success)
stop
else (no=failure)
stop
endif
}
@enduml
PlantUML version 1.2020.02(Sun Mar 01 05:22:07 EST 2020)
(GPL source distribution)
Java Runtime: OpenJDK Runtime Environment
JVM: OpenJDK 64-Bit Server VM
Java Version: 11.0.12+7-post-Debian-2
Operating System: Linux
Default Encoding: UTF-8
Language: en
Country: US
--></g></svg>