作者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