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: Indexing of published papers is subject to the evaluation and acceptance criteria of the respective indexing agencies. While we strive to maintain high academic and editorial standards, International Journal of Research in Science and Technology does not guarantee the indexing of any published paper. Acceptance and inclusion in indexing databases are determined by the quality, originality, and relevance of the paper, and are at the sole discretion of the indexing bodies.
