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

前言

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

內(nèi)容概要

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

書籍目錄

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

章節(jié)摘錄

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

圖書封面

評論、評分、閱讀與下載

---

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

---