【摘要】一種包括自動驗(yàn)證工具模塊和仿真工具模塊的電路功能自動驗(yàn)證程序產(chǎn)品，操作步驟如下：向自動驗(yàn)證工具模塊輸入庫單元電路描述和庫單元電路功能描述，由其生成驗(yàn)證輸入代碼和驗(yàn)證結(jié)果代碼。自動驗(yàn)證工具模塊調(diào)用仿真工具模塊，并向其輸入驗(yàn)證輸入代碼，
【摘要】 本發(fā)明提供了一種分布式可漫游網(wǎng)絡(luò)交互應(yīng)用 適時計(jì)費(fèi)系統(tǒng)和方法，系統(tǒng)架構(gòu)包括網(wǎng)絡(luò)交互應(yīng)用客戶端、應(yīng) 用服務(wù)器CPa，CPa所屬適時計(jì)費(fèi)系統(tǒng)，全國適時計(jì)費(fèi)系統(tǒng)和 用戶所屬適時計(jì)費(fèi)系統(tǒng)。系統(tǒng)根據(jù)用戶和網(wǎng)絡(luò)交互應(yīng)用所處的 地域，對用戶和網(wǎng)絡(luò)交互應(yīng)用進(jìn)行分布式分區(qū)管理；系統(tǒng)根據(jù) 用戶標(biāo)識中的地域信息支持用戶漫游使用網(wǎng)絡(luò)交互應(yīng)用；網(wǎng)絡(luò) 交互應(yīng)用客戶端在開發(fā)的時候，使用網(wǎng)絡(luò)交互應(yīng)用適時計(jì)費(fèi)系 統(tǒng)的客戶端軟件開發(fā)包(SDK)定義各個需要計(jì)費(fèi)的用戶交互行 為的計(jì)費(fèi)標(biāo)識，并且開發(fā)各個需要計(jì)費(fèi)的行為的計(jì)費(fèi)邏輯程序 塊。 更多數(shù)據(jù)：搜索馬克數(shù)據(jù)網(wǎng)來源：www.macrodatas.cn 【專利類型】發(fā)明申請 【申請人】上海移動通信有限責(zé)任公司 【申請人類型】企業(yè) 【申請人地址】200060上海市黃浦區(qū)北京東路668號 【申請人地區(qū)】中國 【申請人城市】上海市 【申請人區(qū)縣】黃浦區(qū) 【申請?zhí)枴緾N200610023610.9 【申請日】2006-01-25 【申請年份】2006 【公開公告號】CN1937512A 【公開公告日】2007-03-28 【公開公告年份】2007 【發(fā)明人】鄭杰; 楊?？? 王斌; 王偉珣 【主權(quán)項(xiàng)內(nèi)容】1.？？一種分布式可漫游網(wǎng)絡(luò)交互應(yīng)用適時計(jì)費(fèi)系統(tǒng)和方法，系統(tǒng)架構(gòu)包括網(wǎng)絡(luò)交互應(yīng) 用客戶端(1)、網(wǎng)絡(luò)交互應(yīng)用服務(wù)器CPa(2)，CPa所屬適時計(jì)費(fèi)系統(tǒng)(3)，全國適時 計(jì)費(fèi)系統(tǒng)(4)和用戶所屬適時計(jì)費(fèi)系統(tǒng)(5)；其特征在于：所述CPa所屬適時計(jì)費(fèi)系 統(tǒng)(3)，全國適時計(jì)費(fèi)系統(tǒng)(4)和用戶所屬適時計(jì)費(fèi)系統(tǒng)(5)是使用LDAP協(xié)議規(guī)范樹 狀組織數(shù)據(jù)結(jié)構(gòu)，分布式地為網(wǎng)絡(luò)上每一個交互應(yīng)用的計(jì)費(fèi)行為點(diǎn)和每一個用戶建 立唯一標(biāo)識即用戶標(biāo)識和計(jì)費(fèi)行為對象標(biāo)識，并且進(jìn)行管理和計(jì)費(fèi)的設(shè)備；所述網(wǎng) 絡(luò)交互應(yīng)用客戶端(1)，使用本適時計(jì)費(fèi)系統(tǒng)客戶端軟件開發(fā)包(SDK)定義各個需要 計(jì)費(fèi)的用戶交互行為的計(jì)費(fèi)標(biāo)識，并且開發(fā)各個需要計(jì)費(fèi)的行為的計(jì)費(fèi)邏輯程序塊； 所述網(wǎng)絡(luò)交互應(yīng)用服務(wù)器CPa(2)是提供各類網(wǎng)絡(luò)應(yīng)用服務(wù)的設(shè)備。。關(guān)注公眾號馬克數(shù)據(jù)網(wǎng) 【當(dāng)前權(quán)利人】上海移動通信有限責(zé)任公司 【當(dāng)前專利權(quán)人地址】上海市黃浦區(qū)北京東路668號 【被引證次數(shù)】2 【家族被引證次數(shù)】2
未經(jīng)允許不得轉(zhuǎn)載：http://m.sg012.cn/1775692986.html
喜歡就贊一下
