From: Don Organ
Sent: Monday, April 28, 2003 9:49
PM
To: STIL. 4 (E-mail)
Subject: stds-1450.4: Syntax attempt
at Use case 4.
Gentlemen,
Rather than updating
the syntax document, I tried using the syntax on Dave's Use case #4 - that's
what you'll see below. Maybe we can use attempts like this to use the syntax in
a use-case as one way to drive the formal syntax
specification.
Perhaps we can
discuss this in our STIL.4 call.
Use case
4:
TestMethod BasicFunctionalTest
{
In Timing
timing_arg;
In PatternBurst
patternburst_arg;
Out bool
pass;
}
TestMethod
StaticInputLeakTest {
In Timing
timing_arg;
In PatternBurst
patternburst_arg;
Out bool
pass;
}
Bin wiggleFail
{
// to be defined
}
Bin
staticinputleakagefailbin{
// to be defined
}
Bin
GoodDevicePassBin{
// to be defined
}
FlowGroup main
{
FlowNode wiggletest {
Execute
BasicFunctionalTest {
In timing_arg = basic;
In patternburst_arg = basic_burst;
} // end of Execute
Ports
{
Pass: "pass==true" : Next;
Fail: "true" : Bin=wiggleFail;
} // end of Ports
} // end of FlowNode wiggletest
FlowNode staticinputleakagetest{
Execute
StaticInputLeakTest {
In timing_arg = InLeakTimingSetup;
In patternburst_arg = InLeakFunc_burst;
} // end of Execute
Ports
{
Pass: "pass==true" : Next;
Fail: "true" :
Bin=staticinputleakagefailbin;
} // end of Ports
} // end of staticinputleakagetest
FlowNode
FlowNode {
Ports
{
Pass: "true" : Bin=GoodDevicePassBin;
} // end of Ports
} // end of FlowNode
}
// end of FlowGroup
TestProgram UseCase4
{
OnStart main;
}
---------------------------------------------------------------------------------
Don
Organ
Inovys Corporation
---------------------------------------------------------------------------------