目录
14 关系: 基於模型的設計，统一建模语言，特定域建模，面向对象的系统分析，被测系统，领域特定语言，黑盒测试，软件测试，模型在環，模型驱动工程，模型驱动架构，测试套件，测试用例，時間分割測試。
- 软件测试
基於模型的設計
基於模型的設計（Model-Based Design，簡稱MBD）是一種數學及可视化的方法，可以用來處理複雜控制系統、信號處理及通訊系統的設計。基於模型的設計可以用在運動控制、工業設計、航天以及車輛應用中。基於模型的設計也是嵌入式系統設計的方法論。.
统一建模语言
统一建模语言（Unified Modeling Language，縮寫 UML）是非专利的第三代建模和规约语言。UML是一种开放的方法，用于说明、可视化、构建和编写一个正在开发的、面向对象的、软件密集系统的制品的开放方法。UML展现了一系列最佳工程实践，这些最佳实践在对大规模，复杂系统进行建模方面，特别是在软件架构层次已经被验证有效。 這個語言由葛來迪·布區，伊瓦爾·雅各布森與詹姆士·蘭寶於1994年至1995年間，在公司中開發，於1996年，又進一步發展。UML集成了Booch，OMT和面向对象软件工程的概念，将这些方法融合为单一的，通用的，并且可以广泛使用的建模语言。UML打算成为可以对并发和分布式系统的标准建模语言。 UML并不是一个工业标准，但在Object Management Group的主持和资助下，UML正在逐渐成为工业标准。OMG之前曾经呼吁业界向其提供有关面向对象的理论及实现的方法，以便制作一个严谨的软件建模语言（Software Modeling Language）。有很多业界的领袖亦真诚地回应OMG，帮助它建立一个业界标准。.
特定域建模
特定域建模（Domain-specific modeling，DSM），是一种设计和开发系统（如电脑软件）的软件工程方法学。它系统使用图形化特定域语言（DSL），表现系统的各个方面。DSM的语言倾向于支持比通用建模语言更高级别的抽象，因此需要较少的努力和更少的底层细节来描述特定系统。.
面向对象的系统分析
面向对象的分析方法是利用面向对象的信息建模概念，如实体、关系、属性等，同时运用封装、继承、多态等机制来构造模拟现实系统的方法。 传统的结构化设计方法的基本点是面向过程，系统被分解成若干个过程。而面向对象的方法是采用构造模型的观点，在系统的开发过程中，各个步骤的共同的目标是建造一个问题域的模型。在面向对象的设计中，初始元素是对象，然后将具有共同特征的对象归纳成类，组织类之间的等级关系，构造类库。在应用时，在类库中选择相应的类。 category:计算机科学.
被测系统
被测系统（System under test，SUT）表示正在被测试的系统，目的是测试系统是否能正确操作。这一词语常用於软件测试中。 软件系统测试的一个特例是对应用软件的测试，称为被测应用程序（application under test，AUT）。 SUT也表明软件已经到了成熟期，因为系统测试在测试周期中是集成测试的後一阶段。.
查看 基于模型的测试和被测系统
领域特定语言
领域特定语言（domain-specific language、DSL）指的是专注于某个应用程序领域的计算机语言。又译作领域专用语言。.
黑盒测试
黑盒测试，软件测试的主要方法之一，也可以称为功能测试、数据驱动测试或基于规格说明的测试。测试者不了解程序的内部情况，不需具備應用程式的程式碼、內部結構和程式語言的專門知識。只知道程序的输入、输出和系统的功能，这是从用户的角度针对软件界面、功能及外部结构进行测试，而不考虑程序内部逻辑结构。測試案例是依應用系統應該做的功能，照規範、規格或要求等設計。測試者選擇有效輸入和無效輸入來驗證是否正確的輸出。 此測試方法可適合大部分的軟體測試，如整合測試（integration testing）以及系統測試（system testing）。.
查看 基于模型的测试和黑盒测试
软件测试
軟體測試（software testing），描述一種用來促進鑑定軟體的正確性、完整性、安全性和品質的過程。據此，您可能會想，軟體測試永遠不可能完整的確立任意電腦軟體的正確性。然而，在可計算理論（計算機科學的一個支派）一個簡單的數學證明推斷出下列結果：不可能完全解決所謂「當機」，指任意電腦程式是否會進入無窮迴圈，或者罷工並產生輸出問題。換句話說，軟體測試是一種實際輸出與預期輸出間的稽核或者比較過程。 软件测试的经典定义是：在规定的条件下对程序进行操作，以发现程序错误，衡量軟體品質，并对其是否能满足设计要求进行评估的过程。 軟體測試有許多方法，但對複雜的產品執行有效測試不僅僅是研究過程，更是創造並嚴格遵守某些呆板步驟的大事。測試的其中一個定義：為了評估而質疑產品的過程；這裡的“質疑”是測試員試著對產品做的事，而產品以測試者腳本行為反應作為回答。雖然大部分測試的智力過程不外乎回顧、檢查，然而「測試」這個词意味著產品動態分析──讓產品流暢運行。程式品質可能，而且通常會，隨系統不同而有差異；不過某些公認特性是共通的：可靠性、穩定性、輕便性、易於維護、以及實用性。請參照至ISO標準ISO 9126有更詳盡的說明。.
查看 基于模型的测试和软件测试
模型在環
模型在環（Model in the Loop，簡稱MIL）是用進行嵌入式系統的開發時，在開發階段初期及建模階段中進行的仿真方式。嵌入式系統需和其運作的環境互動，一般會預期有合理的傳感器信號為其輸入，也會依輸入及系統設計來驅動實體系統。為了使系統正常工作，需要將嵌入式系統的環境納入仿真考量範圍內。若嵌入式系統模型和環境模型連接，一起進行仿真，則即稱為模型在環模擬。 模型在環是較節省成本的嵌入式系統測試方式。模型驅動開發的開發及仿真環境有MATLAB/Simulink、或是自由軟體Scilab/Xcos。 在不同開發階段中，會利用軟體在環（Software in the Loop、SIL）、處理器在環（Processor in the Loop、PIL）、硬件在环（Hardware in the Loop、HIL）的方式進行開發。嵌入式系統會和環境的模型一起進行仿真。.
查看 基于模型的测试和模型在環
模型驱动工程
模型驱动工程（MDE, Model-Driven Engineering）是软件工程的一个分支，它将模型与建模拓展到软件开发的所有方面，形成一个多维建模空间，从而将工程活动建立在这些模型的映射和转换之上。 MDE的基本原则是将模型视为第一实体，将所有软件产物当做模型或模型要素。.
模型驱动架构
模型驱动的架构是由OMG提出并资助的软件设计方法学。 模型驱动的架构的基本思想是系统的功能性是用合适的规约语言以平台无关的模型的方式定义的，然后为实际的实现翻译到一个或多个上。从平台无关模型到平台特定模型的转换通常是用自动工具完成的。.
测试套件
软件工程中的测试套件（test suite）有時也稱為验证套件（validation suite），是許多测试用例的集合，测试用例可用來測試一程式是否正確工作，测试套件包括許多测试用例，一般也會有針對测试用例及其测试目的的詳細說明，在進行測試時的系統組態資訊以及測試前需進行的步驟。 测试用例的集合是测试套件，不過常誤稱為、或是。 Java語言的單元測試框架JUnit中，就有提供支援测试套件功能的TestSuit物件。.
查看 基于模型的测试和测试套件
测试用例
软件工程中的测试用例是一组条件或变量，测试者根据它来确定应用软件或软件系统是否正确工作。确定软件程序或系统是否通过测试的方法叫做测试准则。.
查看 基于模型的测试和测试用例
時間分割測試
TPT (Time Partition Testing 分时段测试，以下简称 TPT)是一种采用分时段测试方法进行软件测试和软件验证的自动化工具软件，主要应用于嵌入式系统中基于模型的的模块测试，集成测试，系统测试和回归测试。 TPT的主要功能：.