| dbo:abstract
|
- Una prova basada en model, en l'anglès Model-based testing, és l'aplicació del (Model based design) per al disseny i òptima execució dels artefactes necessaris per dur a terme les proves de programari. Els models es poden utilitzar per a representar el comportament desitjat del sistema en prova , o per a representar les estratègies de prova desitjades i els entorns de prova. La imatge de la dreta representa el primer enfocament. (ca)
- Modellbasiertes Testen (englisch model-based testing, MBT) ist ein Oberbegriff für die Nutzung von Modellen zur Automatisierung von Testaktivitäten und zur Generierung von Testartefakten im Testprozess. Darunter fällt insbesondere die Generierung von Testfällen aus Modellen (z. B. unter Verwendung der UML), die das Sollverhalten des zu testenden Systems beschreiben. (de)
- Model-based testing is an application of model-based design for designing and optionally also executing artifacts to perform software testing or system testing. Models can be used to represent the desired behavior of a system under test (SUT), or to represent testing strategies and a test environment. The picture on the right depicts the former approach. A model describing a SUT is usually an abstract, partial presentation of the SUT's desired behavior.Test cases derived from such a model are functional tests on the same level of abstraction as the model.These test cases are collectively known as an abstract test suite.An abstract test suite cannot be directly executed against an SUT because the suite is on the wrong level of abstraction.An executable test suite needs to be derived from a corresponding abstract test suite.The executable test suite can communicate directly with the system under test.This is achieved by mapping the abstract test cases to concrete test cases suitable for execution. In some model-based testing environments, models contain enough information to generate executable test suites directly.In others, elements in the abstract test suite must be mapped to specific statements or method calls in the software to create a . This is called solving the "mapping problem".In the case of online testing (see below), abstract test suites exist only conceptually but not as explicit artifacts. Tests can be derived from models in different ways. Because testing is usually experimental and based on heuristics,there is no known single best approach for test derivation.It is common to consolidate all test derivation related parameters into apackage that is often known as "test requirements", "test purpose" or even "use case(s)".This package can contain information about those parts of a model that should be focused on, or the conditions for finishing 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. Model-based testing for complex software systems is still an evolving field. (en)
- Le model-based testing (MBT) est une activité qui permet de concevoir et de dériver (de manière automatique ou non) des cas de tests à partir d'un modèle abstrait et haut niveau du système sous test (SUT).Le modèle est dit abstrait car il offre bien souvent une vue partielle et discrète des comportements attendus d'un logiciel ou d'un système. Sur la base de modèles abstraits, des cas de test peuvent être dérivées sous la forme de suites de tests.Ces suites de tests ne sont pas directement exécutables, car elles n'ont pas le même niveau d'abstraction que le code exécutable.Cela demande souvent une intervention manuelle de la part d'un ingénieur de test qui doit concevoir une couche d'adaptation permettant de passer d'une suite de tests abstraites en suite de tests exécutables. Cette étape est généralement appelée étape de concrétisation. Une fois les cas de tests exécutés, une comparaison est possible entre le comportement réel du logiciel (le logiciel développé) et le comportement attendu (décrit dans le modèle). La comparaison entre ce qui est attendue et ce qui se passe réellement permet d'assigner un verdict de test. Un test est dit non-passant lorsque le comportement réel du logiciel, ou du système, diffère du comportement attendu. (fr)
- モデルベーステスト（Model-based testing）とは、テストケースの一部または全部を評価対象システムの（通常、機能的側面を）モデル化したものから導出して行うソフトウェアテストの手法である。モデルはテスト対象のシステムの実現すべき動作を表現した抽象的なものである。そのようなモデルから導出されるテストケースはモデルと同程度に抽象化された機能テストであり、直接実行することはできない。そのため、抽象的なテストケースを実行可能なテストケースに変換する必要がある。 モデルからテストを導出する方法はいくつも存在する。ソフトウェアテストは実験的でヒューリスティックスに基づいているため、最善の方法というものは存在しない。一般に全てのテストに関連する設計上の決定をまとめ、パッケージ化する。これを「テスト要求仕様; test requirements」、「テスト目的; test purpose」、場合によっては「ユースケース」と呼ぶ。このパッケージにはテストの中心となるべき部分のモデルに関する情報が含まれ、テスト終了条件が記述される。 モデルベーステストではテストスイートはソースコードからではなくモデルから抽出されるため、一種のブラックボックステストを構成するのが一般的である。見方によってはこれは完全とはいえない。モデルベーステストとソースコードレベルのテストの網羅率測定を組み合わせ、機能的モデルを初期段階のソースコードに基づいて構築するなどのテスト改善方法が考えられる。 複雑なソフトウェアシステムのモデルベーステストは発展途上の分野である。 (ja)
- Тестирование на основе модели (англ. Model-based testing) — это тестирование программного обеспечения, в котором варианты тестирования (англ. test cases) частично или целиком получаются из модели, описывающей некоторые аспекты (чаще функциональные) тестируемой системы (англ. system under test). Модели могут отображать желаемое поведение системы или использоваться для создания тестовых стратегий или среды тестирования. Модель, описывающая тестируемый объект, как правило, абстрактная и описывает лишь часть функциональности объекта. Тесты, сгенерированные из подобных моделей, тоже абстрактны и не могут напрямую использоваться для тестирования объекта. На основе сценариев абстрактных тестов необходимо выполнить их реализацию для тестируемого объекта. Такую реализацию можно использовать для непосредственного тестирования. В некоторых средах для моделирования модели могут содержать достаточное количество информации для генерации исполняемых тестов. Поскольку модели обычно строятся на основе требований или ожидаемого поведения устройства, то такое тестирование обычно рассматривается как одна из форм тестирования по методу черного ящика. (ru)
- Teste baseado em modelo é uma forma de teste de software onde os casos de teste são derivados de um 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á associada 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 em uma máquina de estado finito que representa 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 mais relevantes. Entre as formas de derivação da suite abstrata de teste estão: a geração por , programação com restrições, verificação de modelo, execução simbólica, modelo de fluxo de eventos e cadeias de Markov. (pt)
- 基于模型的测试（英語：Model-based testing）属于软件测试领域的一种测试方法。按照此方法，测试用例可以完全或部分的利用模型自动产生。以上所说的模型通常是指对被测系统（SUT,system under test）某些（通常是功能性的）方面的描述。 模型一般都是对被测系统预期行为动作的抽象描述。这些测试用例的集合就是抽象测试套件（abstract test suite）。抽象测试套件不可以直接执行于需测试的系统，因为，他们不在同一抽象级别。 测试套件（test suites）是由模型生成，而不是由源代码生成。因此，基于模型的测试又常常被当作黑盒测试的一种形式。但从某种层面来说，这并不十分准确。毕竟，基于模型的测试是与源代码级的测试覆盖率，以及对代码的功能测试都有着很大的关系。 对于复杂的软件系统中，如何应用基于模型的测试还在探索中。 (zh)
|
| rdfs:comment
|
- Una prova basada en model, en l'anglès Model-based testing, és l'aplicació del (Model based design) per al disseny i òptima execució dels artefactes necessaris per dur a terme les proves de programari. Els models es poden utilitzar per a representar el comportament desitjat del sistema en prova , o per a representar les estratègies de prova desitjades i els entorns de prova. La imatge de la dreta representa el primer enfocament. (ca)
- Modellbasiertes Testen (englisch model-based testing, MBT) ist ein Oberbegriff für die Nutzung von Modellen zur Automatisierung von Testaktivitäten und zur Generierung von Testartefakten im Testprozess. Darunter fällt insbesondere die Generierung von Testfällen aus Modellen (z. B. unter Verwendung der UML), die das Sollverhalten des zu testenden Systems beschreiben. (de)
- 基于模型的测试（英語：Model-based testing）属于软件测试领域的一种测试方法。按照此方法，测试用例可以完全或部分的利用模型自动产生。以上所说的模型通常是指对被测系统（SUT,system under test）某些（通常是功能性的）方面的描述。 模型一般都是对被测系统预期行为动作的抽象描述。这些测试用例的集合就是抽象测试套件（abstract test suite）。抽象测试套件不可以直接执行于需测试的系统，因为，他们不在同一抽象级别。 测试套件（test suites）是由模型生成，而不是由源代码生成。因此，基于模型的测试又常常被当作黑盒测试的一种形式。但从某种层面来说，这并不十分准确。毕竟，基于模型的测试是与源代码级的测试覆盖率，以及对代码的功能测试都有着很大的关系。 对于复杂的软件系统中，如何应用基于模型的测试还在探索中。 (zh)
- Model-based testing is an application of model-based design for designing and optionally also executing artifacts to perform software testing or system testing. Models can be used to represent the desired behavior of a system under test (SUT), or to represent testing strategies and a test environment. The picture on the right depicts the former approach. 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. Model-based testing for complex software systems is still an evolving field. (en)
- Le model-based testing (MBT) est une activité qui permet de concevoir et de dériver (de manière automatique ou non) des cas de tests à partir d'un modèle abstrait et haut niveau du système sous test (SUT).Le modèle est dit abstrait car il offre bien souvent une vue partielle et discrète des comportements attendus d'un logiciel ou d'un système. (fr)
- モデルベーステスト（Model-based testing）とは、テストケースの一部または全部を評価対象システムの（通常、機能的側面を）モデル化したものから導出して行うソフトウェアテストの手法である。モデルはテスト対象のシステムの実現すべき動作を表現した抽象的なものである。そのようなモデルから導出されるテストケースはモデルと同程度に抽象化された機能テストであり、直接実行することはできない。そのため、抽象的なテストケースを実行可能なテストケースに変換する必要がある。 モデルからテストを導出する方法はいくつも存在する。ソフトウェアテストは実験的でヒューリスティックスに基づいているため、最善の方法というものは存在しない。一般に全てのテストに関連する設計上の決定をまとめ、パッケージ化する。これを「テスト要求仕様; test requirements」、「テスト目的; test purpose」、場合によっては「ユースケース」と呼ぶ。このパッケージにはテストの中心となるべき部分のモデルに関する情報が含まれ、テスト終了条件が記述される。 複雑なソフトウェアシステムのモデルベーステストは発展途上の分野である。 (ja)
- Teste baseado em modelo é uma forma de teste de software onde os casos de teste são derivados de um 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. (pt)
- Тестирование на основе модели (англ. Model-based testing) — это тестирование программного обеспечения, в котором варианты тестирования (англ. test cases) частично или целиком получаются из модели, описывающей некоторые аспекты (чаще функциональные) тестируемой системы (англ. system under test). Модели могут отображать желаемое поведение системы или использоваться для создания тестовых стратегий или среды тестирования. (ru)
|
