Microsoft Research (Redmond, US) - methods and tools for model based testing, joint organization of Model Based Testing Workshop (will take place in 2004 in Barcelona, Spain)
Other results
The workshop is devoted to model-based testing of both software and hardware.
In some model-based testing environments, models contain enough information to generate executable test suites directly.
В некоторых средах для моделирования модели могут содержать достаточное количество информации для генерации исполняемых тестов.
Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results evaluation.
Students will have a good understanding of the model-based testing - a new, dynamic, rapidly growing field which involves theoretical computer science and software engineering, and its practical applications.
Слушатели получают хорошее представление о тестировании на основе моделей - новом, динамично развивающемся направлении на границе между теоретической информатикой и программной инженерией, а также о его практических приложениях.
The intent of this workshop is to bring together researchers and users of model-based testing techniques and tools to discuss the state of the art in theory, applications, tools, and industrialization of model-based testing and related domains.
Model-based testing is the application of Model based design for designing and executing the necessary artifacts to perform software testing.
Model-based testing refers to software testing where test cases are derived in whole or in part from a model that describes some (usually functional) aspects of the system under test.
Workshop on Model-Based Testing (MBT)
Международный семинар по тестированию на основе моделей (Model Based Testing - MBT)
Model-based testing in practice.
The method of searching for the best model based on testing all possible models is usually called the combinatorial GMDH algorithm.
Main Journal Archive of articles Development and research of the control of knowledge of mathematics model by computer-based testing