| Autor: |
Ichii, Makoto, Myojin, Tomoyuki, Nakagawa, Yuichiroh, Chikahisa, Masaki, Ogawa, Hideto |
| Zdroj: |
2012 19th Working Conference on Reverse Engineering; 1/ 1/2012, p308-317, 10p |
| Abstrakt: |
We herein propose Program-oriented Modeling (POM), a novel approach to extract software models automatically from source code. The proposed approach is developed in order to satisfy the requirements of model abstraction for situations in which a model is used. The POM model extraction framework provides rule-based abstraction using the Meta-Object Facility (MOF) model transformation technology. We have also built a model extraction tool, called POM/MC, which analyzes C source code to extract Promela models for the SPIN model checker. We have applied POM/MC to an industrial software system and have shown that the proposed approach can reduce the effort involved in analyzing software faults by model checking. [ABSTRACT FROM PUBLISHER] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
