PROF. NIRVIKAR KATIYAR
HOD CS/IT AXIS COLLEGES Kanpur
DR. RAGHURAJ SINGH
HOD CS/IT HBTI Kanpur
Download PDFModel-based testing relies on models of a system under test and/or its environment to derive test cases for the System. Model-based testing refers to the processes and techniques for the automatic derivation of abstract test cases from abstract formal models, the generation of concrete tests from abstract tests, and the manual or automated execution of the resulting concrete test cases. Therefore, the key points of model-based testing are the modeling principles for test generation, the test generation strategies and techniques, and the concretization of abstract tests into concrete, executable tests. Model-based functional testing is focused on comparing the system under test to a test model. This comparison usually consists of automatically generating a test suite from the test model, executing the test suite, and comparing the observable behavior to the expected one. Important advantages of model-based testing are formal test specifications that are close to requirements, traceability of these requirements to test cases, and the automation of test case design, which helps reducing test costs. Testing cannot be complete in many cases: For test models that describe, e.g., non terminating systems, it is possible to derive a huge and possibly infinite number of different test cases. Coverage criteria are a popular heuristic means to measure the fault detection capability of test suites. They are also used to steer and stop the test generation process.
Keywords: Uml, Ocl, Sorting Machine, Schumacher Freight Elevator, Location Analyzer, Boundary Value Analysis, Triangle Categorization
Disclaimer: All papers published in IJRST will be indexed on Google Search Engine as per their policy.
