家用和類似用途電器安全軟件評(píng)估宣貫教材

前言

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

內(nèi)容概要

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

書籍目錄

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

章節(jié)摘錄

　　C.2.1.2 CORE——受控的要求表達(dá)式（Controlled Requirements Expression）　　目的：為了保證能確定和表示所有的要求?！　∶枋觯罕痉椒ㄏ胗脕碓谫I方／最終用戶和分析員之間連接一座橋梁。它在數(shù)學(xué)上并不嚴(yán)密但有助于通信——CORE是為要求表達(dá)式而不是為規(guī)范而設(shè)計(jì)的。本方法被構(gòu)建并且表達(dá)式經(jīng)歷各個(gè)求精級(jí)。CORE法鼓勵(lì)對(duì)問題的各種看法，引入系統(tǒng)使用的環(huán)境知識(shí)以及各種類型用戶的不同觀點(diǎn)。CORE包括識(shí)別背離“總設(shè)計(jì)”的導(dǎo)則和戰(zhàn)術(shù)?？梢孕Ｕ蛘呙黠@地標(biāo)識(shí)這些背離并把它們編入文檔。因而規(guī)范可能不完全，但可檢測(cè)未辨別出的問題和高風(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ā)方法?！　∶枋觯篔SD是一種分階段的開發(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è)評(píng)述.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)行和測(cè)試的模塊化方法（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)。　　MASCOT支持一種基于測(cè)試和確認(rèn)單一軟件模塊和在功能上與軟件模塊有關(guān)的較大集合的接受策略。打算把一個(gè)MASCOT實(shí)現(xiàn)建立在一個(gè)MASCOT內(nèi)核之上，該內(nèi)核是支持實(shí)現(xiàn)和訪問機(jī)制的一組調(diào)度圖元?！　　?/pre>








圖書封面






評(píng)論、評(píng)分、閱讀與下載



還沒讀過(99)
勉強(qiáng)可看(722)
一般般(123)
內(nèi)容豐富(5106)
強(qiáng)力推薦(418)


 


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