MagicDraw

Modeling with ALF Action Language in Testing

I remember more than 10 years ago when we were making a decision on what the modeling language we should be using for creating Conformiq Designer models. It was quite clear that we wanted to have a graphical notation that the user could use to capture high-level control flow and life cycle of objects as well as event loop structures and high-level ...

Executable UML/SysML in MBT: A Dream?

In many industries, like aerospace, defense, telecommunication and others, it’s becoming common to use UML/SysML to describe system architectures. With the introduction of OMG fUML, many companies began refining their models to the level where they became executable. The next big step is to adopt model-based testing in which standard executable ...