Latex has several plugins that can be used to format your documents into scientific standards. The algorithm package brings well aligned and styled looking algorithms into any paper. the following example shows an algorithm tag for a recursive method. \begin{algorithm}[H] \SetAlgoLined \KwIn{$ $\Comment{model.ump}} \KwOut{$ $\Comment{model_{mutationOperator}.ump}} $filesToMutate.add(model)$\newline $searchForLinkedFiles(model)$ \newline \SetKwFunction{FMain}{searchForLinkedFiles} \SetKwProg{Fn}{Function}{:}{} \Fn{\FMain{$file$}}{ \eIf{\exists model \ni linkedFiles […]
home page
my blog posts
Ottawa Parliament
A photography using wide-angle lens Tokina 11-16 while exploring the downtown area. This was processed for HDR result.
Modelling abstract tests in Umple
Posted by Sultan in Model-Based Testing
Testcase can be injected within the Umple/UML model code using the abstract testing syntax. a class with a state machine can also have test elements as part of the model. the following is an exmaple: This abstract test can be generated into any unit testing platform using the ‘test’ generator followed by a compilation with […]