作者maestrod (.)
看板NTUEE_VAL
标题Re: [讨论] check point
时间Wed Jun 18 17:59:18 2008
※ 引述《arjuna (机器泽新一)》之铭言：
: 想知道一下离终点还有多远,还有优先的工作顺序
: 举例来说,底下的testcase有哪些是我们不能处理的
: 我这边是可以把singleexpression 传回setverdict(pass) ;里面的
: pass,那single expression还有哪边需要优先做的
: 请codegen manager Ju-Hung Hsiao 指引我迈向毕业之路
: 加油,好吗 kerker
: ---
: testcase TC_SS_CDM_MAP_INIT_BV_H000()
: runs on BsSimu
以上扯到 RunsOnComponent的宣告
里面扯到Port的宣告 我已做完
扯到Timer的宣告 我已做完(Expression的部分注掉)
扯到Var的宣告 还没完成 ->鸿欣
: system TestAdapter {
以上扯到 SystemComponent的宣告
里面扯到Port的宣告 我已做完
扯到Timer的宣告 我已做完(Expression的部分注掉)
扯到Var的宣告 还没完成 ->鸿欣
: //Default
: var default v_ssNormal := activate(d_ssNormal()) ;
以上扯到 VarInstance中的default class 还没完成 ->鸿欣
Assignment里 有Expression 还没完成 ->大黑
activate ALT这个动作 还没有人做 ->??
: //Preamble
: f_ssNull2RangingSuccess(c_pNormal, c_sendDlMapAndDcd) ;
以上扯到 FunctionInstance
FunctionInstance的对应我已做完 (但有Expression的部分我注掉)
Function原型宣告 已做完
Function定义 正在做
: //Test body
: t_9.start;
以上扯到StartTimerStatement 我已做完(TimerDuration有Expression我注掉)
: alt{
: [] macMsg.receive(msg_ind(PXT_BASIC_CID, mw_sbcReq)) {
: t_9.stop ;
: setverdict(pass) ; }
: [] t_9.timeout {
: log("**** TC_SS_CDM_MAP_INIT_BV_H000: Timeout: Expected Message not received ****");
: setverdict(fail); }
: } // end alt
以上为AltConstruct
架构 我已做完
比较接收message是否相同 还没做 ->??
StopTimerStatement 我已做完
setverdictStatement 大黑已完成
LogStatement 未做完 ->大黑
TimeoutStatement 我已做完
: //Switch from Broadcast Profile 1 to Profile 2
: f_enableProfile(c_pNormal2, c_sendDlMapAndDcd) ;
以上扯到 FunctionInstance
FunctionInstance的对应我已做完 (但有Expression的部分我注掉)
Function原型宣告 已做完
Function定义 正在做
: //Wait for IUT to be switched off and on again
: t_wait.start;
以上为StartTimerStatement 我已完成
: alt{
: [] macMsg.receive(msg_ind(c_initRngCid, mw_rngReq_initial)) {
: t_wait.stop ;
: setverdict(pass) ; }
: [] t_wait.timeout {
: log("**** TC_SS_CDM_MAP_INIT_BV_H000: Timeout: Expected Message not received ****");
: setverdict(fail); }
: } // end alt
以上为alt 问题同上
: } // end TC_SS_CDM_MAP_INIT_BV_H000
: ---
把大概需要的东西 我trace了一下
像
type union XXX {} 的东西 也就是Union 我已完成
type record XXX{} 的东西 也就是record 我已完成
type enumerated XXX {}的东西 也就是eunum 我已完成
但很大一部分就是所有的东西订到最底层是以下…
type UInt 32
type UInt 16
type UInt 8
type UInt 4
type UInt 48
type UInt 11
type octetstring
type Oct3
type UInt10
type Bit1
type Bit2
...
type Bit19
以及一些TTCN自有的type 像什麽objid address default等
这些东西没订出来 所有的struct就算我架构上对应好了 一切都是空谈
连assignement也assign不了什麽
何况还有一个比较message正确与否还没做 无从比较起
以上为鸿欣的部分…这…请加油
Expression的部分 目前最明显看到的是
SetLocalVerdict->SingleExpression
FunctionInstance->FunctionActualParList->FunctionActualPar->...->SingleExpression
SingleTimerInstance->TimerValue是Expression
StartTimerStatement->TimerValue是Expression
ReturnStatement->Expression
Assignment->Expression
LogStatement->...->SingleExpression
WhileStatement->BooleanExpression
DoWhileStatement->BooleanExpression
ConditionalConstruct->BooleanExpression
ModuleParDef->...->ConstantExpression
ReceiveStatement->...->Expression
其他还没做的一定还有
最近四周的进度是只完成第一项
以上为大黑的部分 加油 好吗？
不要四周後还跟我说只完成一个喔
目前
SystemComponent
RunsOnComponent
Port宣告
Timer宣告
AltConstruct
Port的三个Statement
Timer的三个Statement
VerdictStatement
还有一些BasicStatement
Union
Record
enumerated
以上我已做完
我正在进行Function的部分 我有寄信跟老师报告我的部分
所以…
有进入状况吗？
以上是只有一个Spec的testcase
终点？
找终点不如找G点
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 202.132.137.148