Test Case Generation Based on State and Activity Models.

Swain, Santosh Kumar; Mohapatra, Durga Prasad; Mall, Rajib

doi:10.5381/jot.2010.9.5.a1

Cited by 44 publications

(16 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Previous work [24] identified state charts and sequence charts to be appropriate approaches for automatically deriving test cases based on models. Several publications presented some combinations of structural testing to improve test case generation [25] and more formal models for modeling systems behavior [26] [27]. Considering the temporal behavior remains open but will be considered as future work, e.g., based on [28].…”

Section: Discussionmentioning

confidence: 99%

Agile testing concepts based on keyword-driven testing for industrial automation systems

Hametner

Winkler

Zoitl

2012

IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society

View full text Add to dashboard Cite

Abstract-In the field of industrial automation systems software becomes an important factor because engineers tend to move the realization of functional requirements from hardware to software components. The main reason for this is that software components allow increasing product flexibility. As a consequence software complexity increases rapidly and requires systematic, automation-supported and agile testing approaches. Thus, systematic and agile testing are key challenges in industrial control software development to ensure and improve systems quality. Further different implementation standards, i.e., IEC 61131-3 and IEC 61499, arise additional challenges in constructing and testing industrial automation systems software. This paper presents an agile and keyword-driven test approach with focus on testing implementations based on both important industrial standards and illustrates the applicability of the purposed approach in a sample implementation, i.e., a High Speed Pick and Place unit. Main results show the applicability of keyworddriven testing based on a defined subset of keywords (common for IEC 61131-3 and IEC 61499) and thus enable agile and automation-supported testing more effective and efficient.

show abstract

Section: Discussionmentioning

confidence: 99%

Agile testing concepts based on keyword-driven testing for industrial automation systems

Hametner

Winkler

Zoitl

2012

IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society

View full text Add to dashboard Cite

show abstract

“…Approaches for doing so exist. Some authors use state machines to derive test cases (e.g., (Kim et al 1999;Samuel et al 2008;Kansomkeat and Rivepiboon 2003)), others use activity diagrams (Linzhang et al 2004;Mingsong et al 2009;Kim et al 2007;Tripathy and Mitra 2013), and still others both (Swaina et al 2010). However, many authors highlight that the UML models without additional annotation do not contain sufficient information for automated test generation.…”

Section: Discussionmentioning

confidence: 99%

Comprehensibility of system models during test design: a controlled experiment comparing UML activity diagrams and state machines

Felderer

Herrmann²

2018

Software Qual J

View full text Add to dashboard Cite

UML activity diagrams and state machines are both used for modeling system behavior from the user perspective and are frequently the basis for deriving system test cases. In practice, system test cases are often derived manually from UML activity diagrams or state machines. For this task, comprehensibility of respective models is essential and a relevant question for practice to support model selection and design, as well as subsequent test derivation. Therefore, the objective of this paper is to compare the comprehensibility of UML activity diagrams and state machines during manual test case derivation. We investigate the comprehensibility of UML activity diagrams and state machines in a controlled student experiment. Three measures for comprehensibility have been investigated: (1) the self-assessed comprehensibility, (2) the actual comprehensibility measured by the correctness of answers to comprehensibility questions, and (3) the number of errors made during test case derivation. The experiment was performed and internally replicated with overall 84 participants divided into three groups at two institutions. Our experiment indicates that activity diagrams are more comprehensible but also more error-prone with regard to manual test case derivation and discusses how these results can improve system modeling and test case design.

show abstract

“…A static slicing is formed by eliminating those parts of the program that are not relevant to the values stored in the selected set of variables at the selected point of interest. A dynamic slice is regarding with finding all statements that can affect its value for the current input, instead of all the statements that could influence the value of the variable for any inputs [9]. In this paper we have applied the dynamic slicing because the state of the object in these types of diagram is continuously changing [8], [5].…”

Section: Dynamic Slicing Of Stdgmentioning

confidence: 99%

“…A slicing technique is basically used to facilitate the process of testing and debugging [8], [5], [9]. There are two types of Slicing like Static slicing and dynamic slicing.…”

Section: Dynamic Slicing Of Stdgmentioning

confidence: 99%

“…For evaluating understandability of the statechart diagram, semantic based Cohesion and Coupling has been proposed in [1] and slicing of State-based Models has been proposed in [8], [5], [9]. Data dependence for Slicing Statechart and data dependence from Statechart is given in [6], [7], which describes the dependence graph in a better way.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation