Identification of Categories and Choices in Activity Diagrams

Chen, Tsong Yueh; Poon, Pak-Lok; Tang, Sau-Fun; Tse, T. H.

doi:10.1109/qsic.2005.36

Cited by 12 publications

(11 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…De la Riva et al (2006) developed a partition-based approach where categories and choices are identified by systematically examining both the XML schema and the XML query. Chen et al (2005) and Hartmann et al (2005) introduced their methods to identify categories and choices from UML activity diagrams, which are just one component in a specification. Thus, our review indicates that a systematic identification technique for the entire informal specification does not exist.…”

Section: Identification Of Categories Choices and Their Relationsmentioning

confidence: 99%

Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing

et al. 2010

View full text Add to dashboard Cite

An early step for most black-box testing methods is to identify a set of categories and choices (or their equivalents) from the specification. The identification is often performed in an ad hoc manner, thus the quality of categories and choices is in doubt. Poorly identified categories and choices will affect the comprehensiveness of test cases. In this paper, we describe several comparative studies using three commercial specifications and discuss the major results. The objectives of our studies are (a) to investigate the differences in the types and amounts of mistakes made between inexperienced and experienced software testers in an ad hoc identification approach and (b) to determine the extent of mistake reduction after discussing the mistakes with the software testers and providing them with an identification checklist.

show abstract

Section: Identification Of Categories Choices and Their Relationsmentioning

confidence: 99%

Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing

et al. 2010

View full text Add to dashboard Cite

show abstract

“…The approach proposed in [12] aims to visualize use cases and therefore automated test generation can be facilitated. Visualizing use cases or their scenarios for the purpose of better understanding and analyzing them is a common practice [2,10] and the idea of activity diagram-based test generation is also promoted in [7,17]. Both the approaches proposed in [13] and [9] can generate analysis models including class and activity diagrams.…”

Section: Related Work and Comparisonmentioning

confidence: 99%

An Automated Approach to Transform Use Cases into Activity Diagrams

Yue

Briand

Labiche

2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated test case generation. Therefore the automated support for the transition from use cases to activity diagrams would provide significant, practical help. Additionally, traceability could be established through automated transformation, which could then be used for instance to relate requirements to design decisions and test cases. In this paper, we propose an approach to automatically generate activity diagrams from use cases while establishing traceability links. Data flow information can also be generated and added to these activity diagrams. Our approach is implemented in a tool, which we used to perform five case studies. The results show that high quality activity diagrams can be generated. Our analysis also shows that our approach outperforms existing academic approaches and commercial tools.

show abstract

“…For example, dSPACE developed the tool AutomationDesk which uses activity diagrams for test descriptions and test script generation [16,17]. Chen et al [20] presented a framework that can construct test cases from specifications by identifying a set of input categories for the activity diagrams as test cases. However, their method requires preliminary information provided by testing experts.…”

Section: Related Workmentioning

confidence: 99%

Efficient test case generation for validation of UML activity diagrams

Chen

Mishra

Kalita

2010

Des Autom Embed Syst

View full text Add to dashboard Cite

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 cases based on various model checking techniques. It makes three primary contributions: First, we propose coverage-driven mapping rules that can automatically translate activity diagram to formal models. Next, we present a procedure for automatic property generation according to error models. Finally, we apply various model checking based test case generation techniques to enable efficient test case generation. Our experimental results demonstrate that our approach can reduce the validation effort drastically by reducing both test case generation time and required number of test cases to achieve a functional coverage goal.

show abstract

Identification of Categories and Choices in Activity Diagrams

Abstract: The choice relation framework (CHOC'LATE)

Cited by 12 publications

References 12 publications

Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing

Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing

An Automated Approach to Transform Use Cases into Activity Diagrams

Efficient test case generation for validation of UML activity diagrams

Contact Info

Product

Resources

About