Abstract

The article considers the specifics of a model oriented approach to software development based on the usage of Model Driven Architecture (MDA), Model Driven Software Development (MDSD) and Model Driven Development (MDD) technologies. Benefits of this approach usage in the software development industry are described. The main emphasis is put on the system design, automated code generation for large systems, verification, proof of system properties and reduction of bug density. Drawbacks of the approach are also considered. The approach proposed in the article is specific for industrial software systems development. These systems are characterized by different levels of abstraction, which is used on modeling and code development phases. The approach allows to detail the model to the level of the system code, at the same time store the verified model semantics and provide the checking of the whole detailed model. Steps of translating abstract data structures (including transactions, signals and their parameters) into data structures used in detailed system implementation are presented. Also the grammar of a language for specifying rules of abstract model data structures transformation into real system detailed data structures is described. The results of applying the proposed method in the industrial technology are shown. The article is published in the authors’ wording.

Highlights

  • One of the most perspective approaches to modern software product creation is usage of model oriented technologies both for software development and testing

  • The article is devoted to specifics of model oriented approaches usage in design and generation of large industrial software applications

  • The specific feature of test automatic scenarios detailing to the level of real system is storing of proved properties of the system obtained in process of abstract model verification

Read more

Summary

Model based technologies

One of the most perspective approaches to modern software product creation is usage of model oriented technologies both for software development and testing. The article is devoted to specifics of model oriented approaches usage in design and generation of large industrial software applications. These applications are characterized by multilevel representation related to detailing application functionality to the level where correct code is directly generated. Statistics collected in companies which are using such approaches shows [4] that model-oriented techniques are usually used on system testing phase (up to 80% of projects) with the main goal - functional testing (up to 96%) The reason of such company’s behavior is complexity of system testing for big industrial projects, which is based on huge efforts spent on quality guarantying [5]. Complexity of multi criteria optimization while selecting balanced architecture of software application

Drawbacks of models usage
Levels of behavioral models development
Data structures conversion
Overall scheme of conversion
Templates
Findings
Conclusion
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.