基于SFMEA/SFTA方法的智能移動終端系統(tǒng)可靠性分析

謝安明， 胡春卉， 張夢洋， 賀鑫

(上海信息安全工程技術(shù)研究中心，上海201204)

0 引言

隨著計算機(jī)和信息技術(shù)的快速發(fā)展，智能化移動終端設(shè)備成為日常生活的主流元素，為人們的生活帶來極大的樂趣和便利。智能移動終端設(shè)備的功能日益增多，應(yīng)用軟件的數(shù)量急劇增加，軟件可靠性問題非常突出，終端設(shè)備的安全問題也被更加關(guān)注。

軟件失效模式及影響分析(SoftWare Failure Model and Effects Analysis，SFMEA)基于硬件失效模式及影響分析(Failure Model and Effects Analysis，F(xiàn)MEA)而提出，是一種最常用的軟件可靠性分析方法。FMEA最初被美國軍方用于船舶、微電子等領(lǐng)域，在軟件測試中獲得了良好的效果。Reifer在1979年的文章中描述了FMEA模型，并將其應(yīng)用于軟件系統(tǒng)［1］。軟件開發(fā)生命周期中應(yīng)用SFMEA方法，對于定位軟件潛在故障有極大的幫助，可有效提高軟件的可靠性。

本文提出了一種將SFMEA和軟件故障樹分析(SoftWare Failure Tree Analysis，SFTA)相結(jié)合的技術(shù)，并在實(shí)際的軟件項(xiàng)目中進(jìn)行了實(shí)踐，指導(dǎo)軟件開發(fā)和測試人員找出故障，對分析的結(jié)果進(jìn)行總結(jié)，提出了改進(jìn)措施，保證軟件質(zhì)量。

1 SFMEA和SFTA方法介紹

SFMEA是一種自底向上的可靠性分析方法，以失效模式為依據(jù)，得到失效模式對系統(tǒng)的影響和后果，通過具體分析軟件系統(tǒng)中功能模塊，綜合分析可預(yù)見的故障及對系統(tǒng)將產(chǎn)生的影響，從而確定其過賬原因［2］。利用SFMEA可以針對模塊進(jìn)行故障模式分析，得到所需要的所有故障模式，然后對每種故障模式進(jìn)行原因分析，給出對應(yīng)的可能原因。

SFTA通常以圖形方式表現(xiàn)軟件系統(tǒng)的故障特性，它可以分析單一故障點(diǎn)引發(fā)系統(tǒng)故障的原因，也可以組合多個故障關(guān)鍵點(diǎn)查找系統(tǒng)故障發(fā)生原因。……