Detecting deadlock in activity diagram using process automata

Sugunnasil, Prompong

doi:10.1109/icsec.2016.7859885

Cited by 3 publications

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Figure illustrates an example. The join node will continue if two incoming flows have arrived . (2) Infinite loops cannot prevent path calculation.…”

Section: A Smardt Test Case Generatormentioning

confidence: 99%

SMArDT modeling for automotive software testing

et al. 2018

View full text Add to dashboard Cite

Summary Efficient testing is a crucial prerequisite to engineer reliable automotive software successfully. However, manually deriving test cases from ambiguous textual requirements is costly and error‐prone. Model‐based software engineering captures requirements in structured, comprehensible, and formal models, which enables early consistency checking and verification. Moreover, these models serve as an indispensable basis for automated test case derivation. To facilitate automated test case derivation for automotive software engineering, we conducted a survey with testing experts of the BMW Group and conceived a method to extend the BMW Group's specification method for requirements, design, and test methodology by model‐based test case derivation. Our method is realized for a variant of systems modeling language activity diagrams tailored toward testing automotive software and a model transformation to derive executable test cases. Hereby, we can address many of the surveyed practitioners' challenges and ultimately facilitate quality assurance for automotive software.

show abstract

“…Figure illustrates an example. The join node will continue if two incoming flows have arrived . (2) Infinite loops cannot prevent path calculation.…”

Section: A Smardt Test Case Generatormentioning

confidence: 99%