專利名稱：一種系統(tǒng)工程的輔助設(shè)計或驗證方法及裝置的制作方法
技術(shù)領(lǐng)域：
本發(fā)明屬于計算機輔助設(shè)計或驗證領(lǐng)域，尤其涉及一種系統(tǒng)工程開發(fā)過程的輔助 設(shè)計或驗證方法及裝置。
背景技術(shù)：
隨著計算機技術(shù)、微電子技術(shù)、軟件工程技術(shù)的發(fā)展，電子系統(tǒng)的規(guī)模越來越大， 功能越來越復(fù)雜。軟硬件的設(shè)計復(fù)雜度成線性增長，從而帶來的軟硬件的驗證與測試的復(fù) 雜度成指數(shù)型增長?，F(xiàn)有的開發(fā)平臺和EDA仿真工具，基本都是停留在支持代碼及以下級 別的設(shè)計與驗證，沒有真正意義上較完善的用于思路級輔助設(shè)計或驗證的EDA開發(fā)工具。 現(xiàn)有分析工具的情況是對于人工分析來說，多為簡單的文檔文字記錄，由于沒有科學(xué)的思 路整理方法學(xué)作為指導(dǎo)，使得初級工程師和資深工程師的分析存在很大的差距，分析過程 經(jīng)常出現(xiàn)遺漏；對于自動分析來說，比如EDA工具提供的對覆蓋率的分析，也只是實現(xiàn)了在 思路點確定后的統(tǒng)計功能，沒有確定思路點的功能。對系統(tǒng)各資源之間的關(guān)系、資源的利用和共享、測試用例的整合度、功能覆蓋度等 問題進行分析，使設(shè)計和驗證人員的視角不被限制在自己的模塊中，能夠和整個系統(tǒng)網(wǎng)絡(luò) 的橫向發(fā)展與縱向延伸結(jié)合，引導(dǎo)對思路分析的共享性、思路分析的可讀性、思路分析的可 修改性、思路分析的連貫性、思路分析的統(tǒng)一性、思路分析的擴展性等問題的思考，并將分 析數(shù)據(jù)用于系統(tǒng)開發(fā)的后續(xù)流程，這個問題直接影響到對項目風(fēng)險的控制和對項目進程的 管理。目前的系統(tǒng)開發(fā)過程，還缺乏一個在早期可以有效地對系統(tǒng)進行分析對思路進行 整理，保證目標和思路的一致性、思路和產(chǎn)品的一致性，并將分析整理的結(jié)果用于整個項目 流程的管理的方法和平臺。對系統(tǒng)的分析過程沒有規(guī)范的方法進行引導(dǎo)，沒有基于方法學(xué) 的思路分析工具的輔助，對系統(tǒng)的分析、制定的設(shè)計驗證計劃容易出現(xiàn)漏洞，從而增加了系 統(tǒng)開發(fā)的波動性，并且早期的分析和計劃和后期的代碼實現(xiàn)存在不一致的風(fēng)險。對于驗證來說，早期就對項目功能測試點進行全面完整的分析，就能對項目風(fēng)險 進行有效的評估，使項目呈現(xiàn)平穩(wěn)、收斂式的發(fā)展。思路級上的矛盾、冗余或者缺陷，會影響 這個系統(tǒng)的功能和性能。如何從思路級進行規(guī)范達到對整個開發(fā)過程的引導(dǎo)，并縮短工程 時間，提高一次成功率，還沒有一個有效實用且低成本的方法。

發(fā)明內(nèi)容
本發(fā)明的目的在于提供一種系統(tǒng)工程開發(fā)的輔助設(shè)計或驗證方法，旨在解決現(xiàn)有 技術(shù)中輔助設(shè)計或驗證方法沒有對系統(tǒng)進行全面完整規(guī)范的分析的問題。所述一種系統(tǒng)工程的輔助設(shè)計或驗證方法包括根據(jù)所述系統(tǒng)的規(guī)格說明或需求說明，將其逐層分解出更小的子系統(tǒng)；選擇需要的系統(tǒng)或子系統(tǒng)并根據(jù)其規(guī)格說明或需求說明分解出所述系統(tǒng)或子系 統(tǒng)層下思路級最小功能單元的元素；
分析所述元素所含有的屬性及對應(yīng)的屬性值，然后統(tǒng)計出所述系統(tǒng)或子系統(tǒng)、元 素及屬性的標簽、資源、資源特征及相互之間的結(jié)構(gòu)信息；所有元素進行兩兩配對并對配對的元素之間的關(guān)系進行定義及所述關(guān)系的各方 面進行描述，然后統(tǒng)計出所述配對、關(guān)系、方面的標簽、資源、資源特征及相互之間的結(jié)構(gòu)信 息；將所述配對及其關(guān)系整合為部件后進行選擇性重組及打包成組合流，并統(tǒng)計出部 件、作為選擇條件的約束、組合流及其內(nèi)部成分的標簽、資源、資源特征及相互之間的結(jié)構(gòu) fn息；對實際系統(tǒng)工程進行建模，按需求模型模版對包括上述資源、工程項目條款和供 需資源在內(nèi)的資源進行映射，然后將根據(jù)算法例化后的應(yīng)用實例引入項目流程并得到反 饋；將反饋中的問題帶回系統(tǒng)分析，然后進行修改與重建，再將重建后的應(yīng)用實例帶 回項目流程。本發(fā)明的另一目的在于提供一種系統(tǒng)工程的輔助設(shè)計或驗證裝置，所述裝置包 括系統(tǒng)分解模塊，用于根據(jù)所述系統(tǒng)的規(guī)格說明或需求說明，將其逐層分解出更小 的子系統(tǒng)及其規(guī)格說明或需求說明；子系統(tǒng)選擇及分解模塊，用于選擇需要的系統(tǒng)或子系統(tǒng)并根據(jù)其規(guī)格說明或需 求說明分解出所述系統(tǒng)或子系統(tǒng)層下思路級最小功能單元的元素及其規(guī)格說明或需求說 明；一維分析模塊，用于分析所述元素所含有的屬性及對應(yīng)的屬性值，然后統(tǒng)計出所 述系統(tǒng)或子系統(tǒng)、元素及屬性的標簽、資源、資源特征及相互之間的結(jié)構(gòu)信息；二維分析模塊，用于將所有元素進行兩兩配對并對配對的元素之間的關(guān)系進行定 義及所述關(guān)系的各方面進行描述，然后統(tǒng)計出所述配對、關(guān)系、方面的標簽、資源、資源特征 及相互之間的結(jié)構(gòu)信息；多維分析模塊，用于將所述配對及其關(guān)系整合為部件后進行選擇性重組及打包成 組合流，并統(tǒng)計出部件、作為選擇條件的約束、組合流及其內(nèi)部成分的標簽、資源、資源特征 及相互之間的結(jié)構(gòu)信息。需求模型建立模塊，用于對實際系統(tǒng)工程進行建模，按需求模型模版對所述系統(tǒng) 中的所有資源、工程項目條款和供需資源進行映射，然后將根據(jù)算法例化后的應(yīng)用實例引 入項目流程并得到反饋。問題反饋與修正模塊，用于將反饋中的問題帶回系統(tǒng)分析，然后進行修改與重建， 再將重建后的應(yīng)用實例帶回項目流程。本發(fā)明的有益效果是，通過對所述系統(tǒng)中各元素、元素之間的關(guān)系及元素組合的 整理和分析，提供了團隊思路碰撞交流整合的方法和平臺，滿足了對思路分析的共享性、思 路分析的可讀性、思路分析的可修改性、思路分析的連貫性、思路分析的統(tǒng)一性、思路分析 的擴展性的要求，減小項目發(fā)展中的波動性，指導(dǎo)項目在思路級劃定的正確范圍內(nèi)發(fā)展。所 有的思路點都碰到了，沒有遺漏，指導(dǎo)方向明確，縮短項目時間，提高一次成功率。


圖1是本發(fā)明實施例提供的一種系統(tǒng)工程的輔助設(shè)計或驗證方法的流程圖；圖2是本發(fā)明實施例提供的輔助設(shè)計或驗證方法中一維分析結(jié)構(gòu)示意圖；圖3是本發(fā)明實施例提供的輔助設(shè)計或驗證方法中一維分析標簽示意圖；圖4是本發(fā)明實施例提供的輔助設(shè)計或驗證方法中一維分析統(tǒng)計示意圖；圖5是本發(fā)明實施例提供的輔助設(shè)計或驗證方法中二維分析結(jié)構(gòu)示意圖；圖6是本發(fā)明實施例提供的輔助設(shè)計或驗證方法中二維分析標簽示意圖；圖7是本發(fā)明實施例提供的輔助設(shè)計或驗證方法中二維分析統(tǒng)計示意圖；圖8是本發(fā)明實施例提供的輔助設(shè)計或驗證方法中多維分析結(jié)構(gòu)示意圖；圖9是本發(fā)明實施例提供的輔助設(shè)計或驗證方法中多維分析標簽示意圖；圖10是本發(fā)明實施例提供的輔助設(shè)計或驗證方法中多維分析統(tǒng)計示意圖；圖11是本發(fā)明實施例提供的輔助設(shè)計或驗證方法中建模應(yīng)用過程示意圖；圖12是本發(fā)明實施例提供的一種系統(tǒng)工程的輔助設(shè)計或驗證裝置的結(jié)構(gòu)圖。
具體實施例方式為了使本發(fā)明的目的、技術(shù)方案及優(yōu)點更加清楚明白，以下結(jié)合附圖及實施例，對 本發(fā)明進行進一步詳細說明。應(yīng)當(dāng)理解，此處所描述的具體實施例僅僅用以解釋本發(fā)明，并 不用于限定本發(fā)明。本發(fā)明是通過將系統(tǒng)工程的系統(tǒng)或子系統(tǒng)分解成元素；然后對各元素進行分析與 統(tǒng)計，其次對所有任意兩元素之間的關(guān)系進行分析與統(tǒng)計，再后對多元素的組合進行分析 與統(tǒng)計，最后根據(jù)項目需求，建立各種實際應(yīng)用中需要的需求應(yīng)用模型，指導(dǎo)整個項目的開 展；并在項目流程進展中出現(xiàn)問題的時候反饋回系統(tǒng)分析，進行重新分析與修正，再帶回項 目流程。達到從整體上對系統(tǒng)進行分析和對工程進行控制。本發(fā)明所指的系統(tǒng)工程可以是實際的系統(tǒng)工程，也可以是所面對的要解決的應(yīng)用 問題點的系統(tǒng)化后形成的系統(tǒng)工程，子系統(tǒng)的劃分可以根據(jù)物理結(jié)構(gòu)劃分，也可以根據(jù)邏 輯結(jié)構(gòu)劃分。圖1示出了本發(fā)明實施例提供的一種系統(tǒng)工程的輔助設(shè)計或驗證方法的流程。該 系統(tǒng)工程的輔助設(shè)計或驗證方法包括以下步驟步驟S101，根據(jù)所述系統(tǒng)的規(guī)格說明或需求說明，將其逐層分解出更小的子系統(tǒng)。步驟S102，選擇需要的系統(tǒng)或子系統(tǒng)并根據(jù)其規(guī)格說明或需求說明分解出所述系 統(tǒng)或子系統(tǒng)層下思路級最小功能單元的元素。步驟S103，分析所述元素所含有的屬性及對應(yīng)的屬性值，然后統(tǒng)計出所述系統(tǒng)或 子系統(tǒng)、元素及屬性的標簽、資源、資源特征及相互之間的結(jié)構(gòu)信息。步驟S104，所有元素進行兩兩配對并對配對的元素之間的關(guān)系進行定義及所述關(guān) 系的各方面進行描述，然后統(tǒng)計出所述配對、關(guān)系、方面的標簽、資源、資源特征及相互之間 的結(jié)構(gòu)信息。步驟S105，將所述配對及其關(guān)系整合為部件后進行選擇性重組及打包成組合流， 并統(tǒng)計出部件、作為選擇條件的約束、組合流及其內(nèi)部成分的標簽、資源、資源特征及相互 之間的結(jié)構(gòu)信息。
輔助設(shè)計或驗證方法中所述標簽可以分級表示，可以是確切數(shù)值，可以是類別。分 析中所述統(tǒng)計可以是列表統(tǒng)計，可以是數(shù)量統(tǒng)計，可以是比例統(tǒng)計。步驟S103對系統(tǒng)中的 每個個體進行分析統(tǒng)計，所以在下文也稱之為一維分析；步驟S104為對系統(tǒng)工程中的兩兩 個體間進行分析統(tǒng)計，所以在下文也稱之為二維分析；步驟S105為對系統(tǒng)工程中的多個體 進行組合分析統(tǒng)計，所以在下文也稱之為多維分析。輔助設(shè)計或驗證方法中各步驟的具體 過程如下所述一維分析(1_D)，又稱為個體分析(Atomic)過程，是通過對所述系統(tǒng)或子系統(tǒng)的 縱向樹狀分解進行分析，其具體如下圖2示出了本發(fā)明實施例提供的輔助設(shè)計或驗證方法中一維分析結(jié)構(gòu)。該一維分 析結(jié)構(gòu)視圖(Structure view)包括以下部分(a)系統(tǒng)級(System level)部分。首先根據(jù)所述系統(tǒng)的規(guī)格說明 (SystemSpecification(簡寫為S))或者所述系統(tǒng)的需求說明(System Requirement (簡寫 為R))，將所述系統(tǒng)(System)劃分為子系統(tǒng)(Subsystem)，子系統(tǒng)可以再劃分為粒度更小的 子系統(tǒng)，解析出各子系統(tǒng)的規(guī)格說明(SubsystemSpecificatior^簡寫為S))或者子系統(tǒng)的 需求說明(Subsystem Requirement (簡寫為 R))。(b)元素級(Element level)部分。選擇所需要的所述系統(tǒng)(或者所述子系統(tǒng)) 的規(guī)格說明或者需求說明，將其分解為本系統(tǒng)層思路級所考慮的最小功能單元，即元素 (Element)，并解析出元素規(guī)格說明或者需求說明(Element S/R)。元素可以是靜態(tài)的，比 如模塊(module)；也可以是動態(tài)的，比如事務(wù)(transaction)、事件(event)或者任務(wù) (task)。(c)屬性級(Property level)部分。根據(jù)所述元素規(guī)格說明或者需求說明對所述 元素進行屬性分析，分析出所述元素所含有的屬性(Property)，以及對應(yīng)該屬性的值。這 些屬性可以是各元素都有的公共(Public)屬性，也可以是某元素獨有的特殊(Private)屬 性。圖3示出了本發(fā)明實施例提供的輔助設(shè)計或驗證方法中一維分析標簽。該一維 分析標簽視圖(Tag view)具體的組成方式為對所述各系統(tǒng)(或者子系統(tǒng))、元素、屬性 進行內(nèi)部分類，貼上對應(yīng)的系統(tǒng)標簽(System tag)、元素標簽(Element tag)、屬性標簽 (Property tag)。再將各種標簽信息存入標簽倉庫(Tagwarehouse)。圖4示出了本發(fā)明實施例提供的輔助設(shè)計或驗證方法中一維分析統(tǒng)計。該一維分 析統(tǒng)計視圖(Statistics view)包括以下部分(a)實體信息統(tǒng)計(Entity information)部分。對所述的系統(tǒng)(或者子系統(tǒng)) 的資源(System resource)、元素的資源(Element resource)、屬性的資源(Property resource)進行統(tǒng)計。(b)結(jié)構(gòu)信息統(tǒng)計(Structure information)部分。對所述的系統(tǒng)級和元素 級之間的結(jié)構(gòu)信息(System level<->Element level)、元素級和屬性級之間的結(jié)構(gòu) 信息(Element level<->Property level)、系統(tǒng)級和屬性級之間的結(jié)構(gòu)信息(System level<->Property level)進行統(tǒng)計。(c)特征信息統(tǒng)計(Character information)部分。對所述本步驟中分析出的所 有資源進行特征分類統(tǒng)計，比如提供型特征(Supply)、需求型特征(Require)、共享型特征(Public)、私有型特征(Private)等。(d)標簽信息統(tǒng)計(Tag information)部分。對所述系統(tǒng)標簽統(tǒng)計(Systemtag stat)、對所述元素標簽統(tǒng)計(Element tag stat)、對所述屬性標簽統(tǒng)計(Property tag stat)0 二維分析(2_D)，又稱為兩兩個體間分析(Intra Atomic)過程，是對所述系統(tǒng)的 所有所述元素之間的橫向關(guān)系進行分析，具體如下圖5示出了本發(fā)明實施例提供的輔助設(shè)計或驗證方法中二維分析結(jié)構(gòu)。該二維分 析結(jié)構(gòu)視圖(Structure view)生成過程包括以下階段(a)配對階段(Pairing stage) 0將所述系統(tǒng)中的所有所述元素進行兩兩配對的 遍歷。配對為有序配對，存在源元素(Source)和目的元素(Destination)。如果所分析 元素間本身不存在有序性，則出現(xiàn)重復(fù)，但重復(fù)是必要的，從方法學(xué)來說保證了方法不出 現(xiàn)遺漏。配對過程中存在已處理元素(settled)、當(dāng)前處理元素(current)和未處理元素 (unsettled)。(b)定義階段(Defining stage) 0對所有所述配對成組的元素之間的關(guān)系 (Relationship)進行定義。定義的關(guān)系和所述配對一一對應(yīng)。(c)描述階段(Describing stage)。對所述各關(guān)系的各個方面(aspects)進行描 述。包括連接性(Connectivity)、順序性(Succession)、交互性(Interactivity)、接口 (Interface)、擴展性(Expansibility)、重用性(Reusability)等。各階段都生成相應(yīng)的視圖，方便用戶對整個二維分析結(jié)構(gòu)的清晰把握。圖6示出了本發(fā)明實施例提供的輔助設(shè)計或驗證方法中二維分析標簽。該二維分 析標簽視圖(Tag view)的生成方式為對所述各配對、關(guān)系、方面進行內(nèi)部分類，貼上對應(yīng) 的配對標簽(Couple tag)、關(guān)系標簽(Relationship tag)、方面標簽(Aspect tag)。再將 各種標簽信息存入標簽倉庫(Tag warehouse)。圖7示出了本發(fā)明實施例提供的輔助設(shè)計或驗證方法中二維分析統(tǒng)計。該二維分 析統(tǒng)計視圖(Statistics view)包括以下部分(a)實體信息統(tǒng)計(Entity information)部分。對所述的配對的資源(Couple resource)、關(guān)系的資源(Relationship resource)、方面的資源(Aspectresource)進行統(tǒng) 計。(b)結(jié)構(gòu)信息統(tǒng)計(Structure information)部分。對所述的配對階段和定義 階段之間的結(jié)構(gòu)信息(Pairing stage<->Defining stage)、定義階段和描述階段之間的 結(jié)構(gòu)信息(Defining stage<->Describing stage)、配對階段和描述階段之間的結(jié)構(gòu)信息 (Pairing stage<->Describing stage)進 統(tǒng)計。(c)特征信息統(tǒng)計(Character information)部分。對所述本步驟中分析出的所 有資源進行特征分類統(tǒng)計，比如模塊型特征(Module)、特色點型特征(Feature)、覆蓋點型 特征(Coverage)、事務(wù)型特征(Transaction)等。(d)標簽信息統(tǒng)計(Tag information)部分。對所述配對標簽統(tǒng)計(Coupletag stat)、對所述關(guān)系標簽統(tǒng)計(Relationship tag stat)、對所述方面標簽統(tǒng)計(Aspect tag stat)0多維分析(multi_D)，又稱為多個體組合分析(Inter Atomic)過程，是對所述的各種由系統(tǒng)元素配對及其關(guān)系構(gòu)成的部件進行復(fù)制和選擇性重組、排序、鏈接、整合后構(gòu)成 的組合流進行分析，具體如下圖8示出了本發(fā)明實施例提供的輔助設(shè)計或驗證方法中多維分析結(jié)構(gòu)。該多維分 析結(jié)構(gòu)視圖(Structure view)包括以下部分(a)部件層(Assembly layer)部分。將所述的所有的配對及其關(guān)系整合起來構(gòu)成 部件(Assembly)，保存在部件集(Assemblies Set)中。(b)篩選層(Screening layer)部分。由條件濾波器(Conditionalfilter)和條 件重排器(Conditional arranger)組成。條件濾波器根據(jù)約束(Restriction)中的濾波 條件(Filtrate conditions)進行濾波，主要對所述部件中各標簽的內(nèi)容進行約束，以達到 篩選的目的。條件重排器根據(jù)約束中的排列條件(Arrange conditions)進行重排，主要對 所述部件之間的排列順序和使用個數(shù)進行約束，以達到篩選的目的。進入篩選層的部件來 源于部件集，并可以復(fù)制多個唯一定義的部件。(c)打包層(Packaging layer)部分。對所述經(jīng)過篩選后的有序部件組合進行疊 加(+)和整合(Integrate)，產(chǎn)生組合流(Flow)。整合后的組合流包括軀體部分(Body)、 膠連部分(Glue)、時序邏輯(Temporal)、特性部分(Attribute)。軀體部分為流的主要實體 部分，主要由所述元素組成；膠連部分主要是軀體鏈接作用，主要由所述關(guān)系構(gòu)成；時序邏 輯，主要描述整合后含有多所述元素混合工作性能的組合流的時序，涉及整個軀體和膠連 的組合；特性部分，描述所述組合流的特性，特別是由于含有整合后的有序多部件組合后產(chǎn) 生的組合特性。圖9示出了本發(fā)明實施例提供的輔助設(shè)計或驗證方法中多維分析標簽。該多維 分析標簽視圖(Tag view)生成方式為對所述各部件、約束、組合流、軀體部分、膠連部 分、時序邏輯、特性部分進行內(nèi)部分類，貼上對應(yīng)的部件標簽(Assembly tag)、約束標簽 (Restriction tag)、組合流標簽(Flow tag)、軀體標簽(Body tag)、膠連標簽(Glue tag)、 時序標簽(Temporal tag)、特性標簽(Attribute tag)。再將各種標簽信息存入標簽倉庫 (Tag warehouse)。圖10示出了本發(fā)明實施例提供的輔助設(shè)計或驗證方法中多維分析統(tǒng)計。該多維 分析統(tǒng)計視圖(Statistics view)包括以下部分(a)實體信息統(tǒng)計(Entity information)部分。對所述的部件的資源(Assembly resource)、^]胃的罾iH (Restriction resource) Λ ^ΜΨ^χΜ (Flow resource)、身區(qū) 資源(Body resource)、膠連的資源(Glue resource)、時序的資源(Temporal resource)、 特性的資源(Attribute resource)進行統(tǒng)計。(b)結(jié)構(gòu)信息統(tǒng)計(Structure information)部分。對所述部件層和篩 選層之間的結(jié)構(gòu)信息(ASSembly<->Screening)、篩選層和打包層之間的結(jié)構(gòu)信息 (Screening<->Packaging)、部件層和打包層之間的結(jié)構(gòu)信息(Assembly<->Packaging)進行統(tǒng)計。(c)特征信息統(tǒng)計(Character information)部分。對所述本步驟中分析出的所 有資源進行特征分類統(tǒng)計，比如并行型特征(Parallel)、串行型特征(Serial)、數(shù)據(jù)型特 征(Data)、控制型特征(Control)、靜態(tài)型特征(Static)、動態(tài)型特征(Dynamic)等。(d)標簽信息統(tǒng)計(Tag information)部分。對所述部件標簽統(tǒng)計(Assembly tagstat)、對所述約束標簽統(tǒng)計(Restriction tag stat)、對所述組合流標簽統(tǒng)計(Flow tag stat)、對所述軀體標簽統(tǒng)計(Body tag stat)、對所述膠連標簽統(tǒng)計(Glue tag stat)、對 所述時序標簽統(tǒng)計(Temporal tag stat)、對所述特性標簽統(tǒng)計(Attribute tag stat)。

本發(fā)明系統(tǒng)工程的輔助設(shè)計或驗證方法還包括建模應(yīng)用過程(Modelingand Applications)。圖11示出了本發(fā)明實施例提供的輔助設(shè)計或驗證方法中建模應(yīng)用過程。 建模應(yīng)用過程為對各種工程應(yīng)用進行應(yīng)用需求建模，將所分析出的各種信息資源和包括 人力和非人力資源在內(nèi)的項目供需資源信息映射到模型中，對項目進行指導(dǎo)，將指導(dǎo)中出 現(xiàn)的問題和結(jié)論反饋回映射后的模型中，其可以分為以下步驟(a)資源整理操作(Resource step) 0對所述通過一維分析、二維分析、多維分析 分析出的所有信息資源和包括人力和非人力的資源(human andnon-human sources)在內(nèi) 的所有實際項目的供需資源信息(Project supply anddemand resource)，比如時間、優(yōu) 先級安排、人員需求等，進行整理，存入資源庫。(b)工程建模操作(Modeling step)。首先，整理工程項目中的項目條款(Project items)，項目條款主要包括檢查員(Checker)、分類約束(ClassifiedConstraint)、代 碼(Code)、覆蓋率(Coverage)、覆蓋點(Coverage Point)、描述(Description)、特征 點(Feature Point)、 艮告(Log)、負責(zé)人(Owner)、審查員(Reviewer)、記分板(Score Board)、狀態(tài)(Status)、測試流(TestcaseFlow)、事務(wù)級波形圖(Transaction Waveform) 等。然后，經(jīng)過模板濾波器(Template fi Iter)，通過確定模型主鍵(Primary Key)、模型 候選鍵(CandidateKey)、模型公共鍵(Common Key)、模型外鍵(Foreign Key)和運算統(tǒng)計 操作(Computing Statistics)等數(shù)據(jù)庫模式參量和運算進行應(yīng)用需求建模。最后，在資源 映射濾波器(Resource map filter)中，將整理后的資源庫中的所有資源(Resource)和應(yīng) 用需求模型進行映射填充。(c)應(yīng)用例化操作(Instantiating step) 0將所述映射填充后的模型根據(jù)實 際應(yīng)用，通過相應(yīng)的信息提取算法例化(Instantiating)成各應(yīng)用實例。再將應(yīng)用實 例引入(Import)項目流程(Project Procedures)中去，然后通過走項目流程得到反 饋(Feedback)。所述應(yīng)用實例在軟硬件驗證(Software and HardwareVerification) 中主要包括特征點(Feature Point)、測試用例流(TestcaseFlow)、覆蓋點(Coverage Point)、流程管理與風(fēng)險控制(Process Managementand Risk Control)、代碼或偽代碼 (Code or Pseudocode)。所述代碼或偽代碼主要包括五方面結(jié)構(gòu)與實體(Structure and Entity)、覆蓋點與覆蓋率(Coverage Point and Coverage)、測試流與組合分析(Test Flow andCombination Analysis)、管理與控制(Management and Control)、自動化與算法 (Automation and Algorithm)。本發(fā)明實施例提供的系統(tǒng)工程的輔助設(shè)計或驗證方法還包括思路回環(huán)過程 (Backtracking)。該思路回環(huán)過程將所述應(yīng)用實例引入項目流程，得到項目流程的反饋后， 如果發(fā)現(xiàn)出現(xiàn)了思路級分析的問題，將問題點重新返回到一、二及多維分析步驟中進行重 新分析或修改，修改點可以影響整個維度分析過程和結(jié)果，再將修改后的應(yīng)用實例帶回項 目流程。本發(fā)明實施例提供的是一個通過使用簡單表格形式實現(xiàn)的系統(tǒng)工程的輔助設(shè)計 或驗證方法并將其應(yīng)用于軟硬件的驗證中的例子。具體如下
(1) 一維分析，其結(jié)構(gòu)視圖列表、標簽視圖列表、統(tǒng)計視圖列表分別如下表所示 SYSTEM_XXX為所述系統(tǒng)名，Element_n為所述元素名，Property_n為所述屬性名，E_n_P_ m為所述屬性值，X為空，Tag_S_XXX為所述系統(tǒng)標簽，Tag_E_n為所述元素標簽，Tag_P_ η為所述屬性標簽(1級)，Tag_P_n_m為所述屬性標簽(2級)，Entity information、Tag information、Structureinformation、Character information 等內(nèi)容為分析法中所述的 對應(yīng)標識，Statistics_XXX為所述對應(yīng)標識XXX的統(tǒng)計結(jié)果，其中n, m = 1,2···或A, B…。(2) 二維分析，其結(jié)構(gòu)視圖列表、標簽視圖列表、統(tǒng)計視圖列表分別如下表所示 SYSTEM_XXX為所述系統(tǒng)名，Element』*所述元素名，E_n_E_m為所述配對及對應(yīng)關(guān)系，X 為空，Tag_E_n為所述元素標簽，Tag_C_n為所述配對標簽，Tag_R_n為所述關(guān)系標簽，Tag_ A_n 為所述方面標簽，Entityinformation、Tag information、Structure information> Characterinformation等內(nèi)容為分析法中所述的對應(yīng)標識，Statistics_XXX為所述對應(yīng) 標識XXX的統(tǒng)計結(jié)果，其中n，m = 1，2...或A，B…。 (3)多維分析，其結(jié)構(gòu)視圖列表、標簽視圖列表、統(tǒng)計視圖列表分別如下表所示 SYSTEM_XXX為所述系統(tǒng)名，E_n_R_E_m為所述部件名，F(xiàn)low為所述組合流的標識列名，X為 空，數(shù)字1，2…為所述部件在所述流中的排列順序，E_n_E_m_...為所述組合流，Tag_ASB_ η為所述部件標簽，Tag_RSC_n為所述約束標簽，Tag_TEM_n為所述時序標簽，Tag_FLff_ η為所述組合流標簽，Tag_BDY_n為所述軀體標簽，Tag_GLU_n為所述膠連標簽，Tag_ATR_ η 為所述特性標簽。Entity information、Tag information、Structure information、 Characterinformation等內(nèi)容為分析法中所述的對應(yīng)標識，Statistics_XXX為所述對應(yīng) 標識XXX的統(tǒng)計結(jié)果，其中n，m = 1，2 "或々，B…。
(4)建模應(yīng)用過程和(5)思路回環(huán)過程。在軟硬件驗證中使用的各應(yīng)用列表和部 分代碼或偽代碼分別如下表所示(a)特征點(Feature Point)和流程管理與風(fēng)險控制(ProcessManagement and Risk Control)相結(jié)合=Group為所述特征點分類約束的標識列名，本例中舉例按維度分 組；Feature為所述特征點列舉的標識列名，本例中舉例屬性值、配對及其關(guān)系、組合流為 特征點；Checker為所述特征點檢查員的標識列名；Reviewer為所述特征點審查員的標識 列名；Log為對以上表中信息的統(tǒng)計，本例中舉例所述對屬性標簽的統(tǒng)計和所述對配對標 簽的統(tǒng)計等。
Log :
Statistics一P_tag ；- Statistics—C—tag ；......
I___(b)測試用例流(Testcase Flow)和流程管理與風(fēng)險控制(ProcessManagement and Risk Control)相結(jié)合=Constraint為所述測試用例流分類約束的標識列名，本例中舉 例按標簽分組；Flow為所述測試用例流列舉的標識列名，本例中舉例組合流；Status為所 述測試用例流狀態(tài)的標識列名；Score為所述測試用例流記分板的標識列名；Description 為所述測試用例流描述的標識列名；Reviewer為所述測試用例流審查員的標識列名；Log
為對以上表中信息的統(tǒng)計，本例中舉例所述對各種特性標簽的統(tǒng)計等。
Statistips_ATR_AJag . Stali、lics_,\ I HJ j:ig .......(C)覆蓋點(Coverage Point)和流程管理與風(fēng)險控制(ProcessManagement and Risk Control)相結(jié)合=Group為所述覆蓋點分類約束的標識列名，本例中舉例按特定標 簽分組；Coverage為所述覆蓋點列舉的標識列名，本例中舉例屬性值、部件、組合流為覆蓋 點；Owner為所述覆蓋點負責(zé)人的標識列名；Status為所述覆蓋點狀態(tài)的標識列名；Log為 對以上表中信息的統(tǒng)計，本例中舉例所述對屬性標簽的統(tǒng)計和所述對部件標簽的統(tǒng)計等。 (d)代碼或偽代碼(Code or Pseudocode)如下圖 系統(tǒng)分解模塊，用于根據(jù)所述系統(tǒng)的規(guī)格說明或需求說明，將其逐層分解出更小 的子系統(tǒng)及其規(guī)格說明或需求說明。具體如上所述。子系統(tǒng)選擇及分解模塊，用于選擇需要的系統(tǒng)或子系統(tǒng)并根據(jù)其規(guī)格說明或需求 說明分解出該系統(tǒng)或子系統(tǒng)層下思路級最小功能單元的元素及其規(guī)格說明或需求說明。具 體如上所述。一維分析模塊，用于分析所述元素所含有的屬性及對應(yīng)的屬性值，然后統(tǒng)計出所 述系統(tǒng)或子系統(tǒng)、元素及屬性的標簽、資源、資源特征及相互之間的結(jié)構(gòu)信息。具體如上所 述。二維分析模塊，用于將所有元素進行兩兩配對并對配對的元素之間的關(guān)系進行定 義及所述關(guān)系的各方面進行描述，然后統(tǒng)計出所述配對、關(guān)系、方面的標簽、資源、資源特征 及相互之間的結(jié)構(gòu)信息。具體如上所述。多維分析模塊，用于將所述配對及其關(guān)系整合為部件后進行選擇性重組及打包成 組合流，并統(tǒng)計出部件、作為選擇條件的約束、組合流及其內(nèi)部成分的標簽、資源、資源特征 及相互之間的結(jié)構(gòu)信息。具體如上所述。 系統(tǒng)工程的輔助設(shè)計或驗證裝置包括的上述模塊主要用于完成對系統(tǒng)進行全面 完整分析，因此也可以稱為系統(tǒng)分析部分。所述系統(tǒng)工程的輔助設(shè)計或驗證裝置還包括需求模型建立模塊，用于對實際系 統(tǒng)工程進行建模，按需求模型模版對所述系統(tǒng)中的所有資源、工程項目條款和供需資源進 行映射，然后將根據(jù)算法例化后的應(yīng)用實例引入項目流程并得到反饋。具體如上所述。所述輔助設(shè)計或驗證裝置還包括問題反饋與修正模塊，用于將反饋中的問題帶 回系統(tǒng)分析，然后進行修改與重建，再將重建后的應(yīng)用實例帶回項目流程。具體如上所述。以上所述僅為本發(fā)明的較佳實施例而已，并不用以限制本發(fā)明，凡在本發(fā)明的精 神和原則之內(nèi)所作的任何修改、等同替換和改進等，均應(yīng)包含在本發(fā)明的保護范圍之內(nèi)。
權(quán)利要求
一種系統(tǒng)工程的輔助設(shè)計或驗證方法，其特征在于，所述輔助設(shè)計或驗證方法包括根據(jù)所述系統(tǒng)的規(guī)格說明或需求說明，將其逐層分解出更小的子系統(tǒng)；選擇需要的系統(tǒng)或子系統(tǒng)并根據(jù)其規(guī)格說明或需求說明分解出所述系統(tǒng)或子系統(tǒng)層下思路級最小功能單元的元素；分析所述元素所含有的屬性及對應(yīng)的屬性值，然后統(tǒng)計出所述系統(tǒng)或子系統(tǒng)、元素及屬性的標簽、資源、資源特征及相互之間的結(jié)構(gòu)信息；所有元素進行兩兩配對并對配對的元素之間的關(guān)系進行定義及所述關(guān)系的各方面進行描述，然后統(tǒng)計出所述配對、關(guān)系、方面的標簽、資源、資源特征及相互之間的結(jié)構(gòu)信息；將所述配對及其關(guān)系整合為部件后進行選擇性重組及打包成組合流，并統(tǒng)計出部件、作為選擇條件的約束、組合流及其內(nèi)部成分的標簽、資源、資源特征及相互之間的結(jié)構(gòu)信息。
2.如權(quán)利要求1所述的輔助設(shè)計或驗證方法，其特征在于，所述分析所述元素所含有 的屬性及對應(yīng)的屬性值，然后統(tǒng)計出所述系統(tǒng)或子系統(tǒng)、元素及屬性的標簽、資源、資源特 征及相互之間的結(jié)構(gòu)信息的步驟包括對系統(tǒng)或子系統(tǒng)所分解出的元素解析出其完整的規(guī)格說明或需求說明； 對所述元素規(guī)格說明或需求說明進行屬性分析，分析出所述元素所含有的屬性及對應(yīng) 所述屬性的值；對所述系統(tǒng)或子系統(tǒng)、元素、屬性進行內(nèi)部分類，并對應(yīng)貼上系統(tǒng)標簽、元素標簽、屬性 標簽后進行標簽統(tǒng)計并存入標簽倉庫；對所述系統(tǒng)或者子系統(tǒng)的資源、元素的資源、屬性的資源及其特征信息進行統(tǒng)計； 對所述的系統(tǒng)級和元素級之間的結(jié)構(gòu)信息、元素級和屬性級之間的結(jié)構(gòu)信息、系統(tǒng)級 和屬性級之間的結(jié)構(gòu)信息進行統(tǒng)計；
3.如權(quán)利要求1所述的輔助設(shè)計或驗證方法，其特征在于，所述所有元素進行兩兩配 對并對配對的元素之間的關(guān)系進行定義及所述關(guān)系的各方面進行描述，然后統(tǒng)計出所述配 對、關(guān)系、方面的標簽、資源、資源特征及相互之間的結(jié)構(gòu)信息步驟包括所述系統(tǒng)中的所有所述元素進行兩兩配對的遍歷，并對所有所述配對成組的元素之間 的關(guān)系進行一一對應(yīng)定義；對所述各關(guān)系的各個方面進行描述；對所述各配對、關(guān)系、方面進行內(nèi)部分類，貼上對應(yīng)的配對標簽、關(guān)系標簽、方面標簽， 再對各種標簽信息進行統(tǒng)計并存入標簽倉庫；對所述的配對的資源、關(guān)系的資源、方面的資源及其特征信息進行統(tǒng)計； 對所述的配對階段和定義階段之間的結(jié)構(gòu)信息、定義階段和描述階段之間的結(jié)構(gòu)信 息、配對階段和描述階段之間的結(jié)構(gòu)信息進行統(tǒng)計。
4.如權(quán)利要求1所述的輔助設(shè)計或驗證方法，其特征在于，將所述配對及其關(guān)系整合 為部件后進行選擇性重組及打包成組合流，并統(tǒng)計出部件、作為選擇條件的約束、組合流及 其內(nèi)部成分的標簽、資源、資源特征及相互之間的結(jié)構(gòu)信息步驟包括將所述的所有的配對及其關(guān)系整合起來構(gòu)成部件，保存在部件集中； 條件濾波器根據(jù)約束的濾波條件進行過濾，對所述部件中各標簽的內(nèi)容進行選擇，條件重排器根據(jù)約束的排列條件進行重排，對所述部件之間的排列順序和使用個數(shù)進行選 擇；對所述經(jīng)過篩選后的有序部件組合進行疊加和整合，產(chǎn)生組合流；整合后的組合流包 括軀體部分、膠連部分、時序邏輯、特性部分；軀體部分為流的實體部分，由所述元素組 成；膠連部分是軀體鏈接作用，由所述關(guān)系構(gòu)成；時序邏輯，描述整合后含有多所述元素混 合工作性能的組合流的時序，涉及整個軀體和膠連的組合；特性部分，描述所述組合流的特 性，特別是由于含有整合后的有序多部件組合后產(chǎn)生的組合特性；對所述各部件、約束、組合流、軀體部分、膠連部分、時序邏輯、特性部分進行內(nèi)部分類， 貼上對應(yīng)的部件標簽、約束標簽、組合流標簽、軀體標簽、膠連標簽、時序標簽、特性標簽，再 對各種標簽信息進行統(tǒng)計并存入標簽倉庫；對所述的部件的資源、約束的資源、組合流的資源、軀體的資源、膠連的資源、時序的資 源、特性的資源及其特征信息進行統(tǒng)計；對所述部件層和篩選層之間的結(jié)構(gòu)信息、篩選層和打包層之間的結(jié)構(gòu)信息、部件層和 打包層之間的結(jié)構(gòu)信息進行統(tǒng)計。
5.如權(quán)利要求1所述的輔助設(shè)計或驗證方法，其特征在于，所述輔助設(shè)計或驗證方法 還包括整理出實際工程中的供需資源信息，并結(jié)合已分析出的信息組成資源庫；整理出工程項目中的項目條款，通過基于數(shù)據(jù)庫結(jié)構(gòu)化的模版濾波器進行應(yīng)用需求建模；將資源庫中的資源通過資源映射濾波器映射填充到應(yīng)用需求模型中；將所述映射填充后的應(yīng)用需求模型根據(jù)實際應(yīng)用例化成應(yīng)用實例，對項目進行指導(dǎo)。
6.如權(quán)利要求5所述的輔助設(shè)計或驗證方法，其特征在于，所述輔助設(shè)計或驗證方法， 還包括以下步驟將所述應(yīng)用實例引入項目流程，得到項目流程的反饋后，如果發(fā)現(xiàn)出現(xiàn)了問題，將問題 點重新返回系統(tǒng)分析并進行修改與重建，再將重建后的應(yīng)用實例帶回項目流程。
7.一種系統(tǒng)工程的輔助設(shè)計或驗證裝置，其特征在于，所述輔助設(shè)計或驗證裝置包括 以下模塊系統(tǒng)分解模塊，用于根據(jù)所述系統(tǒng)的規(guī)格說明或需求說明，將其逐層分解出更小的子 系統(tǒng)；子系統(tǒng)選擇及分解模塊，用于選擇需要的系統(tǒng)或子系統(tǒng)并根據(jù)其規(guī)格說明或需求說明 分解出所述系統(tǒng)或子系統(tǒng)層下思路級最小功能單元的元素；一維分析模塊，用于分析所述元素所含有的屬性及對應(yīng)的屬性值，然后統(tǒng)計出所述系 統(tǒng)或子系統(tǒng)、元素及屬性的標簽、資源、資源特征及相互之間的結(jié)構(gòu)信息；二維分析模塊，用于將所有元素進行兩兩配對并對配對的元素之間的關(guān)系進行定義及 所述關(guān)系的各方面進行描述，然后統(tǒng)計出所述配對、關(guān)系、方面的標簽、資源、資源特征及相 互之間的結(jié)構(gòu)信息；多維分析模塊，用于將所述配對及其關(guān)系整合為部件后進行選擇性重組及打包成組合 流，并統(tǒng)計出部件、作為選擇條件的約束、組合流及其內(nèi)部成分的標簽、資源、資源特征及相 互之間的結(jié)構(gòu)信息。
8.如權(quán)利要求7所述的輔助設(shè)計或驗證裝置，其特征在于，所述輔助設(shè)計或驗證裝置 還包括需求模型建立模塊，用于對實際系統(tǒng)工程進行建模，按需求模型模版對所述系統(tǒng)中的 所有資源、工程項目條款和供需資源進行映射，然后將根據(jù)算法例化后的應(yīng)用實例引入項 目流程并得到反饋。
9.如權(quán)利要求8所述的輔助設(shè)計或驗證裝置，其特征在于，所述輔助設(shè)計或驗證裝置 還包括問題反饋與修正模塊，用于將反饋中的問題帶回系統(tǒng)分析，然后進行修改與重建，再將 重建后的應(yīng)用實例帶回項目流程。
全文摘要
本發(fā)明適用于計算機輔助設(shè)計或驗證領(lǐng)域，提供了一種系統(tǒng)工程的輔助設(shè)計或驗證方法，包括根據(jù)系統(tǒng)的規(guī)格說明或需求說明，將其逐層分解出更小的子系統(tǒng)；并分解出最小功能單元的元素；分析元素所含有的屬性及對應(yīng)的屬性值，然后統(tǒng)計出系統(tǒng)或子系統(tǒng)、元素及屬性的標簽、資源、資源特征及相互之間的結(jié)構(gòu)信息；所有元素進行兩兩配對并對配對的元素之間的關(guān)系進行定義及所述關(guān)系的各方面進行描述，然后統(tǒng)計出配對、關(guān)系、方面的標簽、資源、資源特征及相互之間的結(jié)構(gòu)信息；將配對及其關(guān)系整合為部件后進行選擇性重組及打包成組合流，并統(tǒng)計出部件、作為選擇條件的約束、組合流及其內(nèi)部成分的標簽、資源、資源特征及相互之間的結(jié)構(gòu)信息。上述方法實現(xiàn)對系統(tǒng)的全面完整分析。
文檔編號G06F17/50GK101847170SQ20101014918
公開日2010年9月29日 申請日期2010年4月7日 優(yōu)先權(quán)日2010年4月7日
發(fā)明者劉芳, 張國棟, 楊偉才, 蘇世祥, 謝崢, 連志斌, 黃瑞華 申請人:連志斌