【技術實現步驟摘要】
本申請涉及數據測試領域，具體涉及一種形式化測試用報告的生成方法、系統、設備及計算機可讀存儲介質。
技術介紹
1、隨著中國航天事業的高速發展，航天發射任務越來越密集，航天軟件測試強度不斷增大。作為軟件質量和可靠性的重要保證手段，如何在提高測試效率的同時確保軟件測試的充分性和有效性，成為航天軟件測試的新課題。
2、在航天裝備軟件的測試驗證工作過程中，測試需求開發是至關重要的環節，也是開展一切測試驗證工作的基礎。傳統利用自然語言描述的軟件需求具有不確定性、二義性且缺乏對軟件需求進行嚴格檢查的有效途徑，因此無法確保軟件需求的正確性、完善性和合理性，這對開發與測試高可信裝備軟件帶來了重要隱患。
3、形式化是一種基于數學的軟件開發方法，通過嚴格的框圖、箭頭的屬性定義，能夠確保所開發的測試需求是精確、可驗證和可傳遞的，能夠有效避免需求描述的模糊性和二義性，是保證軟件質量和提高軟件生產率的有效方法。
4、利用形式化方法固然可以對裝備軟件的需求進行充分刻畫，但是在重構和增量開發這些極限編程開發環節中，隨著需求和設計的變更，測試的需求變動也必然很頻繁，單靠程序測試人員重新利用形式化語言描述需求，再根據形式化描述手工修改和維護測試用例的工作量很大，也很容易出錯，難以適應于當前型號研制“短周期，快迭代”的特點。因此基于形式化的軟件自動化的測試用例生成和測試執行對測試人員來說已顯得越來越重要。但目前從測試需求分析到生成測試用例以及執行測試用例，都是靠測試人員人工執行，存在效率低和工作量大的問題，不能滿足當前型號研制對軟
技術實現思路
1、本申請提供一種形式化測試用報告的生成方法、系統、設備及計算機可讀存儲介質，可以解決現有技術中存在的從測試需求分析到生成測試用例以及執行測試用例，都是靠測試人員人工執行，存在效率低和工作量大的問題技術問題。
2、第一方面，本申請實施例提供一種形式化測試用報告的生成方法，其特征在于，所述形式化測試用例的生成方法包括：
3、獲取形式化配置信息，所述形式化信息包括形式化邏輯信息和形式化描述信息；
4、根據所述形式化邏輯信息和所述形式化描述信息，生成對應的測試用例和自動執行腳本；
5、基于所述自動執行腳本對所述測試用例進行測試，生成測試報告。
6、結合第一方面，在一種實施方式中，所述根據所述形式化邏輯信息和所述形式化描述信息，生成對應的測試用例和自動執行腳本，包括：
7、通過所述形式化描述信息中的節點元素查詢所述形式化邏輯信息中的節點，其中，所述形式化邏輯信息中的節點至少為一個；
8、若所述形式化邏輯信息中的節點為多個，則將確定的目標節點的連線兩端中的一端為開始節點，另一端為結束節點，生成對應的測試用例和自動執行腳本，其中，所述多個所述節點以連線的方式連接。
9、結合第一方面，在一種實施方式中，所述形式化邏輯信息的節點包括：開始、上電運行、空閑狀態和非正式運行狀態；和/或開始、上電運行、空閑狀態和在線升級狀態。
10、結合第一方面，在一種實施方式中，所述形式化配置信息的節點元素包括名稱信息、描述信息、參數信息和返回值。
11、第二方面，本申請實施例提供了一種形式化測試用報告的生成系統，所述形式化測試用報告的生成系統包括：
12、獲取模塊，用于獲取形式化配置信息，所述形式化信息包括形式化邏輯信息和形式化描述信息；
13、第一生成模塊，用于根據所述形式化邏輯信息和所述形式化描述信息，生成對應的測試用例和自動執行腳本；
14、第二生成模塊，用于基于所述自動執行腳本對所述測試用例進行測試，生成測試報告。
15、結合第二方面，在一種實施方式中，所述第二生成模塊包括：
16、通過所述形式化描述信息中的節點元素查詢所述形式化邏輯信息中的節點，其中，所述形式化邏輯信息中的節點至少為一個；
17、若所述形式化邏輯信息中的節點為多個，則將確定的目標節點的連線兩端中的一端為開始節點，另一端為結束節點，生成對應的測試用例和自動執行腳本，其中，所述多個所述節點以連線的方式連接。
18、結合第二方面，在一種實施方式中，所述形式化邏輯信息的節點包括：開始、上電運行、空閑狀態和非正式運行狀態；和/或開始、上電運行、空閑狀態和在線升級狀態。
19、結合第二方面，在一種實施方式中，所述形式化配置信息的節點元素包括名稱信息、描述信息、參數信息和返回值。
20、第三方面，本申請實施例提供了一種形式化測試用報告的生成設備，所述形式化測試用報告的生成設備包括處理器、存儲器、以及存儲在所述存儲器上并可被所述處理器執行的形式化測試用報告的生成程序，其中所述形式化測試用報告的生成程序被所述處理器執行時，實現如上所述的形式化測試用報告的生成方法的步驟。
21、第四方面，本申請實施例提供了一種計算機可讀存儲介質，所述計算機可讀存儲介質上存儲有形式化測試用報告的生成程序，其中所述形式化測試用報告的生成程序被處理器執行時，實現如上述的形式化測試用報告的生成方法的步驟。
22、本申請實施例提供的技術方案帶來的有益效果包括：
23、通過獲取形式化配置信息，所述形式化信息包括形式化邏輯信息和形式化描述信息；根據所述形式化邏輯信息和所述形式化描述信息，生成對應的測試用例和自動執行腳本；基于所述自動執行腳本對所述測試用例進行測試，生成測試報告，解決了相關技術中存在的從測試需求分析到生成測試用例以及執行測試用例，都是靠測試人員人工執行，存在效率低和工作量大的問題技術問題，將形式化描述自動轉化為對應的測試用例，提高了工作效率。
本文檔來自技高網...【技術保護點】
1.一種形式化測試用報告的生成方法，其特征在于，所述形式化測試用例的生成方法包括：
2.如權利要求1所述的形式化測試用報告的生成方法，其特征在于，所述根據所述形式化邏輯信息和所述形式化描述信息，生成對應的測試用例和自動執行腳本，包括：
3.如權利要求2所述的形式化測試用報告的生成方法，其特征在于，所述形式化邏輯信息的節點包括：開始、上電運行、空閑狀態和非正式運行狀態；和/或開始、上電運行、空閑狀態和在線升級狀態。
4.如權利要求2所述的形式化測試用報告的生成方法，其特征在于，所述形式化配置信息的節點元素包括名稱信息、描述信息、參數信息和返回值。
5.一種形式化測試用報告的生成系統，其特征在于，所述形式化測試用報告的生成系統包括：
6.如權利要求5所述的形式化測試用報告的生成系統，其特征在于，所述第二生成模塊包括：
7.如權利要求6所述的形式化測試用報告的生成系統，其特征在于，所述形式化邏輯信息的節點包括：開始、上電運行、空閑狀態和非正式運行狀態；和/或開始、上電運行、空閑狀態和在線升級狀態。
8.
9.一種形式化測試用報告的生成設備，其特征在于，所述形式化測試用報告的生成設備包括處理器、存儲器、以及存儲在所述存儲器上并可被所述處理器執行的形式化測試用報告的生成程序，其中所述形式化測試用報告的生成程序被所述處理器執行時，實現如權利要求1至4中任一項所述的形式化測試用報告的生成方法的步驟。
10.一種計算機可讀存儲介質，其特征在于，所述計算機可讀存儲介質上存儲有形式化測試用報告的生成程序，其中所述形式化測試用報告的生成程序被處理器執行時，實現如權利要求1至4中任一項所述的形式化測試用報告的生成方法的步驟。
...【技術特征摘要】
1.一種形式化測試用報告的生成方法，其特征在于，所述形式化測試用例的生成方法包括：
2.如權利要求1所述的形式化測試用報告的生成方法，其特征在于，所述根據所述形式化邏輯信息和所述形式化描述信息，生成對應的測試用例和自動執行腳本，包括：
3.如權利要求2所述的形式化測試用報告的生成方法，其特征在于，所述形式化邏輯信息的節點包括：開始、上電運行、空閑狀態和非正式運行狀態；和/或開始、上電運行、空閑狀態和在線升級狀態。
4.如權利要求2所述的形式化測試用報告的生成方法，其特征在于，所述形式化配置信息的節點元素包括名稱信息、描述信息、參數信息和返回值。
5.一種形式化測試用報告的生成系統，其特征在于，所述形式化測試用報告的生成系統包括：
6.如權利要求5所述的形式化測試用報告的生成系統，其特征在于，所述第二生成模塊包括：
7.如權利要求6所述的形式化測試用...
【專利技術屬性】
技術研發人員：劉夢達，蔡夢琳，原野，陳軍花，張衛平，肖心然，莫小杰，
申請(專利權)人：湖北航天技術研究院總體設計所，
類型：發明
國別省市：
還沒有人留言評論。發表了對其他瀏覽者有用的留言會獲得科技券。