《用於驗證軟體程式的方法和系統》是西門子工業軟體有限責任公司於2017年9月5日申請的專利，該專利公布號為CN110574005B，專利公布日為2021年6月8日，發明人是S.米什拉。
基本介紹
- 中文名：用於驗證軟體程式的方法和系統
- 授權公告號 ：CN110574005B
- 授權公告日 ：2021.06.08
- 申請號 ：2017800878380
- 申請日：2017.09.05
- 專利權人：西門子工業軟體有限責任公司
- 地址：比利時魯汶
- 發明人：S.米什拉
- Int. Cl.：G06F8/35(2018.01)I; G06F11/34(2006.01)I; G06F11/36(2006.01)I
- 專利代理機構：中國專利代理(香港)有限公司72001
- 代理人：張凌苗; 劉春元
- 優先權：201731003703 2017.02.01 IN
- PCT進入國家階段日：2019.09.02
- PCT申請數據：PCT/EP2017/072187 2017.09.05
- PCT公布數據：WO2018/141424 EN 2018.08.09
專利摘要
公開了用於在集成開發環境（113）中驗證軟體程式的方法和系統。在一個實施例中，在集成開發環境（113）中驗證軟體程式的方法包括基於軟體程式的規範生成包括日誌記錄語句的軟體程式的原始碼。此外，該方法包括執行具有日誌記錄語句的原始碼，以及基於日誌記錄語句在原始碼的執行期間生成一個或多個日誌檔案。此外，該方法包括基於一個或多個日誌檔案以建模語言來生成原始碼（500）的表示。該方法包括通過將以建模語言的原始碼（500）的表示與以建模語言的規範進行比較來驗證原始碼與規範的符合性。
