2010
DOI: 10.1007/s10617-010-9052-4
|View full text |Cite
|
Sign up to set email alerts
|

Efficient test case generation for validation of UML activity diagrams

Abstract: Unified Modeling Language (UML) is widely used as a system level specification language in embedded system design. Due to the increasing complexity of embedded systems, the analysis and validation of UML specifications is becoming a challenge. UML activity diagram is promising to modeling the overall system behavior. However, lack of techniques for automated test case generation is one major bottleneck in the UML activity diagram validation. This article presents a methodology for automatically generating test… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
22
0

Year Published

2013
2013
2022
2022

Publication Types

Select...
6
2
1

Relationship

0
9

Authors

Journals

citations
Cited by 22 publications
(22 citation statements)
references
References 33 publications
0
22
0
Order By: Relevance
“…They have proposed a test tool for generating automated test stubs based on testable sequence diagram from behaviour specification. M. Chen et al, [6] have described novel test condition based test case generation for collaboration diagram. They have used a traditional data flow criteria and also have proposed a criterion for dynamic testing for message sequence path.…”
Section: Related Workmentioning
confidence: 99%
“…They have proposed a test tool for generating automated test stubs based on testable sequence diagram from behaviour specification. M. Chen et al, [6] have described novel test condition based test case generation for collaboration diagram. They have used a traditional data flow criteria and also have proposed a criterion for dynamic testing for message sequence path.…”
Section: Related Workmentioning
confidence: 99%
“…The real -time system experimental results demonstrate with their approach can reduce both test case generation time and overall validation efforts but the path coverage and functional coverage not mentions in the methodology. P Samuel et al [4] shows an example of an ice cream vending machine with embedded for generating test case based on UML state diagrams. They have produce test data for each predicate on all transitions in a state machine diagram.…”
Section: Overview Of Specification Diagrams a Behavioural Diagrmentioning
confidence: 99%
“…The behavioural diagram for real-time systems provides a way to express the dynamic behaviours using interaction between objects. UML object diagrams are an important source of information for test case design, UML diagram reducing testing cost and improve software quality [4].The structural description of the system like Functional block diagram (FBD) is widely using in real -time systems. FBD is growingly used in real-time ISSN (Print) : 2319-8613 ISSN (Online) : 0975-4024…”
mentioning
confidence: 99%
“…There are several tools available in the market to draw UML The paper [13] automatically generated the test cases using the prototype tooL M. Chen et al [13] converted the UML models automatically by applying some transformation rules.…”
Section: Introductionmentioning
confidence: 99%