ARP4754A中的假設(shè)是需求規(guī)范的的坑。假設(shè)的管理就是一個在需求規(guī)范里邊找坑和填坑的過程。

為什么要管理假設(shè)

想回答這個問題，首先要搞清楚假設(shè)是什么。ARP4754A給出了假設(shè)的定義，就是未經(jīng)證實(shí)的說明、原則和前提。從這個定義不能獲得太多有用的信息，因?yàn)檫@個定義沒有將假設(shè)和需求結(jié)合起來。在ARP4754A里邊，需要管理的假設(shè)是和需求相關(guān)的假設(shè)，所以要將假設(shè)和需求結(jié)合起來進(jìn)行考慮。當(dāng)假設(shè)與需求相關(guān)，最簡單的關(guān)聯(lián)是假設(shè)直接作為需求的一部分，這樣就同時對假設(shè)和需求進(jìn)行管理。

由于需求是后續(xù)所有研發(fā)活動的基礎(chǔ)，而且在工程實(shí)踐過程中，總是會遇到需求還沒有完全確定的情況開展后續(xù)的工作。當(dāng)這些帶有假設(shè)的需求未經(jīng)確認(rèn)直接進(jìn)入研發(fā)活動，可能會產(chǎn)生危害安全性的風(fēng)險。為了避免風(fēng)險的發(fā)生，非常有必要對假設(shè)進(jìn)行管理，或者更準(zhǔn)備地說，需要對帶有假設(shè)的需求進(jìn)行更加嚴(yán)格的管理。

項(xiàng)目實(shí)踐過程中，最危險的是需求規(guī)范是那些沒有假設(shè)的需求規(guī)范，因?yàn)閷?shí)踐中不可能一開始就把需求徹底搞清楚，所以需求規(guī)范里邊肯定有假設(shè)，沒有假設(shè)的現(xiàn)象背后很可能是假設(shè)沒有識別，這些沒有被明確識別的假設(shè)形成了一個無形的坑，很可能會讓后邊的人掉進(jìn)去再也爬不上來。沒有假設(shè)就是最大的假設(shè)，也是最大的坑。

根據(jù)ARP4754A目標(biāo)2.1、目標(biāo)2.3和目標(biāo)4.2，在需求文檔中需要表明假設(shè)被定義，在需求確認(rèn)結(jié)果中需要表明假設(shè)被論證和確認(rèn)。

從ARP4754A的目標(biāo)可以看出，假設(shè)管理的目標(biāo)有兩個，第一目標(biāo)是識別假設(shè)，第二目標(biāo)是確認(rèn)假設(shè)。當(dāng)假設(shè)被識別，就需要將假設(shè)進(jìn)行明確的標(biāo)識，讓需求規(guī)范的使用人員能夠清楚知道需求規(guī)范里邊有哪些坑，他們在后續(xù)的開發(fā)、驗(yàn)證等工作中提前做好準(zhǔn)備，這樣可以把這些坑的危害控制在最低的范圍。知道坑在哪里了，干活就更加踏實(shí)了。

確認(rèn)假設(shè)這個目標(biāo)可以分為兩種情況，一種是假設(shè)經(jīng)過確認(rèn)不是假設(shè)，就是消滅假設(shè)；另一種情況是假設(shè)經(jīng)過確認(rèn)后還是假設(shè)，但是對于安全性沒有影響?；谶@個目標(biāo)進(jìn)行推演，假設(shè)的數(shù)量是一個先增加后減少的過程，很有可能在系統(tǒng)取證的時候所有假設(shè)都被確認(rèn)過程消滅了，或者只剩下那些對安全性沒有影響的假設(shè)。該填的坑都填完了，剩下那些不用填的留著也沒啥事。

何時何地誰管理假設(shè)

由于假設(shè)是需求的一部分，所以假設(shè)管理是需求管理的一部分，假設(shè)的管理和確認(rèn)與需求管理和確認(rèn)完全同步進(jìn)行，都是由需求管理工程師負(fù)責(zé)管理。需求管理工程師是咱們的坑坑大總管，手里掌握所有大大小小的坑的賬本，告訴大家哪里有坑，安排合適的人去填坑，然后把這些坑的最新狀況告訴所有需要知道的人。有了這位大總管，大家再也不用害怕掉坑里了。

如何管理假設(shè)

ARP4754A沒有給出假設(shè)管理的方法，但是明確了假設(shè)的管理是需求確認(rèn)計(jì)劃的一部分，從這個角度看，需求確認(rèn)計(jì)劃和需求管理計(jì)劃合成一個計(jì)劃能夠在一個文件中覆蓋假設(shè)的全生命周期，另外從管理成本上考慮，少寫一個文件也可以降低成本。所以統(tǒng)一在需求管理計(jì)劃中定義需求和假設(shè)的管理和確認(rèn)方法是一種成本更低、概念更加完整的方案。

那假設(shè)具體怎么確認(rèn)呢，ARP4754A里邊5.4節(jié)提到一點(diǎn)，最理想的情況是工程師一邊寫需求，一邊由一位獨(dú)立的評審人員對需求當(dāng)中的假設(shè)進(jìn)行確認(rèn)?？墒菑膶?shí)踐上看，這種做法一點(diǎn)都不理想也無法實(shí)操，我們上哪去找這個獨(dú)立的評審人員一起陪著工程師寫需求呢？哪怕找到了，怎么知道什么時候會出現(xiàn)假設(shè)呢，難道讓這位獨(dú)立的評審人員一直在身邊看著工程師寫需求？另外從管理的角度來考慮，這個假設(shè)確認(rèn)的工作怎么記錄呢？

AIR6110給出了一個非常實(shí)用的假設(shè)管理方法，就是把假設(shè)直接寫到需求描述里邊，而且當(dāng)假設(shè)被確認(rèn)后，完全刪除假設(shè)的內(nèi)容。

確認(rèn)前：儲能器應(yīng)能提供2000PSI的壓力（假設(shè)2000PSI足夠制動S18飛機(jī)）

確認(rèn)后：儲能器應(yīng)能提供1800PSI的壓力

這種方法非常簡潔，通過搜索假設(shè)兩個字就可以找到所有的假設(shè)，通過統(tǒng)計(jì)假設(shè)這個詞的數(shù)量就可以監(jiān)控假設(shè)的數(shù)量。不過這種方法也有缺點(diǎn)，就是經(jīng)過多次需求確認(rèn)后，可能沒有假設(shè)了，在適航取證的時候要找出那些被需求確認(rèn)過程消滅的假設(shè)。所以在需求確認(rèn)總結(jié)里邊需要注意提供這些信息，以便適航審查過程中查找相關(guān)的假設(shè)數(shù)據(jù)。

識別假設(shè)的方法

其實(shí)假設(shè)管理的難點(diǎn)不在管理，而是在假設(shè)的識別。我們每個人在工作的過程中，會不自覺地默認(rèn)自己的認(rèn)知和經(jīng)驗(yàn)對于當(dāng)前的工作是可行的，或者都將目標(biāo)系統(tǒng)代入了一些特定的場景而忽略的其他的一些場景，所以假設(shè)都是隱性存在的，為了有效地識別這些隱性假設(shè)，需要提供一個顯式的識別過程。

要識別這些隱性的假設(shè)，首先需要明確假設(shè)可能會出現(xiàn)在哪里。然后要求每條需求都要提供依據(jù)，而且是專門針對假設(shè)可能存在的地方提供有據(jù)可查的依據(jù)，當(dāng)需求工程師在分析需求依據(jù)的時候，條件和對象細(xì)節(jié)的描述中（特別是那些量化的部分）沒有找到明確的依據(jù)，那么條件和對象細(xì)節(jié)描述中就帶有假設(shè)。當(dāng)識別到假設(shè)后，就按照AIR6110的方法，將假設(shè)直接寫出來。

可能存在坑的地方都找過了，自然就找到坑了，剩下的就是把它們一個個填上。

總結(jié)

ARP4754A中的假設(shè)就是需求中的坑。假設(shè)的管理就是一個在需求規(guī)范里邊找坑和填坑的過程。本文提出了一種簡單有效的假設(shè)管理方法，可以幫助大家一起找到并消滅需求規(guī)范里邊的坑。

本文使用 文章同步助手 同步