| dbpprop:abstract
|
- Model-based testing is software testing in which test cases are derived in whole or in part from a model that describes some (usually functional) aspects of the system under test (SUT). The model is usually an abstract, partial presentation of the system under test's desired behavior. The test cases derived from this model are functional tests on the same level of abstraction as the model. These test cases are collectively known as the abstract test suite. The abstract test suite cannot be directly executed against the system under test because it is on the wrong level of abstraction. Therefore an executable test suite must be derived from the abstract test suite that can communicate with the system under test. This is done by mapping the abstract test cases to concrete test cases suitable for execution. In the case of online testing (see below), the abstract test suite exists only as a concept but not as an explicit artifact. There are many different ways to "derive" tests from a model. Because testing is usually experimental and based on heuristics, there is no one best way to do this. It is common to consolidate all test derivation related design decisions into a package that is often known as "test requirements", "test purpose" or even "use case". This package can contain e.g. information about the part of the model that should be the focus for testing, or about the conditions where it is correct to stop testing (test stopping criteria). Because test suites are derived from models and not from source code, model-based testing is usually seen as one form of black-box testing. In some aspects, this is not completely accurate. Model-based testing can be combined with source-code level test coverage measurement, and functional models can be based on existing source code in the first place. Model-based testing for complex software systems is still an evolving field.
- Beim modellbasierten Testen werden aus Modellen eines Systems, die das Sollverhalten der Software beschreiben, Testfälle abgeleitet. Das Anwendungsprogramm oder das „System Under Test“ wird darin in einem grafischen Modell (z. B. auf Basis von UML) oder einem textuellen Modell (Domain Specific Language, DSL) abgebildet. Ein Testgenerator nutzt dieses Modell als Eingabe für seine ihm eigene Testplanstrategie und führt die relevanten Tests auf dem Zielsystem durch. Eine möglichst komplette Abdeckung des SUT hinsichtlich der im Modell beschriebenen Aspekte ist das Ziel. Im Unterschied zu den klassischen, quelltextbasierten Testabdeckungen wird hier das Augenmerk auf z. B. State – die Kombinationen der Zustände des Modells –, Transition – die Übergänge im Modell –, IO – die möglichen Nachrichten zum Prüfling – oder Partition gelegt. Als modellgetrieben wird das Testen bezeichnet, wenn Modelle und darauf basierende Generierung wesentliche Elemente der Erstellung automatisierter Tests darstellen. Als Modellgetriebene Testentwicklung (Model Driven Test Development, MDTD) wird in Anlehnung an Modellgetriebene Softwareentwicklung (MDSD) modellgetriebenes Testen mit den Mitteln modellgetriebener Entwicklung unter besonderer Betonung des Entwicklungsaspektes bezeichnet. Eine praktische Umsetzung hierzu auf Basis von OpenArchitectureWare stellt oAW-Test dar.
- モデルベーステスト（Model-besed testing）とは、テストケースの一部または全部を評価対象システムの（通常、機能的側面を）モデル化したものから導出して行うソフトウェアテストの手法である。モデルはテスト対象のシステムの実現すべき動作を表現した抽象的なものである。そのようなモデルから導出されるテストケースはモデルと同程度に抽象化された機能テストであり、直接実行することはできない。そのため、抽象的なテストケースを実行可能なテストケースに変換する必要がある。 モデルからテストを導出する方法はいくつも存在する。ソフトウェアテストは実験的でヒューリスティックスに基づいているため、最善の方法というものは存在しない。一般に全てのテストに関連する設計上の決定をまとめ、パッケージ化する。これを「テスト要求仕様; test requirements」、「テスト目的; test purpose」、場合によっては「ユースケース」と呼ぶ。このパッケージにはテストの中心となるべき部分のモデルに関する情報が含まれ、テスト終了条件が記述される。 モデルベーステストではテストスイートはソースコードからではなくモデルから抽出されるため、一種のブラックボックステストを構成するのが一般的である。見方によってはこれは完全とはいえない。モデルベーステストとソースコードレベルのテストの網羅率測定を組み合わせ、機能的モデルを初期段階のソースコードに基づいて構築するなどのテスト改善方法が考えられる。 複雑なソフトウェアシステムのモデルベーステストは発展途上の分野である。
- Teste baseado em modelo é um tipo de teste de software em que os casos de teste são derivados dum modelo que descreve aspectos (geralmente funcionais) do sistema sendo testado. Tais casos são conhecidos como a suite abstrata de testes, e seu nível de abstração está intimamente relacionado ao nível de abstração do modelo. Eles não podem ser executados no ambiente de teste, mas sim derivados numa suite executável de testes. Por serem baseados em modelos e não no código fonte propriamente dito, o teste baseado em modelo é visto como uma forma de teste de caixa-preta. A eficácia desse teste está primordialmente no potencial de automação que oferece. Se o modelo pode ser processado formalmente, os casos de teste podem ser derivados mecanicamente. O modelo geralmente é traduzido numa máquina de estado finito que repersenta as possíveis configurações do sistema. Para encontrar os casos de teste, procura-se pelos caminhos de execução. Entretanto, dependendo da complexidade do sistema, a quantidade de caminhos pode ser muito grande, requerendo então heurísticas para encontrar os caminhos mais relevantes. Entre as formas de derivação da suite abstrata de teste estão a geração por prova de teorema, programação com restrições, verificação de modelo, execução simbólica, modelo de fluxo de eventos e cadeias de Markov. Automação de teste
- Тестирование на основе модели - это тестирование программного обеспечения, в котором варианты тестирования частично или целиком получаются из модели описывающей некоторые аспекты (чаще функциональные) тестируемой системы (англ. system under test).
- 基于模型的测试属于软件测试领域的一种测试方法。按照此方法，测试用例可以完全或部分的利用模型自动产生。以上所说的模型通常是指对被测系统（SUT,system under test）某些（通常是功能性的）方面的描述。 模型一般都是对被测系统（SUT,system under test）预期行为动作的抽象描述。 这些测试用例的集合就是我们平时所称的抽象测试套件（abstract test suite. 抽象测试套件不可以直接执行于需测试的系统，因为，他们不在同一抽象级别。 测试套件(test suites)是由模型生成，而不是由源代码生成。因此，基于模型的测试又常常被当作黑盒测试的一种形式。但从某种层面来说, 这并不十分准确。毕竟，基于模型的测试是与源代码级的测试覆盖率，以及对代码的功能测试都有着很大的关系。 对于复杂的软件系统中，如何应用基于模型的测试还在探索中。
|
| rdfs:comment
|
- Model-based testing is software testing in which test cases are derived in whole or in part from a model that describes some (usually functional) aspects of the system under test (SUT). The model is usually an abstract, partial presentation of the system under test's desired behavior. The test cases derived from this model are functional tests on the same level of abstraction as the model. These test cases are collectively known as the abstract test suite.
- Beim modellbasierten Testen werden aus Modellen eines Systems, die das Sollverhalten der Software beschreiben, Testfälle abgeleitet. Das Anwendungsprogramm oder das „System Under Test“ wird darin in einem grafischen Modell (z. B. auf Basis von UML) oder einem textuellen Modell (Domain Specific Language, DSL) abgebildet. Ein Testgenerator nutzt dieses Modell als Eingabe für seine ihm eigene Testplanstrategie und führt die relevanten Tests auf dem Zielsystem durch.
- Teste baseado em modelo é um tipo de teste de software em que os casos de teste são derivados dum modelo que descreve aspectos (geralmente funcionais) do sistema sendo testado. Tais casos são conhecidos como a suite abstrata de testes, e seu nível de abstração está intimamente relacionado ao nível de abstração do modelo. Eles não podem ser executados no ambiente de teste, mas sim derivados numa suite executável de testes.
- Тестирование на основе модели - это тестирование программного обеспечения, в котором варианты тестирования частично или целиком получаются из модели описывающей некоторые аспекты (чаще функциональные) тестируемой системы (англ. system under test).
- 基于模型的测试属于软件测试领域的一种测试方法。按照此方法，测试用例可以完全或部分的利用模型自动产生。以上所说的模型通常是指对被测系统（SUT,system under test）某些（通常是功能性的）方面的描述。 模型一般都是对被测系统（SUT,system under test）预期行为动作的抽象描述。 这些测试用例的集合就是我们平时所称的抽象测试套件（abstract test suite.
|
![[RDF Data]](/statics/sw-cube.png)
