本發明專利技術公開了一種基于FOG數據的軟件驗證方法及裝置，在軟件開發過程分階段評審前對評審文檔中的FOG數據進行逐條核查驗證，包括：FOG數據核查項配置模塊，根據核查項，對FOG數據核查項的軟件等級屬性進行配置，建立軟件等級屬性與核查項的關聯關系；核查任務分配模塊，根據核查項的內容和關聯的FOG數據，分配核查任務給各角色，根據關聯的FOG數據、核查項、角色建立核查凍結，并檢查核查任務分配的合理性；核查任務執行模塊，依據核查任務的分配信息，各角色在權限下執行所述核查任務，使用核查項對FOG數據進行相應核查模式的核查，并生成核查報告。本發明專利技術可以克服現有技術中以文檔為粒度進行評審測試，且只能在軟件生命周期后半階段進行評審測試的缺點。
【技術實現步驟摘要】
本專利技術涉及計算機軟件程序開發的測試驗證的
，特別涉及一種基于FOG數據的軟件驗證方法及裝置。
技術介紹
目前在軟件開發的周期中，對開發軟件代碼的驗證方法一般通過評審和測試來進行，會在每個階段結束時進行評審和測試，分階段對開發的程序代碼進行驗證。現行的評審方法和流程是，通過評審會對文檔進行評審，找出問題并給出評審意見。根據評審意見，再結合代碼測試進行驗證。由此可見，一方面，代碼的測試往往處于軟件開發周期的后半階段，在此階段需要修改，則必須通過嚴格的變更流程，修改過程中的影響分析以及修改后的重驗證等成本都遠遠大于在研發階段前期發現問題的代價；另一方面，文檔的評審主要以評審會的形式為主，在短短的會議期間內，無法對文檔進行全面的檢查，尤其是需求條目和設計條目，無法保證評審后的每一條需求或者設計條目都能達到所有的質量要求，如:可追蹤性、可驗證性、無歧義性等；再者，不是所有的文檔都需要評審，某些未經過評審驗證的文件，可能由于自身存在的缺陷而影響后續軟件數據的質量；最后，由于評審的對象是文檔，因此只能在文檔全部完成以后進行，無法對先完成的部分進行驗證，從而影響軟件開發的進度。
技術實現思路
本專利技術的內容是提供一種基于FOG數據的軟件驗證方法及裝置，以克服現有技術中以文檔為粒度進行評審測試，且只能在軟件生命周期后半階段進行評審測試的缺點。為解決上述技術問題，本專利技術提供一種基于FOG數據的軟件驗證方法及裝置是這樣實現的:—種基于FOG數據的軟件驗證裝置，在軟件開發過程分階段評審前對評審文檔中的FOG數據進行逐條核查驗證,包括:FOG數據核查項配置模塊，根據需要核查的核查項，對所述FOG數據核查項的軟件等級屬性進行配置，建立所述FOG數據核查項的軟件等級屬性與需要核查的所述核查項的關耳關關系;核查任務分配模塊，根據所述核查項的內容和關聯的所述FOG數據，分配核查任務給各角色，根據核查任務中關聯的所述FOG數據、核查項、角色建立核查凍結，并檢查所述核查任務分配的合理性，包括任務對象合理性、任務時間合理性、任務操作合理性中的一項或多項；核查任務執行模塊，依據所述核查任務的分配信息，各角色在權限下執行所述核查任務，使用所述核查項對所述FOG數據進行相應核查模式的核查，并生成核查報告。還具有權限設置模塊，用于對用戶進行角色分配，根據各角色對應的等級不同，進行相應的權限設置；各角色在權限限定的范圍內可查看到分配的核查項配置任務或FOG數據驗證任務。所述核查任務執行模塊的所述核查模式包括:非條目化FOG數據核查、高層需求核查、設計核查、測試用例及規程核查、源代碼核查的一種或多種。所述核查任務執行模塊針對未通過核查的FOG數據，形成問題報告，并自動將問題來源定位到所述核查任務；對于由同個問題導致的多個不同核查項不通過，所述核查任務執行模塊提供關聯功能，將未通過的核查項關聯到已提出的問題上，并自動更新被關聯的問題報告中的問題來源。所述核查任務執行模塊在核查任務提交后進行核查任務審核和自動校驗，包括:檢查核查是否執行完畢，未通過的核查項是否關聯問題，是否所有FOG數據都經過了審核中的一項或多項。所述驗證任務以FOG數據為單位進行；將建立所述核查凍結的所述FOG數據作為所述核查任務的基準，并進行存儲。一種基于FOG數據的軟件驗證方法，包括:FOG數據核查項配置步驟，根據用戶需要核查的核查項，對所述FOG數據核查項的軟件等級屬性進行配置，建立所述FOG數據核查項的軟件等級屬性與需要核查的所述核查項的關聯關系；核查任務分配步驟，根據所述核查項的內容和關聯的所述FOG數據，分配核查任務給各角色，根據核查任務中關聯的所述FOG數據、核查項、角色建立核查凍結，并檢查所述核查任務分配的合理性，包括任務對象合理性、任務時間合理性、任務操作合理性中的一項或多項；核查任務執行步驟，依據所述核查任務的分配信息，各角色在權限下執行所述核查任務，使用所述核查項對所述FOG數據進行相應核查模式的核查，并生成核查報告。還具有權限設置步驟，在驗證前對用戶進行角色分配，根據各角色對應的等級不同，進行相應的權限設置；各角色在權限限定的范圍內可查看到分配的核查項配置任務或FOG數據驗證任務。在所述核查任務執行步驟中的所述核查模式包括:非條目化FOG數據核查、高層需求核查、設計核查、測試用例及規程核查、源代碼核查的一種或多種。針對所述核查任務執行過程中未通過核查的FOG數據，提出問題報告，并自動將問題來源定位到所述核查任務；對于由同個問題導致的多個不同核查項不通過時，所述核查任務執行步驟提供關聯功能，將未通過的核查項關聯到已提出的問題上，并自動更新被關聯的問題報告中的問題來源。所述核查任務執行步驟在核查任務提交后，進行核查任務審核和自動校驗，包括:檢查核查項是否執行完畢，未通過的核查項是否關聯問題，是否所有FOG數據都經過了審核中的一項或多項。所述驗證任務以FOG數據為單位進行；將建立所述核查凍結的所述FOG數據作為所述核查任務的基準，并進行存儲。【附圖說明】圖1為基于FOG數據的軟件驗證裝置框圖；圖2為基于FOG數據的軟件驗證方法流程圖。【具體實施方式】本專利技術提供一種基于FOG數據的軟件驗證方法及裝置，在分階段評審前，針對評審文檔中的FOG數據條目進行逐條核查驗證，以期在軟件開發的前期找出缺陷，全面提升和改進軟件驗證的的質量，減少后期由于測試導致的回歸成本。為了使本
的人員更好地理解本專利技術方案，下面結合附圖和實施方式對本專利技術作進一步的詳細說明。本領域技術人員知道，核查驗證是由軟件驗證人員根據某個活動的輸入對活動的輸出進行驗證，判斷其是否符合相應目標的行為。本專利技術的實施例中，本專利技術的軟件驗證裝置和方法都是基于FOG數據進行的，所述FOG數據是指可以操作的最小粒度數據，其中基于FOG數據的核查驗證活動，包括非條目化FOG數據核查、高層需求核查、設計核查、測試用例及規程核查、源代碼核查的一種或多種。其中，非條目化FOG數據是指只有單條語義描述的FOG數據，以段落(非條目)形式存在。與之對應的是條目化FOG數據，是指語義描述的條數超過一個以上的FOG數據，通常以條目形式出現。如圖1所示的本專利技術基于FOG數據的軟件驗證裝置。基于FOG數據的軟件驗證裝置包括權限設置模塊11、F0G數據核查項配置模塊12、核查任務分配模塊13、核查任務驅動模塊14和核查任務執行模塊15。權限設置模塊11，在進行核查前對各種用戶進行角色分配，根據各角色對應的等級不同，進行相應的權限設置；各角色在權限限定的范圍內可查看到分配的核查項配置任務或FOG數據驗證任務。FOG數據核查項配置模塊12，根據用戶需要核查的核查項，對所述FOG數據核查項的軟件等級屬性進行配置，建立所述FOG數據核查項的軟件等級屬性與需要核查的所述核查項的關聯關系；一般而言FOG數據和核查項是多對多的關系，一個核查項可以適用于多個FOG數據，一個FOG數據可以關聯多個核查項。對于不同安全要求的開發軟件對于FOG數據的核查要求不同，通過軟件等級屬性來建立核查項與FOG數據的關聯，標識不同軟件等級所適用的FOG數據核查項。核查任務分配模塊13，根據所述核查項的內容和關聯的所述FOG數據，分配核查任務給各角色，根本文檔來自技高網...
【技術保護點】
一種基于FOG數據的軟件驗證裝置，在軟件開發過程分階段評審前對評審文檔中的FOG數據進行逐條核查驗證，其特征在于，包括：FOG數據核查項配置模塊，根據需要核查的核查項，對所述FOG數據核查項的軟件等級屬性進行配置，建立所述FOG數據核查項的軟件等級屬性與需要核查的所述核查項的關聯關系；核查任務分配模塊，根據所述核查項的內容和關聯的所述FOG數據，分配核查任務給各角色，根據核查任務中關聯的所述FOG數據、核查項、角色建立核查凍結，并檢查所述核查任務分配的合理性，包括任務對象合理性、任務時間合理性、任務操作合理性中的一項或多項；核查任務執行模塊，依據所述核查任務的分配信息，各角色在權限下執行所述核查任務，使用所述核查項對所述FOG數據進行相應核查模式的核查，并生成核查報告。
【技術特征摘要】
【專利技術屬性】
技術研發人員：王云明，
申請(專利權)人：上海愛韋訊信息技術有限公司，
類型：發明
國別省市：上海;31
還沒有人留言評論。發表了對其他瀏覽者有用的留言會獲得科技券。