前言:想要寫出一篇令人眼前一亮的文章嗎?我們特意為您整理了5篇測評工具范文,相信會為您的寫作帶來幫助,發(fā)現(xiàn)更多的寫作思路和靈感。
健康體檢: 家訪? 是 否
跟一年前比,您的健康狀況?
您比較擔(dān)憂哪方面的健康?
最近四周內(nèi)有沒有入睡困難?
身體鍛煉:
您是不是基本上能每天鍛煉至少30分鐘? 否 是
舉例子說明:________________________________________________
既往史/家族史:您是否有明顯的家族史? 是 否
飲酒/吸煙:
您吸煙嗎? 否 以前吸煙 是,每天吸_____支
您飲酒嗎? 否 是
詳細說明酒的種類、飲酒量和頻率:________________________________________________
免疫接種:
您最近有沒有接種這些疫苗? 破傷風(fēng)疫苗 是 否 不清楚流感疫苗 是 否 不清楚肺炎球菌疫苗 是 否 不清楚
駕車能力:
您開車嗎? 否 是,請說明是否經(jīng)常開車
如果不能開車,您能使用公共交通嗎?
日常生活活動:
您的這些活動是否有困難:
走動 是 否 需要輔助 用拐杖
穿衣 是 否 需要輔助
個人盥洗 是 否 需要輔助
洗澡 是 否 需要輔助 已裝扶欄 需裝扶欄
吃飯 是 否 需要輔助
上廁所 是 否 需要輔助 已裝扶欄 需裝扶欄
做家務(wù) 是 否 需要輔助
打電話 是 否 需要輔助
處理財務(wù) 是 否 需要輔助
購物 是 否 需要輔助
做飯 是 否 需要輔助
整理房間 是 否 需要輔助
跌倒:
您最近三個月是否發(fā)生或跌到現(xiàn)象? 是 否
如果是,詳細說明:________________________________________________
居家安全:
能自己從沙發(fā)站起來嗎? 是 否
躺在床上能方便地開燈嗎? 是 否
能把腳墊牢固地固定在地板上嗎? 是 否
浴室是不是使用了防滑腳墊? 是 否
能輕松地使用水龍頭嗎? 是 否
能看清楚臺階和樓梯嗎? 是 否
急救電話號碼是否列在電話本上或設(shè)置為自動撥號? 是 否
能讀報紙、數(shù)據(jù)或看電視嗎? 是 否
家里是否安裝了保安或防盜裝置? 是 否
煙霧警報裝置是否有效工作? 是 否
是否需要幫助來改善家庭的安全? 是 否
家里的前后門是否有安全出口? 是 否
照顧者:
________________________________________________
________________________________________________
獨立性/社會支持
現(xiàn)在的生活安排 獨居 和配偶住在一起 和其他人住在一起
是否有醫(yī)療呼叫裝置 有 沒有
是否需要安裝 不需要 需要
是否與外界隔離,或缺乏社會支持? 是 否
這個病人是否同時是其他家庭成員的照顧者? 是 否
用藥情況
_____________________________________________________________
_____________________________________________________________
怎樣服藥? 自己吃 照顧者幫助 使用每日用藥盒 其他方法
在過去12個月內(nèi),是否有下列健康問題?
胸痛 是 否
氣短 是 否
持續(xù)咳嗽 是 否
抽筋/痙攣 是 否
消化不良/燒心 是 否
腹痛/腹脹 是 否
便血 是 否
腹瀉/便秘 是 否
虛弱/眩暈/頭暈 是 否
頭疼 是 否
皮膚上有鱗狀區(qū) 是 否
肉贅或黑痣變化 是 否
體重減輕 是 否
體重增加 是 否
疲倦/昏睡 是 否 、
虛弱 是 否
尿失禁情況(醫(yī)生/護士給病人收集尿液的瓶子)
女性
你咳嗽或打噴嚏的時候是否有尿失禁? 是 否
你是否等不到進入廁所就有尿? 是 否
如果上面任何一項為“是”,在24小時內(nèi)發(fā)生多少次這種意外情況? _______________________________
你床單上是否有陰道流血留下的斑跡? 是 否
男性
你小便的時候,是否尿液不能成線? 是 否
小便后,是否還有零星的尿液流出? 是 否
晚上需要起夜小便多少次?
你是否有意外小便的情況? 是 否
尿中是否有血? 是 否
大便情況
是否有大便失禁的情況? 是 否
大便的樣子:________
營養(yǎng)情況
你是否因為不舒服或生病,改變了飲食的數(shù)量或種類? 是 否
如果“是”,現(xiàn)在的飲食方式是: 糖尿病人飲食 低膽固醇飲食 低脂飲食 其他________
你是否每天至少吃三餐? 是 否
你是否基本上每天吃水果或蔬菜? 是 否
你是否基本上每天吃奶制品? 是 否
你是否基本上每天喝6~8杯飲料/水? 是 否
你是否因為牙齒、口腔問題或吞咽困難,造成飲食困難? 是 否
飲食安排:
早餐:_______________
午餐:______________
晚餐:______________
這個病人是否需要飲食或營養(yǎng)服務(wù)? 送飯服務(wù) 營養(yǎng)師指導(dǎo) 糖尿病教育
心情/抑郁情況
在過去的4個星期內(nèi),你是否經(jīng)常有情感/心情上問題,如感到焦躁/焦慮、感到壓抑/抑郁、容易發(fā)脾氣/激動、垂頭喪氣/情緒低落?
沒有 偶爾 中等程度 很經(jīng)常 總是這樣
詳細情況:________________________________
醫(yī)學(xué)檢查
測量結(jié)果(醫(yī)生填寫)
身高: 體重: BMI指數(shù):
尿液檢查:
血糖(指血):______mmol/L 隨機 空腹 不知道
視力和聽力
視力: 戴眼鏡 不戴眼鏡 左:______ 右:______
最近12個月是否看過眼鏡師/驗光師/眼科醫(yī)生? 是 否
聽力: 不知道 合適 不好
檢查耳道: 正常 不正常
情況描述:________________________________
足部檢查
是否一只腳或雙腳有問題? 是 否
能否自己剪腳趾甲? 能 不能
詳細情況:________________________________
心血管
血壓:______mm Hg
呼吸:______次/min 不規(guī)律 規(guī)律
呼吸
休息時呼吸困難 是 否
呼吸聲音 正常 異常
詳細情況:________________________________
腹部檢查(醫(yī)生填寫)
是否觀察到異常情況,如疤痕、腫脹、肝/脾腫大、腫塊、疝氣? 是 否
如果“是”,詳細情況:________________________________
皮膚檢查
是否有明顯的皮膚損傷? 是 否
心理狀態(tài)
在記憶能力、思考問題、籌劃事情、動機上是否有問題? 是 否
毋庸置疑的測試平臺
本次評測為對比測試,每一項測試都在同一軟硬件平臺下進行,保證了結(jié)果的客觀,硬件配置如下:
CPU:Intel CoreT2250 @ 1.73GHz內(nèi)存:DDR2 667 2GB主板:Intel 945GM 顯卡:GeForce 7400; 硬盤類型:SATA 5400RPM。軟件環(huán)境上我們使用安裝了所有補丁的Windows Vista Ultimate SP1。
客觀公正的評測隊伍
本次評測更加注重了參與性和互動性,由《電腦愛好者》全體軟件編輯、CFan論壇網(wǎng)友共同完成,保證了測試結(jié)果的公正。
實用為主的評測理念
秉承“實用至上”的準則,我們首先在CFan論壇發(fā)起調(diào)查,根據(jù)讀者最關(guān)心的應(yīng)用設(shè)定評測項目,測試的標準也是采用讀者使用中的實例,圍繞視頻文件從電腦到數(shù)碼設(shè)備的轉(zhuǎn)換所遇到的各種需求進行評測。在測試最后我們?yōu)樽x者提供了參評軟件的軟件C指數(shù),孰優(yōu)孰劣,一目了然。
我們的測試對象
暴風(fēng)轉(zhuǎn)碼2009 beta 2
格式工廠 1.7
超級轉(zhuǎn)霸(Total Video Converter) 3.21
抓抓掌中娛樂中心(XMedia)3.5.5
WisMencoder 2.1.1.0
快樂影音轉(zhuǎn)換器 1.61
視頻轉(zhuǎn)換大師(WinMPG Video Convert) v8.8
WinAVI 3GP/MP4/PSP/iPod Video Converter v3.1
才藝展示
暴風(fēng)轉(zhuǎn)碼2009
暴風(fēng)轉(zhuǎn)碼2009延續(xù)了暴風(fēng)影音的家族血統(tǒng),界面簡潔,容易上手,將視頻拖動過去,就會提示選擇輸出設(shè)備,支持8種轉(zhuǎn)換模式(手機、MP4、PSP、MP3、FLV、電視、視頻、音樂),支持具體移動設(shè)備品牌配置,方便按需定制,支持批量轉(zhuǎn)換,支持轉(zhuǎn)換參數(shù)設(shè)置(豐富),支持對音頻的轉(zhuǎn)換,支持雙核。
格式工廠
界面設(shè)置選項豐富,支持按視頻格式指定轉(zhuǎn)換類型和按具體設(shè)備型號指定轉(zhuǎn)換類型,支持DVD/CD的提取,支持DVD/CD到ISO/CSO,以及ISO到CSO的轉(zhuǎn)換。支持視頻合并和多媒體文件信息查看,并支持圖片和音頻的轉(zhuǎn)換。支持批量轉(zhuǎn)換,支持添加文件夾,并可以設(shè)置優(yōu)先級,支持轉(zhuǎn)換參數(shù)設(shè)置(豐富),支持雙核。
超級轉(zhuǎn)霸
功能全面豐富,只是界面略顯單調(diào),支持按視頻格式指定轉(zhuǎn)換類型和按具體設(shè)備型號指定轉(zhuǎn)換類型,支持DVD/VCD格式轉(zhuǎn)錄,支持轉(zhuǎn)換參數(shù)設(shè)置(特別豐富),并且具有給畫面剪裁、加寬的功能。支持濾鏡處理,支持批量轉(zhuǎn)換,具有提取音視頻、視頻合并、照片轉(zhuǎn)視頻以及桌面捕捉功能。只是轉(zhuǎn)換像RM格式這樣的視頻需要安裝相應(yīng)解碼器,不支持雙核。
抓抓掌中娛樂中心
界面很個性的手機皮膚,采用首先指定移動數(shù)碼設(shè)備,然后自動匹配所有操作格式的方式。支持的移動設(shè)備型號豐富,并且提供下載、轉(zhuǎn)換、傳輸一站式的服務(wù),支持自動傳輸?shù)揭苿釉O(shè)備,并且有移動設(shè)備的媒體管理功能,附帶流媒體下載監(jiān)控組件,支持轉(zhuǎn)換參數(shù)設(shè)置(豐富),支持批量轉(zhuǎn)換。附帶移動設(shè)備相關(guān)的其他工具,只不過軟件廣告有點多(見圖1),支持雙核。
WisMencoder
軟件界面采用傳統(tǒng)Windows窗口式設(shè)計,設(shè)置項種類豐富,但整體顯得較復(fù)雜,軟件功能非常豐富,支持轉(zhuǎn)換格式參數(shù)設(shè)置,支持畫面裁剪、加寬、翻轉(zhuǎn)、亮度/對比度調(diào)整和字幕加載,支持視頻合并和批量轉(zhuǎn)換,還具有獨立方案定制(見圖2)、CPU優(yōu)化等功能。沒有提供與移動數(shù)碼設(shè)備匹配的向?qū)мD(zhuǎn)換,支持雙核。
快樂影音轉(zhuǎn)換器
界面美觀,啟用軟件前先選擇設(shè)備種類,設(shè)置項不是很多,不過軟件只定位在視頻格式轉(zhuǎn)換上,涉及視頻轉(zhuǎn)換的設(shè)置參數(shù)都有,支持轉(zhuǎn)換參數(shù)設(shè)置、批量轉(zhuǎn)換,并具有擴展黑邊、畫面翻轉(zhuǎn)等功能,支持雙核。
視頻轉(zhuǎn)換大師
視頻轉(zhuǎn)換大師定位于視頻轉(zhuǎn)換的大類,界面簡潔,不過功能顯然不如僅面向?qū)σ苿訑?shù)碼設(shè)備的視頻轉(zhuǎn)換,沒有提供具體設(shè)備型號的匹配選項,只有四個品牌大類,通過指定轉(zhuǎn)換的格式的方式進行轉(zhuǎn)換。支持批量轉(zhuǎn)換,不過需要手動添加批量任務(wù),支持視頻裁剪、合并、DVD轉(zhuǎn)換,可靈活設(shè)置轉(zhuǎn)換參數(shù)(豐富),不支持雙核。
WinAVI 3GP/MP4/PSP/iPod Video Converter
軟件為一個系列軟件之一,該系列有很多分支,WinAVI 3GP/MP4/PSP/iPod Video Converter從名字就可以看出是針對這幾種格式的,或者說是移動數(shù)碼設(shè)備專用版。軟件主界面也是從3GP/MP4/PSP/iPod這幾種分支入手。不支持批量轉(zhuǎn)換、亮度調(diào)節(jié)、畫面裁剪以及碼率調(diào)節(jié),但總體調(diào)節(jié)項偏少。支持轉(zhuǎn)換后的文件直接傳輸?shù)揭苿釉O(shè)備中,不支持雙核。
這里我們可以看到,支持格式最多的要數(shù)視頻轉(zhuǎn)換大師,支持具體型號最多的要數(shù)抓抓掌中娛樂中心。
任務(wù)考驗
從軟件本身來看,幾乎難分高下,個個都是視頻轉(zhuǎn)換的悍將,到底如何?還要看實際的轉(zhuǎn)換能力,我們選擇了大家常用到的將視頻轉(zhuǎn)換為AVI、3GP、MP4三種格式文件為例來進行對比測試。
任務(wù)一
將原文件為40.5MB的DAT格式視頻分別轉(zhuǎn)換為:AVI(320*240 512KPS MPEG4)、3GP(352*288、H263、AMR-NB、15FPS、384KBPS)、MP4(320*240、512KBPS、MPEG4、AAC、15FPS、384KBPS)。
這里我們可以看到,轉(zhuǎn)換最快的是暴風(fēng)轉(zhuǎn)碼2009,占用資源最少的是抓抓掌中娛樂中心。
任務(wù)二
在不知道設(shè)備支持什么格式的情況下,將一個MPG格式視頻文件轉(zhuǎn)換為具體數(shù)碼設(shè)備支持的格式,以索愛 W958C手機為例(此情況下資源占用與任務(wù)1相同,不再注明)。
任務(wù)三
批量轉(zhuǎn)換三個大小為40MB左右文件,批量轉(zhuǎn)換。
測試報告
關(guān)鍵詞:軟件測試;運行時錯誤;語義分析技術(shù)
中圖分類號:TP311 文獻標識碼:A 文章編號:1009-3044(2013)07-1575-03
隨著軟件規(guī)模越發(fā)龐大,軟件中存在的缺陷也越來越多,軟件測試工作所肩負的責(zé)任日趨繁重。通常我們通過軟件測試來確保軟件的可靠性,通過軟件測試我們可以在軟件交付用戶之前盡量找到軟件中存在的BUG,而在所有類型的軟件BUG中運行時錯誤的危害性是最大的。歐洲航天局阿里亞納501號火箭的爆炸,就是因為在其控制飛行姿態(tài)的一段代碼中蘊含有一個變量溢出的運行錯誤。正是這個錯誤的溢出變量控制著火箭急速轉(zhuǎn)向而過載。
根據(jù)IBM-Berkeley調(diào)查統(tǒng)計:在每一千行的代碼中大約就會發(fā)現(xiàn)一個運行時錯誤,而且在軟件的維護階段所檢測到的錯誤中有30%-40%是運行時錯誤,可見運行時錯誤對軟件質(zhì)量的影響是多么大。該文對幾種常用的可以發(fā)現(xiàn)軟件運行時錯誤的測試工具進行評析。
1 什么是軟件運行時錯誤(Run-Time Errors)
運行時錯誤(Run-Time Errors)是所有的軟件錯誤中最具風(fēng)險的錯誤。它主要發(fā)生在軟件動態(tài)運行的過程中。我們在日常家庭用的Windows操作系統(tǒng)或者其他軟件工具時也會時常出現(xiàn)運行時錯誤,一般情況下出現(xiàn)運行時錯誤后無論怎么操作,程序都會關(guān)閉。上述軟件出現(xiàn)問題并不會產(chǎn)生太大的影響,但是對于對安全等級要求很高的系統(tǒng),比如汽車、航天、軍用領(lǐng)域,發(fā)生這種錯誤所從帶來的負面影響或許是十分巨大的。由ANSI C定義的運行時錯誤是指那些能導(dǎo)致預(yù)定義之外的不正確結(jié)果或者處理器停機的錯誤,它的風(fēng)險等級在所有軟件錯誤中是最高的,由它引起的后果可能為:數(shù)據(jù)崩潰、安全保密被破壞、處理器停機等;它也可能導(dǎo)致給外部設(shè)備發(fā)送非受控命令,引起不可預(yù)測、不確定的行為。
典型的運行時錯誤包括:引用越界指針和空指針、讀未初始化變量、類型轉(zhuǎn)換非法、訪問超界數(shù)組、浮點數(shù)和整數(shù)下/上溢出、不合法的算數(shù)運算 (如:負數(shù)開平方錯誤,除零錯誤)、代碼不可達等。
在軟件之中廣泛存在運行時錯誤,對軟件的安全性產(chǎn)生潛在的風(fēng)險。因此針對運行時錯誤測試技術(shù)的研究是當前最重要的課題之一,而發(fā)現(xiàn)運行時錯誤最直接有效的手段就是專用測試工具。
2 軟件運行時錯誤測試工具
2.1 語義分析技術(shù)
目前,測試軟件的運行時錯誤所用的工具都是基于語義分析技術(shù)。這種技術(shù)主要是通過數(shù)學(xué)定理所提供的規(guī)則動態(tài)分析軟件的行為。語義分析技術(shù)并非通過窮舉法,它有能力在更為普通的模式下來表達程序所處的狀態(tài),它還能提供巧妙的規(guī)則來對它進行處理。當運行時錯誤在執(zhí)行檢測的時候,為了盡可能早的發(fā)現(xiàn)程序中運行時錯誤,語義分析技術(shù)會詳細的分析所有危險的操作。
運行時錯誤的語義分析檢查主要有以下幾點:
1) 控制流檢查:控制流程序要控制程序跳轉(zhuǎn)到合法代碼段。例如:C語言中的break語句,控制程序退出該程序段的最內(nèi)層for、switch或while語句。否則應(yīng)報錯。
2) 類型檢查:若操作符被用作不相容的操作數(shù),應(yīng)報錯。
3) 相關(guān)名字檢查:當同樣的一個名字需要出現(xiàn)大于等于兩次的時候,必須要對這幾個地方使用的名字是否一致進行檢查。
4) 作用域分析:分析元素的作用范圍,保證元素不會出現(xiàn)使用問題。
5) 一致性檢查:絕大部分情況下只能定義一次對象。
2.2 測試工具分析
2.2.1 Klocwork
Klocwork公司綜合應(yīng)用近年來最先進的多種靜態(tài)分析技術(shù),基于其專利分析引擎技術(shù),開發(fā)了Klocwork測試工具。Klocwork是一款非常優(yōu)秀的軟件靜態(tài)分析軟件。
它最主要的特點如下:
1) 發(fā)現(xiàn)軟件缺陷的種類覆蓋面廣,既包含安全漏洞缺陷,又同時包含軟件質(zhì)量缺陷,還能對編程規(guī)則、軟件架構(gòu)的違反情況進行分析;
2) 支持多種開發(fā)語言,可以分析Java和C++/C程序;
3) 可以對軟件的各種度量進行分析(包含Halstead程序度量、McCabe復(fù)雜度);
4) 可以全面的分析軟件,既能對可視化的架構(gòu)進行優(yōu)化、分析,又能對軟件的缺陷進行分析;
5) 可以對千萬級代碼行的超大程序進行分析。
6) 可以對多種主流的IDE開發(fā)環(huán)境提供集成;
針對軟件運行時錯誤,Klocwork能識別數(shù)組越界、非法指針引用、非法浮點數(shù)操作、不可達代碼、無限循環(huán)等。
2.2.2 Polyspace
Polyspace是世界上首家自動檢測嵌入式軟件運行錯誤的工業(yè)化工具,不需要代碼執(zhí)行和修改,不需要運行耗時的測試用例。其主要特點有:
1) 高效:可以在代碼評審和測試階段確定運行錯誤;
2) 質(zhì)量:徹底標識所有可能導(dǎo)致運行時錯誤的操作,并用不同的顏色標出來;
3) 安全:處理所有的正確條件。總是考慮最壞的情景,并指出可能的運行錯誤;
4) 產(chǎn)品化:PolySpace是非侵入式的和基于源代碼的。在開發(fā)過程中,使用PolySpace盡可能在單元和集成時檢測運行錯誤,從而節(jié)約確認階段的時間,不必更改過程。
可以通過PolySpace自動檢查的錯誤為:浮點數(shù)和整數(shù)的下/上溢出、讀未初始化變量、訪問超界的數(shù)組、引用越界指針和空指針、算數(shù)運算非法(例如:負數(shù)開平方,除零錯誤)、轉(zhuǎn)換類型不合法、代碼不可達、多線程應(yīng)用中訪問未保護數(shù)據(jù)的時候發(fā)生沖突。
2.2.3 Astree
Astree是一個可參數(shù)化設(shè)置的基于抽象解釋的靜態(tài)分析工具,其目標是證明用C語言寫的程序中不存在運行時錯誤。其主要特點有:
1) 在編譯階段就能測出軟件的運行錯誤。只要是代碼可編譯的,就可將代碼放在Astrée測試環(huán)境下,經(jīng)過簡單配置后,便可自動檢查錯誤;
2) 測試時不需要寫測試用例。傳統(tǒng)的覆蓋率測試需要花費大量精力去開發(fā)測試用例,而使用Astrée就不需再寫用例;
3) 測試時無須更多的代碼插裝,也不必改變開發(fā)過程;
4) 分析準確性高,通過參數(shù)化設(shè)置等,可以實現(xiàn)“零誤報”;
5) 分析速度快。
Astree當前可以報告的錯誤包括:數(shù)組范圍越界,整數(shù)被零除,浮點溢出和非法操作,整數(shù)運算的wrap around行為(主要由溢出引起),以及類型轉(zhuǎn)換導(dǎo)致的wrap around行為(目標類型太小無法表達轉(zhuǎn)換值),以及用戶關(guān)于軟件定義的任何斷言。另外,,Astrée能夠指出未分析(不可達的)的代碼并且對沒有終止的代碼進行告警。
通過多次測試項目的實際使用,對Klocwork、Polyspace、Astree的分析結(jié)果比較如表1。
從表1的分析結(jié)果可以看出,專用測試工具在發(fā)現(xiàn)軟件運行時錯誤時發(fā)揮著重要作用,但是測試工具并不是完美的,各個工具所使用的分析技術(shù)導(dǎo)致它們都只適用于部分缺陷的測試。在軟件運行穩(wěn)定性的保證及軟件測試質(zhì)量的提高方面,我們認為軟件運行時錯誤測試工具的作用是功不可沒的,但在看到測試工具優(yōu)點的同時也要注意到各個測試工具的短板。
軟件運行時錯誤測試工具的優(yōu)點:
1) 分析只需要代碼,不會改變軟件開發(fā)的過程,可以在軟件開發(fā)任何階段進行;
2) 有助于軟件開發(fā)的早期發(fā)現(xiàn)軟件運行時錯誤。方便修改,能有效的提高軟件開發(fā)效率,降低軟件開發(fā)周期;
3)不需要設(shè)計測試用例,不需要代碼插裝,節(jié)約時間;
4)有助于開發(fā)人員及時自查,及時糾正開發(fā)人員編碼風(fēng)格缺陷。
5) 對發(fā)現(xiàn)的錯誤直接定位,相比動態(tài)測試發(fā)現(xiàn)該錯誤,節(jié)省了錯誤定位時間;
軟件運行時錯誤測試工具的缺點:
1) 分析結(jié)果需要人工確認;
2) 有可能存在誤報和漏報的情況,影響測試正確率;
3)由于算法的片面性,不能發(fā)現(xiàn)所有的問題。
3 結(jié)束語
在軟件開發(fā)的任意一個階段都可以借助軟件運行時錯誤測試工具及時的發(fā)現(xiàn)錯誤,對軟件成本的控制及軟件開發(fā)效率的提升方面非常有幫助。鑒于該類測試工具功能的日益完善,軟件開發(fā)人員對其依賴的程度逐漸增加。但開發(fā)人員時刻都要意識到,工具也會有算法片面性及漏報、誤報的因素,僅僅依靠靜態(tài)測試來發(fā)現(xiàn)運行時錯誤是不夠的,需要在軟件生命周期的晚期階段實施動態(tài)測試。動態(tài)測試和靜態(tài)測試相結(jié)合,從而提高測試的有效性。不同的軟件運行時錯誤測試工具各有優(yōu)勢與不足,如何選擇適合的測試工具,需要結(jié)合實際情況對諸多因素綜合權(quán)衡。
參考文獻:
[1] 肖慶,張威,宮云戰(zhàn),等.內(nèi)存泄漏的一種靜態(tài)分析方法[J].裝甲兵工程學(xué)院學(xué)報,2004,18(2):23-26.
[2] 韓柯,杜旭濤. 軟件測試[M].北京:機械工業(yè)出版社,2003.
[3] 楊宇,張健.程序靜態(tài)分析技術(shù)與工具[J].計算機科學(xué)2004,31(2):171-174.
[4] 蔣鵬.基于Astree的軟件運行時錯誤檢測[Z].2012.
[5] 周濤.航天型號軟件測試[M]. 北京:宇航出版社,1999.
參與本次評測的工具包括360安全桌面、騰訊Q+、金山桌面助手和酷魚桌面四款:
軟件安裝
通常使用桌面管理工具的用戶都是希望自己能更便捷操作電腦,所以工具的安裝方式也是許多用戶要考慮的因素。本文參與評測的四款工具中,除酷魚桌面外的三款工具均是流行軟件附加的功能。
其中360安全桌面和金山桌面助手分別可以在360與金山兩款殺毒軟件內(nèi)找到并自動安裝;而騰訊Q+則直接集成在QQ 2011(Q+)正式版里,用戶只需點擊QQ主界面的右下方Q+圖標即可打開Q+桌面。
小編點評
在這四款工具安裝完畢后,都是點擊后無需再進行其他設(shè)置即可進入新的桌面。不過騰訊Q+同其他工具相比,關(guān)閉方式很不方便,需要點擊界面工具欄的企鵝圖標,并在彈出選項中點擊關(guān)閉按鈕(如圖1)。
效果顯示
彰顯個性的桌面效果、合理的桌面布局,是一款桌面管理工作具最重要的功能,那么這四款工具在這些基礎(chǔ)功能上有怎樣的表現(xiàn)呢?
分別安裝并運行四款軟件后,除了酷魚桌面外,其余三款工具的界面都同系統(tǒng)默認桌面都有了很大的變化。其中360安全桌面采用了iOS式的多桌面,讓用戶分別為不同的軟件類型或需求準備單獨的桌面,而不必擔(dān)心桌面上布滿凌亂的快捷方式。
騰訊Q+運行之后雖然看上去只是在桌面左側(cè)添加了一個新的工作欄,不過點擊“切換到全屏模式”桌面就會進入“APP Store”模式,讓舊的Web QQ的主界面擁有自己的桌面版,用戶直接通過應(yīng)用市場添加各類網(wǎng)絡(luò)服務(wù)的同時,也能通過Q+自帶的桌面管理工具分類管理自己的舊桌面(如圖2)。
雖然這幾款桌面軟件中都可以看到蘋果產(chǎn)品的影子,不過金山桌面助手的模仿顯然是最徹底的。軟件直接采取了MAC系統(tǒng)的Dock效果,桌面上不再出現(xiàn)軟件的圖標,而是以工作條的形式置頂在屏幕上方(如圖3),實現(xiàn)了標準的蘋果式簡約風(fēng)格。
酷魚軟件雖然沒有直接為系統(tǒng)桌面提供更改,不過通過自定義置頂小工具的功能,可以定制出任意風(fēng)格的桌面主題,用戶如果想作出漂亮的桌面效果,恐怕需要較深的DIY功底了。
小編點評
在桌面顯示的效果方面,雖然四款軟件采用不同的方法優(yōu)化了用戶的操作,不過說起軟件的人性化操作,小編認為模仿MAC系統(tǒng)最徹底的金山桌面助手效果是最好的。如果用戶覺得將大部分程序集成到屏幕上方的工具條還遠遠不夠,還可以直接在空白的桌面繼續(xù)添加快捷方式,只不過會稍微破壞桌面簡約的風(fēng)格。
桌面管理
一個桌面制作得無論多么美觀,讓自己順手才是最關(guān)鍵的,那么這四款工具在桌面的文件管理方面都給了用戶什么樣的感受呢?
雖然桌面上的顯示相差許多,但實際上幾款工具的管理方式幾乎沒有明顯的區(qū)別。不過金山桌面助手的網(wǎng)址導(dǎo)航管理中,卻有個比較大的缺陷:用戶手動添加的網(wǎng)址是無法修改頁面Logo 的,只能使用金山桌面助手默認的難看的黃色星形按鈕圖標(圖4)。同時軟件內(nèi)置的那些熱門網(wǎng)址也無法手動刪除。這就導(dǎo)致用戶想使用網(wǎng)頁導(dǎo)航時,需要先越過一堆自己不需要的“熱門網(wǎng)址”,然后盡量無視一排排樣式一模一樣的黃澄澄的圖標,從圖標下的文字來辨別自己真正需要到達的網(wǎng)址。
小編點評
金山桌面助手提供的右鍵管理是個頗為實用的亮點,由于許多軟件都自動在點擊鼠標右鍵之后的彈窗中占據(jù)了一個有利位置,從而導(dǎo)致點擊鼠標右鍵之后顯示的內(nèi)容多到讓人厭煩,而金山桌面助手的右鍵管理可以分別清除文件、瀏覽器和桌面中顯示的右鍵菜單(如圖4)。
應(yīng)用功能對比
每一款桌面工具都提供了自己的應(yīng)用市場類功能,不過各自的市場提供的應(yīng)用卻有著天壤之別。
酷魚桌面的更新列表中,全部都是各類新奇桌面小工具,并沒有其他方面的應(yīng)用;而360安全桌面和金山桌面助手有著龐大的應(yīng)用數(shù)據(jù)庫,用戶可以找到所有類型的應(yīng)用軟件,不過相對而言360安全桌面提供的軟件要更多一些;而騰訊Q+由于才剛剛起步,所以在數(shù)量上根本無法同金山和360相提并論,而且騰訊Q+的應(yīng)用市場全部都是基于Web,沒有一款是應(yīng)用軟件(如圖6),看樣子Q+已經(jīng)將應(yīng)用軟件交給了QQ電腦管家,完全奔向了云平臺。
小編點評
騰訊Q+和360安全桌面都提供了應(yīng)用動態(tài)提醒功能,不過并不是每個用戶都喜歡這一推送功能。如果用戶覺得被某個應(yīng)用的動態(tài)騷擾了,騰訊Q+可以很方便的設(shè)置屏蔽。當有新的提醒時會在消息中心以及對應(yīng)的應(yīng)用右上角出現(xiàn)新消息符號,只是顯示紅點以及數(shù)字。而360安全桌面的今日熱門總是會惱人的不斷跳動,時常分散用戶的注意力。
一、高速公路收費的理論依據(jù)
經(jīng)過多年的發(fā)展,當前高速公路收費的理論依據(jù)主要包括兩兩個,即公共物品理論和公共治理理論。其具體內(nèi)容如下:
1.公共物品理論
根據(jù)公共管理學(xué)相關(guān)的原理,高速公路屬于準公共物品。準公共物品的范圍較為廣泛,它介于私人物品和純公共物品之間,這使得其同時具有私人物品和純公共物品的部分特征和屬性。而在高速公路中,其較為明顯的準公共物品的特征和屬性主要包括廣泛的外部性、自然壟斷性以及不完全的非競爭性這三個方面。其中,高速公路的外部性主要體現(xiàn)在兩個方面。一方面,高速公路具有廣泛的正外部性,它不僅為社會提高了便捷且安全的交通,而且也大大提高了通行的效率。同時,高速公路交通具有較大的社會效益。另一方面,高速公路還具有一定的負外部性,它不僅給沿線地區(qū)帶來了較大的噪音污染,而且也對沿線地區(qū)的生態(tài)環(huán)境造成一定的破壞。
高速公路的自然壟斷性主要由兩個方面共同決定的。一方面,高速公路可供選取的資源非常有限,這使得高速公路業(yè)者能夠以提高收費標準的方式來壟斷利益。另一方面,高速公路的建設(shè)需要投入大量的財力、物力、人力,且對土地資源的占用也較多,這使得外來投資者難以進入到該行業(yè)之中。
高速公路具有不完全的非競爭性是指其與一般純公共商品不同,高速公路的成本受其使用者的影響。同時,這也會給其它車輛帶來負面的影響。例如,高速公路的通行容量是有一定限度的,若通行車輛大幅度增加,則會降低其它高速公路使用者的效用。此外,高速公路是采用封閉道路的方式來提供通行服務(wù),這大大局限了直接受益者的范圍。
2.公共治理理論
公共治理是一種公共領(lǐng)域的治理模式,它具有治理方式與依據(jù)多樣化以及治理主體多元化等特點。社會上的部門在公共治理理論中被分為非營利部門、企業(yè)部門以及政府部門這三種。在公共治理中,其首要的目的是為了對公共物品進行有效的組織,以此來對公共管理手段和機制進行改善,并使市場機制的作用得以充分的發(fā)揮。同時,還將非營利部門和企業(yè)的管理模式引入其中。此外,公共治理強調(diào)將他治替換為自治,并主張對公共物品的政府壟斷管理進行打破。
基于以上理論,高速公路應(yīng)將市場化的運營機制引入其中,以此來激發(fā)社會其它組織投資高速公路建設(shè)的積極性。同時,在對高速收費制度進行制定時,還必須將公共管理理論合理、科學(xué)地應(yīng)用到其中。
二、我國高速公路收費的政策評價
公路是一項重要的公共基礎(chǔ)設(shè)施,其發(fā)展離不開國家政策的支持。同時,高速公路收費的制定與實施依賴于國家的政策。換言之,國家相關(guān)政策是否合理和科學(xué)會對高速公路收費制度造成直接的影響。因此,對我國高速公路收費的政策進行評價有著重要的意義。其具體評價的內(nèi)容如下:
1.我國高速公路收費政策對高速公路交通發(fā)展的影響
在我國,高速公路收費政策的制定推動了高速公路交通的發(fā)展,它解決了高速公路資金不足的問題,從而為高速公路的建設(shè)與養(yǎng)護提供了資金保障。同時,高速公路收費政策對于我國高速公路發(fā)展而言,至關(guān)重要。其作用主要包括以下幾個方面:一是,為我國高速公路的建設(shè)實現(xiàn)市場化創(chuàng)造了必不可少的條件;二是,為我國高速公路的投資和運營管理提供了重要的參考依據(jù);三是,激發(fā)了全社會助力高速公路交通行業(yè)發(fā)展的積極性;四是,有利于提高我國高速公路行業(yè)的綜合管理水平;等等。
2.我國高速公路收費政策存在的問題及其原因分析
目前,我國高速公路收費癥狀的現(xiàn)狀并不樂觀,仍然存在一系列問題。其問題主要表現(xiàn)在以下幾個方面:一是,高速公路收費政策無法滿足當前企業(yè)多資金的合理需求;二是,高速公路收費政策對高速公路交通量的引導(dǎo)作用并不強;三是,各個地域高速公路收費政策并不協(xié)調(diào);四是,高速公路收費政策缺乏必要的差異性,且其收費方式也較為落后;等等。
究其原因,主要包括以下兩點:一是,我國高速公路收費政策管理的主體較為單一,且其管理手段也過于行政化;二是,我國高速公路收費政策的調(diào)整機制并不科學(xué)合理;同時,其調(diào)整機制缺乏一定的靈活性,不僅高速公路收費政策制定的程序一樣,而且其調(diào)整也主要由相關(guān)政府部門掌控。