家用和類似用途電器安全軟件評估宣貫教材

前言

　　我國家電行業(yè)歷經(jīng)三十多年的發(fā)展、壯大，已經(jīng)成為國內(nèi)制造業(yè)中具有較強競爭力的產(chǎn)業(yè)，生產(chǎn)規(guī)模已位居世界第一，我國家電產(chǎn)業(yè)從模仿到創(chuàng)新，正逐步向家電強國邁進?！　〖译娦袠I(yè)的快速發(fā)展，離不開技術的進步，更離不開質(zhì)量的提升。伴隨著家電業(yè)的發(fā)展，軟件的應用越來越普遍，從信號控制到智能感知和精確控制、家電物聯(lián)、智能家居、三網(wǎng)融合，都離不開軟件的開發(fā)和測試，家電軟件評測已成為家電質(zhì)量評價的必要環(huán)節(jié)?！　∧壳?，家電行業(yè)開展的軟件評測主要是指家電產(chǎn)品電子線路中安全功能軟件的評估，這些電子線路用于家電產(chǎn)品的保護功能，需要按照家電產(chǎn)品安全標準進行評估確認。IEC最早于2004年在IEC 60335-1 Ed4.1標準中引入了附錄R軟件評估要求，并且該附錄是規(guī)范性附錄，而我國也緊隨國際標準動態(tài)，現(xiàn)行國家標準GB 4706.1-2005等同采用IEC 60335-1 Ed4.1標準要求。由于家電安全標準的附錄R對軟件評估做了明確規(guī)定，因此無論是進行CCC、CQC等國內(nèi)安全認證，還是進行CB、CE等國際安全認證，家電產(chǎn)品在適用的情況下均要按照附錄R進行軟件評估?！　〖译姰a(chǎn)品安全功能軟件評估是家電產(chǎn)品安全認證的必要組成部分，對保證家電產(chǎn)品安全，提高產(chǎn)品可靠性具有重要作用。家電軟件評估有利于產(chǎn)品結(jié)構(gòu)優(yōu)化、性能提升，有利于節(jié)省成本，有利于家電行業(yè)轉(zhuǎn)型升級。但由于家電軟件評估在我國尚處于發(fā)展階段，很多企業(yè)和實驗室對于家電軟件評估的概念、方法、流程都存在不少困惑與疑慮，為此，本書通過對家電軟件評估的介紹，增加人們對家電軟件評估的認識與了解。通過對家電軟件評估流程和方法的論述，結(jié)合國外軟件評估相關方法和經(jīng)驗，在國內(nèi)建立一個統(tǒng)一的認識，指導相關企業(yè)和實驗室開展軟件評估相關認證業(yè)務。同時，本書將家電軟件評估相關的標準、程序文件、方法等作為附錄匯編成冊，方便讀者使用，其中OD-2045 Ed1.0中文翻譯稿對于指導國內(nèi)CB實驗室開展軟件評估國際互認具有重要的指導作用，其中軟件評估部分方法可作為企業(yè)編制軟件過程中和試驗室檢查軟件過程中的重要參考資料。

內(nèi)容概要

全國家用電器標準化技術委員會編著的《家用和類似用途電器安全軟件評估宣貫教材》通過對家電軟件評估的介紹，增加人們對家電軟件評估的認識與了解。通過對家電軟件評估流程和方法的論述，結(jié)合國外軟件評估相關方法和經(jīng)驗，在國內(nèi)建立一個統(tǒng)一的認識，指導相關企業(yè)和實驗室開展軟件評估相關認證業(yè)務。同時，本書將家電軟件評估相關的標準、程序文件、方法等作為附錄匯編成冊，方便讀者使用，其中OD-12045
Ed1.O中文翻譯稿對于指導國內(nèi)CB實驗室開展軟件評估國際互認具有重要的指導作用，其中軟件評估部分方法可作為企業(yè)編制軟件過程中和試驗室檢查軟件過程中的重要參考資料。

書籍目錄

第1章 總述
 1.1 軟件評估的背景和必要性
 1.2 軟件評估的目標
 1.3 軟件評估的依據(jù)
 1.4 軟件評估的難點
第2章 范圍
第3章 術語和定義
 3.1 與使用軟件的控制器的結(jié)構(gòu)相關的定義
 3.2 與使用軟件的控制器的錯誤避免相關的定義
 3.3 與使用軟件的控制器的故障/錯誤控制技術相關的定義
 3.4 與使用軟件的控制器的存儲器測試相關的定義
 3.5 軟件術語的定義——總則
第4章 軟件評估的一般條件
 4.1 必要的資料
 4.2 儀器設備
 4.3 人員資質(zhì)
第5章 軟件評估流程
 5.1 適用性判斷
 5.2 評估準備和預審
 5.3 評估和改進
 5.4 總結(jié)和建議
 5.5 軟件評估總體流程圖
第6章 軟件評估標準要求
 6.1 附錄R的適用條件
 6.2 總體要求（R.1）
 6.3 結(jié)構(gòu)要求（R.2）
 6.4 避免錯誤的措施（R.3）
第7章 軟件評估單元劃分原則
第8章 軟件評估CB互認規(guī)范
附件

章節(jié)摘錄

　　C.2.1.2 CORE——受控的要求表達式（Controlled Requirements Expression）　　目的：為了保證能確定和表示所有的要求?！　∶枋觯罕痉椒ㄏ胗脕碓谫I方／最終用戶和分析員之間連接一座橋梁。它在數(shù)學上并不嚴密但有助于通信——CORE是為要求表達式而不是為規(guī)范而設計的。本方法被構(gòu)建并且表達式經(jīng)歷各個求精級。CORE法鼓勵對問題的各種看法，引入系統(tǒng)使用的環(huán)境知識以及各種類型用戶的不同觀點。CORE包括識別背離“總設計”的導則和戰(zhàn)術。可以校正或者明顯地標識這些背離并把它們編入文檔。因而規(guī)范可能不完全，但可檢測未辨別出的問題和高風險區(qū)域，它們是在其后的設計中必須要考慮的?！　⒖嘉墨I：　　實時系統(tǒng)的軟件設計.J.E.Cooling，Chapman and Hall，1991.　　C.2.1.3 JSD——杰克遜系統(tǒng)開發(fā)（Jackson System Development）　　目的：包括從要求一直到代碼的軟件系統(tǒng)（特別著重于實時系統(tǒng)）的一種開發(fā)方法。　　描述：JSD是一種分階段的開發(fā)過程，在這個過程中開發(fā)者將制定真實世界行為的模型，系統(tǒng)功能則以這些行為為基礎，并且確定所需的功能并把它們插入模型，以及把產(chǎn)生的規(guī)范變換成目標環(huán)境中可實現(xiàn)的規(guī)范。因此它包括規(guī)范和設計及開發(fā)的傳統(tǒng)階段，而采用了有些與傳統(tǒng)方法不同的但不是完全不同的觀點?！　〈送?，它特別著重于發(fā)現(xiàn)真實世界中實體的初始階段，該真實世界與正在建立的系統(tǒng)有關并關系到建造它們的模型以及它們可能發(fā)生什么情況。一旦已完成“真實世界”的這種分析和建立起一個模型，就能分析系統(tǒng)所需功能，從而確定怎樣把它們歸納入這個真實世界模型中。產(chǎn)生的系統(tǒng)模型隨模型中所有過程的結(jié)構(gòu)化描述而增大，并且整個被變換成將在目標軟件和硬件環(huán)境中運行的一些程序?！　⒖嘉墨I：　　JSD的一個評述.J.R.Cameron. IEEE Transactions on Software Engineering，SE-12，No.2，F(xiàn)ebru-ary 1986.　　系統(tǒng)開發(fā).M. Jackson，Prentice-Hall，1983.　　C.2.1.4 MASCOT——解決軟件構(gòu)建、運行和測試的模塊化方法（Modular Approach to software con-struction，Opration and Test）　　目的：實時系統(tǒng)的設計和實現(xiàn)?！　∶枋觯篗ASCOT是一種由一個編程系統(tǒng)支持的設計方法。它是表示實時系統(tǒng)結(jié)構(gòu)的一種系統(tǒng)方法，其表示方法與目標硬件或?qū)崿F(xiàn)語言無關。它給設計強加一種規(guī)定的方法，該方法可產(chǎn)生一種高度模塊化的結(jié)構(gòu)，從而保證出現(xiàn)在系統(tǒng)集成中的構(gòu)造元素和設計中的功能元素之間的嚴密一致性。借助并行過程的一個網(wǎng)絡設計一個系統(tǒng)，該網(wǎng)絡可通過一些通道進行通信。這些通道既可以是固定數(shù)據(jù)池，也可是隊列（數(shù)據(jù)流水線）。利用訪向機構(gòu)描述訪向通道的控制時與過程無關，這些訪問機構(gòu)給過程強加了一些調(diào)度規(guī)則。記住MASCOT的最新版本已設計有ADA實現(xiàn)?！　ASCOT支持一種基于測試和確認單一軟件模塊和在功能上與軟件模塊有關的較大集合的接受策略。打算把一個MASCOT實現(xiàn)建立在一個MASCOT內(nèi)核之上，該內(nèi)核是支持實現(xiàn)和訪問機制的一組調(diào)度圖元。　　……

圖書封面

評論、評分、閱讀與下載

---

    家用和類似用途電器安全軟件評估宣貫教材 PDF格式下載

---