A unified approach for verification and validation of systems and software engineering models

Author

Alawneh, Luay ; Debbabi, Mourad ; Hassaïne, Fawzi ; Jarraya, Yosr ; Soeanu, Andrei

Author_Institution

Concordia Inst. for Inf. Syst. Eng., Concordia Univ., Montreal, Que.

fYear

2006

fDate

27-30 March 2006

Lastpage

418

Abstract

We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm relies on an established synergy between three salient approaches, which are model-checking, program analysis, and software engineering techniques. To illustrate the accomplishment of our results, we have designed and implemented an integrated and automated computer-aided assessment tool. We provide three case studies for sequence, state machine, and class and package diagrams to demonstrate the benefits of our methodology

Keywords

Unified Modeling Language; program testing; program verification; SysML; UML 2.0; computer-aided assessment tool; model-checking; software engineering model; software validation; software verification; systems engineering design model; Application software; Computer security; Design engineering; Reliability engineering; Research and development; Software engineering; Software maintenance; Software systems; Systems engineering and theory; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on

Conference_Location

Potsdam

Print_ISBN

0-7695-2546-6

Type

conf

DOI

10.1109/ECBS.2006.17

Filename

1607391