Loading...

Application of Model Checking Techniques for Evaluating Situational Method Engineering Models

Sahaf, Zahra | 2012

604 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 43496 (19)
  4. University: Sharif University of Technology
  5. Department: Computer Engineering
  6. Advisor(s): Ramsin, Raman
  7. Abstract:
  8. Explicitly defining a software process is widely recognized as a necessary practice in software engineering and methodology engineering. However, this does not necessarily mean that the process thus defined is perfect, sound and useful. Evaluation of software processes has therefore become essential, and numerous evaluation approaches have been proposed to detect process inconsistencies and errors. As software processes are complex entities, it is very difficult to evaluate them manually; therefore, many evaluation methods, such as testing and simulation, are not adequate when precise verification of software processes is intended. The model checking approach can be effectively used for analyzing software processes in an accurate, complete and automated manner; we utilize from this technique to verify software processes. This project proposes a method for evaluating a software process by applying automatic model checking techniques in a clear-cut manner. The proposed method provides a simple multi-step mapping from UML-based software process models to formal state transition diagrams; the resulting state transition diagrams are precise enough to be evaluated by model checking techniques. At the same time, this project introduces sound ideal properties for software development processes, which are required to check their satisfaction in software processes. As such properties are high level, we propose a method to elucidate them in a way that they can be utilized by model checking techniques. For the purpose of evaluation, the proposed method is applied on a real and practical software process model and extracted results are used to evaluate the proposed method.

  9. Keywords:
  10. Process Modeling ; Software Development ; Model Cheking ; Process Model Verification

 Digital Object List

 Bookmark

No TOC