No abstract

System modeling is a widely used technique to model state-based systems. Several state-based languages are used to model such systems, e.g., EFSM, SDL and State Charts. Although state-based modeling is very useful, system models are frequently large and complex and are hard to understand and modify. Slicing is a well-known reduction technique. Most of the research on slicing is code-based.There has been limited research on specification-based slicing and model-based slicing. In this paper, we present an approach to slicing state-based models, in particular EFSM models. Our approach automatically identifies the parts of the model that affect an element of interest using EFSM dependence analysis. Slice reduction techniques are then used to reduce the size of the EFSM slice. Our experience with the presented slicing approach showed that significant reduction of state-based models could be achieved.

No abstract

Requirement-based automated test case generation is a modelbased technique for generating test suites related to individual requirements. The technique supports test generation from EFSM (Extended Finite State Machine) system models.Several requirement-based selective test generation techniques were proposed. These techniques may significantly reduce a number of test cases with respect to a requirement under test as opposed to a complete system testing. However, the number of test cases may still be very large especially for large systems. In this paper, we present an approach of reduction of requirement based test suites using EFSM dependence analysis.Different types of dependencies are identified between elements of the EFSM system model. These dependencies capture potential interactions between elements of the model and are used to determine parts of the model that affect a requirement under test. This information is used to reduce the test suite by identifying repetitive tests, i.e., tests that exhibit the same pattern of interactions with respect to the requirement under test. Our initial experience shows that this approach may significantly reduce the size of selective test suites.

Requirement-based automated test case generation is a model-based technique for generating test suites related to individual requirements. The technique supports test generation from EFSM (Extended Finite State Machine) system models. Several requirement-based selective test generation techniques were proposed. These techniques may significantly reduce a number of test cases with respect to a requirement under test as opposed to a complete system testing. However, the number of test cases may still be very large especially for large systems. In this paper, we present an approach of reduction of requirement based test suites using EFSM dependence analysis. Different types of dependencies are identified between elements of the EFSM system model. These dependencies capture potential interactions between elements of the model and are used to determine parts of the model that affect a requirement under test. This information is used to reduce the test suite by identifying repetitive tests, i.e., tests that exhibit the same pattern of interactions with respect to the requirement under test. Our initial experience shows that this approach may significantly reduce the size of selective test suites.