Mumbai University > Computer engineering > Sem 7 > Software Architecture.

Marks: 4 M

Year: Dec 12

• Analysis in particular can be done either in static or dynamic way. Static analysis is basically used for acquiring properties of a system from some of its models without actually executing those models. Dynamic analysis involves actual execution or simulation of models of a system in order to acquire details about its behavior during run time.

• For any large and complex software systems, it is not feasible to assert a given property for the entire system over the entire space of its possible states. Here specific use-cases are identified that represent the frequent occurring system usage scenarios. These scenarios are taken for analysis. Scenario based analysis can be an instance of both static analysis and dynamic analysis. In static analysis, it is used as a tool for reducing state space of a modeled system. In dynamic analysis, it is used as a tool to reduce the execution space of the system.