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)
Alte rezultate
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.
Model-based testing in practice.
A simple model based on prohibition and testing for gene modification will not be enough, assuming that detection is possible at all.
Простой модели, основанной на запрете и проверках на предмет генетической модификации, будет недостаточно, даже если предполагать, что обнаружить такую модификацию вообще возможно.
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
According to conventional models of testing based on classical test theory for measuring the examinee's level in a specific skill or ability as preciselyas possible these procedures usually should implement a big number of items that makes testing difficult to use.
Согласно традиционным моделям, основанным на классической теории тестирования, для измерения уровня определенного умения или способности испытуемого настолько точно, насколько это возможно, эти процедуры должны включать большое количество заданий, затрудняющих использование тестов.