| LOGISCOPE是法國Telelogic公司推出的專用于軟件質(zhì)量保證和軟件測試的產(chǎn)品。其主要功能是對軟件做質(zhì)量分析和測試以保證軟件的質(zhì)量，并可做認(rèn)證、反向工程和維護(hù)，特別是針對要求高可靠性和高安全性的軟件項目和工程。 |
| 本產(chǎn)品應(yīng)用于軟件的整個生命周期，它貫穿于軟件需求分析階段à設(shè)計階段->代碼開發(fā)階段->軟件測試階段（代碼審查、單元/集成測試和系統(tǒng)測試）->軟件維護(hù)階段的質(zhì)量驗證要求。 |
| 在設(shè)計和開發(fā)階段，使用LOGISCOPE可以對軟件的體系結(jié)構(gòu)和編碼進(jìn)行確認(rèn)。可以在盡可能的早期階段檢測那些關(guān)鍵部分，尋找潛在的錯誤，并在禁止更改和維護(hù)工作之前做更多的工作。在構(gòu)造軟件的同時，就定義測試策略。可幫助編制符合企業(yè)標(biāo)準(zhǔn)的文檔，改進(jìn)不同開發(fā)組之間的交流；在測試階段用LOGISCOPE，使測試更加有效。可針對軟件結(jié)構(gòu)，度量測試覆蓋的完整性，評估測試效率，確保滿足要求的測試等級。特別是，LOGISCOPE還可以自動生成相應(yīng)的測試分析報告；在軟件的維護(hù)階段，用LOGISCOPE驗證已有的軟件是否是質(zhì)量已得到保證的軟件，對于狀態(tài)不確定的軟件，LOGISCOPE可以迅速提交軟件質(zhì)量的評估報告，大幅度地減少理解性工作，避免非受控修改引發(fā)的錯誤。 |
| 本產(chǎn)品的最終目的是評估和提高軟件的質(zhì)量等級，采用基于國際間的標(biāo)準(zhǔn)度量方法（如Halstead、McCabe等）的質(zhì)量模型對軟件進(jìn)行分析，從軟件的編程規(guī)則，靜態(tài)特征和動態(tài)測試覆蓋等多個方面，量化地定義質(zhì)量模型，并檢查、評估軟件質(zhì)量。 |
| ● LOGISCOPE 獲取ISO/IEC9126 定義的"Quality Characteristics "； |
| ● LOGISCOPE 為ISO-9001提供需求（test acceptance criteria and qulity records ），自動確定ISO9001認(rèn)證過程的任務(wù)； |
| ● LOGISCOPE 提供SEI/CMM在第2 級（Repeatable ）所要求的軟件質(zhì)量跟蹤等關(guān)鍵實踐的要求，推進(jìn)開發(fā)組織盡快達(dá)到SEI/CMM 的3級。 |
| ● 在有合同關(guān)系時，合同方可以用LOGISCOPE 明確定義驗收時質(zhì)量等級和執(zhí)行測試。承制方可以用LOGISCOPE 驗證其軟件的質(zhì)量。 |
| ● 對所有的開發(fā)者提供確保代碼質(zhì)量和進(jìn)行有效測試的方法 |
| ● 對項目管理者和質(zhì)量工程師提供對整個項目進(jìn)行制度化的測試和評估。 |
| ● 創(chuàng)立公司的技術(shù)文化： |
| 1 完美的開發(fā)環(huán)境集成，很容易訪問和運行LOGISCOPE； |
| 3 當(dāng)達(dá)到要求的測試等級時，軟件才可以離開測試階段； |
| 5 項目領(lǐng)導(dǎo)能把全部結(jié)果自動編制到日常報告中； |
| 6 質(zhì)量工程師可以把項目作為一個整體,自動編寫詳細(xì)的報告。 |
| 目前，LOGISCOPE產(chǎn)品在全世界的26個國家的眾多國際知名企業(yè)得到了廣泛的應(yīng)用，其用戶涉及通訊、電子、航空、國防、汽車、運輸、能源及工業(yè)過程控制等眾多領(lǐng)域。現(xiàn)簡單介紹如下： |
| ● 歐洲的衛(wèi)星生產(chǎn)廠商Matla Marconi Space； |
| ● 直升機(jī)生產(chǎn)廠商Eurocopter； |
| ● 航空航天領(lǐng)域有Aérospatiale, Alcatel Space, Boeing, CNES, Northrop Grumman等國際著名公司； |
| 下面分別介紹LOGISCOPE產(chǎn)品的3個功能： |
| ● RuleChecker 語法規(guī)則分析功能； |
| ● TestChecker 動態(tài)測試功能。 |
| 本產(chǎn)品采用的是包括軟件質(zhì)量標(biāo)準(zhǔn)化組織制定的ISO9126模型在內(nèi)的質(zhì)量模型。質(zhì)量模型描述了從Halstend、McCabe的質(zhì)量方法學(xué)引入的質(zhì)量因素、質(zhì)量準(zhǔn)則和質(zhì)量度量元。即本模型是一個三層的結(jié)構(gòu)組織： |
| b． 質(zhì)量準(zhǔn)則[Criteria] |
| 質(zhì)量因素是從用戶角度出發(fā)，對軟件的質(zhì)量特性進(jìn)行總體評估；質(zhì)量準(zhǔn)則從軟件設(shè)計者角度出發(fā)，設(shè)計為保障質(zhì)量因素所必須遵循的法則；質(zhì)量度量元從軟件測試者角度出發(fā)，驗證是否遵循質(zhì)量準(zhǔn)則。一個質(zhì)量因素由一組質(zhì)量準(zhǔn)則來評估；一個質(zhì)量準(zhǔn)則由一組質(zhì)量度量元來驗證。其關(guān)系如圖所示。 |
|
質(zhì)量結(jié)構(gòu)關(guān)系圖
|
| LOGISCOPE從系統(tǒng)[Application]、類[Class]和函數(shù)[Function]三個層次詳細(xì)規(guī)定了上述質(zhì)量特性及其組成關(guān)系。以C++程序的類層為例： |
| ● 可維護(hù)性[MAINTAINABILITY] |
| 質(zhì)量度量元較多，在此不詳細(xì)描述。 |
| 靜態(tài)分析Audit部件將軟件與所選的質(zhì)量模型進(jìn)行比較，生成軟件質(zhì)量分析報告。顯示軟件質(zhì)量等級的概要圖形表示，因此可以把精力集中到需要修改的代碼部分。對度量元素和質(zhì)量模型不一致的地方作出解釋并提出糾正的方法。通過對軟件質(zhì)量進(jìn)行評估及生成控制流圖和調(diào)用圖,發(fā)現(xiàn)最大可能發(fā)生錯誤的部分。一旦發(fā)現(xiàn)這些部分，可以使用度量元及控制流圖、調(diào)用圖等手段做進(jìn)一步分析。 |
| LOGISCOPE根據(jù)質(zhì)量模型，生成相應(yīng)的軟件質(zhì)量分析報告（HTML形式）。 |
| 可清楚分析和觀察每個類或方法中的質(zhì)量度量元的數(shù)值，判斷其是否合法。 |
| 可清楚分析和判斷各質(zhì)量因素所含有的質(zhì)量準(zhǔn)則的數(shù)值和合格性。 |
| 針對系統(tǒng)層、類層和函數(shù)層，分別分析質(zhì)量因素的合格性和所占百分比。 |
| 控制流圖顯示算法的邏輯路徑。其圖形表示適用于評價函數(shù)的復(fù)雜性。 |
| 調(diào)用圖顯示過程和函數(shù)之間的關(guān)系，非常適用于檢查應(yīng)用系統(tǒng)的設(shè)計。 |
| Kiviat圖使質(zhì)量等級與所選擇的參考之間的一致性對比更加可視化。 |
| LOGISCOPE提供編碼規(guī)則與命名檢驗，這些規(guī)則是根據(jù)業(yè)界標(biāo)準(zhǔn)和經(jīng)驗所制訂。因此可建立企業(yè)可共同遵循的規(guī)則與標(biāo)準(zhǔn)，而避免自我不良的編程習(xí)慣及彼此不相容的困擾。同時LOGISCOPE還提供規(guī)則的裁剪和編輯功能，可以用Tcl、腳本和編程語言定義新的規(guī)則。 |
| 為控制測試的有效性，必須定義準(zhǔn)則和策略以判斷何時結(jié)束測試階段。準(zhǔn)則必須是客觀和可量化的元素。LOGISCOPE推薦對指令、邏輯路徑和調(diào)用路徑覆蓋測試。根據(jù)應(yīng)用的準(zhǔn)則和項目相關(guān)的約束，可以定義使用的度量方法和要達(dá)到的覆蓋率，度量測試的有效性。 |
| TestChecker產(chǎn)生每個測試的測試覆蓋信息和累計信息。用直方圖顯示覆蓋比率，并根據(jù)測試運行情況實時更改。隨時顯示新的測試所反映的測試覆蓋情況。TestChecker允許所有的測試運行依據(jù)其有效性進(jìn)行管理。用戶可以減少那些用于非回歸測試的測試。被執(zhí)行過的函數(shù)，一旦作了修改需要重新運行時，LOGISCOPE將會標(biāo)出。優(yōu)化測試過程在測試階段的第一步，執(zhí)行的測試是功能性測試。其目的是檢查所期望的功能是否已實現(xiàn)。在測試初期，覆蓋比率迅速增加。象樣的測試工作一般能達(dá)到70%的覆蓋率。但是，要提高此比率是十分困難的。主要是由于測試覆蓋了相同的測試路徑。在該階段需要對測試策略做一些改變。應(yīng)當(dāng)執(zhí)行結(jié)構(gòu)化測試，即，要檢測沒有執(zhí)行的邏輯路徑，定義適當(dāng)?shù)臏y試覆蓋這些路徑。在測試執(zhí)行期間，當(dāng)測試策略改變時，綜合的運用TestChecker檢測關(guān)鍵因素以提高效率。將TestChecker與靜態(tài)分析相互依賴使用能夠幫助用戶分析未測試的代碼。用戶可以顯示所關(guān)心的代碼，并通過對執(zhí)行未覆蓋的路徑的觀察得到有關(guān)的信息。信息以圖形（控制流圖）和文本（偽代碼和源文件）的形式提交，并在其間建立導(dǎo)航關(guān)聯(lián)。TestChecker管理系統(tǒng)能聲明新的測試、編制有關(guān)文檔、定義啟動命令、以及自動執(zhí)行的方法。 |
| 同時LOGISCOPE 支持對嵌入式領(lǐng)域軟件的測試。眾所周知，嵌入式系統(tǒng)軟件的測試是最為困難的。因為，它的開發(fā)是用交叉編譯方式進(jìn)行的。在目標(biāo)機(jī)（Target）上，不可能有多余的空間記錄測試的信息。必須實時地將測試信息通過網(wǎng)線/串口傳到宿主機(jī)（Host）上，并實時在線地顯示。因此，對源代碼的插裝和目標(biāo)機(jī)上的信息收集與回傳成為問題的關(guān)鍵。LOGISCOPE 很好地解決了這些技術(shù)，成為嵌入式領(lǐng)域測試工具的佼佼者。它支持各種實時操作系統(tǒng)（RTOS）上的應(yīng)用程序的測試，也支持邏輯系統(tǒng)的測試。Logiscope 提供VxWorks 、pSOS 、VRTX 實時操作系統(tǒng)的測試庫。 |
|