TPT19新特性之形式化需求：自動生成測試用例
在測試形式化需求的主題上，我們又向前邁進了一步。
如今，已經可以使用TPT自動評估形式化需求。在TPT 19中，相應的測試數據現在可以一鍵生成。
這還在測試中嗎?是的，但是完全自動并且不需要創建復雜的測試用例。
這適用于哪種測試對象呢?
適用于可以使用TPT測試的所有內容:用于模型(ASCET, Simulink, Targetlink)，用于生成或手寫的C/ C++代碼，用于AUTOSAR組件，ECU等等。
需求是基礎—您只需單擊即可導入它們。然后用我們的語言集(針對嵌入式場景進行了優化)將需求形式化。然后再點擊幾下，測試報告就準備好了
此功能如何幫助提高產品質量并加快測試過程?
在以下兩種情況中，您可以在測試中使用形式化需求:
- 作為所有測試的基礎。
- 作為現有測試的補充。
形式化需求的測試也可以與測試用例創建過程中其他類型的測試相結合，比如手動創建測試用例和測試數據生成。
無論怎么做，您都可以通過重新分配任務來支持您的測試團隊，例如:經驗豐富的需求經理和開發人員(而不是測試人員)可以負責形式化。
測試人員因此可以專注于典型的測試自動化主題，例如
- 被測系統（SUT）的連接;
- 額外的自動化和補充測試，以獲得更高的代碼覆蓋率(也是自動的)；
- ECU的負載測試
心動不如行動，馬上聯系北匯信息獲取TPT 19試用吧~
聲明：本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人，不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用，如有內容侵權或者其他違規問題，請聯系本站處理。
舉報投訴
-
測試
+關注
關注
8文章
5269瀏覽量
126599 -
嵌入式
+關注
關注
5082文章
19104瀏覽量
304817 -
嵌入式軟件測試
+關注
關注
2文章
26瀏覽量
6090
發布評論請先 登錄
相關推薦
是德科技助力三星電子驗證FiRa 2.0安全測距測試用例
是德科技（Keysight Technologies,Inc.）成功助力三星電子，在其Exynos Connect U100芯片組上驗證了FiRa 2.0安全測試用例。此次驗證得益于是德科技提供的超寬帶 （UWB）測試解決方案，
一款國產適用于自動化測試產線的模塊化連接器
隨著汽車制造業對效率和產能的需求日益提升，傳統手動測試已無法滿足大批量生產的需求，在新能源汽車制造迅猛發展的背景下，測試形式和連接方式在不斷
端到端測試用例怎么寫
測試方法，旨在驗證整個應用程序從前端到后端的流程是否能夠按照預期工作。它涉及多個系統組件和接口的交互，確保業務流程的完整性和正確性。 二、編寫端到端測試用例的步驟 需求分析 理解業務流
TSMaster 測試報告生成器操作指南
用戶在基于TSMaster軟件開發測試用例時，或需要使用TSMaster生成HTML報告時，需要使用TSMaster測試報告生成器。1Tes
鑒源實驗室·ISO 26262中測試用例的得出方法-等價類的生成和分析
標準規范中給出了單元、集成、系統測試各階段的建議測試使用方法，設計生成測試用例的建議方法包括需求
是德科技獲得窄帶非地面網絡標準的新測試用例驗證
是德科技(Keysight Technologies,Inc.)日前宣布，該公司針對3GPP Rel-17標準中關于NB-IoT NTN技術的新一致性測試用例獲得驗證通過。這些測試用例
LitePoint與三星電子合作支持FiRa 2.0物理層安全測距測試用例
先進無線測試解決方案提供商LitePoint與三星電子宣布緊密合作，支持FiRa 2.0物理層（PHY）一致性測試規范內定義的新安全測試用例。
羅德與施瓦茨和三星為采用FiRa聯盟定義的安全測距測試用例鋪平道路
羅德與施瓦茨（以下簡稱“R&S”）和三星合作驗證了超寬帶 (UWB) 物理層的安全測距測試用例，并評估了基于 FiRa 規范的設備的安全接收機特性。
DEKRA被CSA指定為Zigbee統一測試工具開發和優化新功能和測試用例
DEKRA德凱被CSA聯盟（Connectivity Standards Alliance，CSA）指定負責為Zigbee統一測試工具（Zigbee Unified Test Harness，ZUTH）開發和優化新功能和測試用例
PTCRB的測試用類認證等級分類介紹
PTCRB的測試用類認證等級CategoryA/B/EA類項：測試用例在商用系統上經過完全驗證;必測項且需要結果為PASSB類項：測試用例在
是德科技首批3GPP Release 16 16/32測試用例獲得批準
本次驗證涵蓋單個和多個預編碼矩陣指示符測試用例，主要面向在頻分雙工和時分雙工頻段上運行的 16/32 通道發射機
工商網監
評論