作者bask (gan)
看板NTUEE_VAL
标题Re: [讨论] check point
时间Wed Jun 18 19:13:44 2008
※ 引述《maestrod (.)》之铭言:
: ※ 引述《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就算我架构上对应好了 一切都是空谈
我建议你们论文把grammar tree画出来
没做的subtree就圈起来
这样口试委员比较容易了解做了那些、还少那些
: 连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: 61.229.39.31