Validation of SDL specifications using EFSM-based test generation

Wong, W. Eric; Restrepo, Andy; Choi, Byoungju

doi:10.1016/j.infsof.2009.06.005

Cited by 12 publications

(11 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Currently, there are many works regarding test generation methods for EFSM models [12][13][14]. Huang [11] proposed a test sequence generation method by constructing a TEA tree.…”

Section: Figure 6 Reduce Rate Of Explored Nodesmentioning

confidence: 99%

A Test Generation Method for EFSM-based Protocols Using the Transitions Feasibility Estimation

Shu¹,

Yin³

et al. 2016

IJCA

View full text Add to dashboard Cite

show abstract

“…Currently, there are many works regarding test generation methods for EFSM models [12][13][14]. Huang [11] proposed a test sequence generation method by constructing a TEA tree.…”

Section: Figure 6 Reduce Rate Of Explored Nodesmentioning

confidence: 99%

A Test Generation Method for EFSM-based Protocols Using the Transitions Feasibility Estimation

Shu¹,

Yin³

et al. 2016

IJCA

View full text Add to dashboard Cite

show abstract

“…1 In our earlier studies [30] [31], the focus of testing an SDL system is on coverage testing of each individual process (namely, each EFSM). We used the all-node and all-edge coverage criteria.…”

Section: Testing Communication Between Sdl Processesmentioning

confidence: 99%

“…The test generation methodology discussed in our previous study [30] assumes that input messages will be delivered to an EFSM when needed. This simplification is clearly only valid when testing individual EFSMs using coverage criteria such as all-node or all-edge without considering communication aspects.…”

Section: Introductionmentioning

confidence: 99%

Validation of SDL-Based Architectural Design Models: New Coverage Criteria

Restrepo¹,

Wong²

2011

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement

Self Cite

View full text Add to dashboard Cite

As the capability to automatically generate code from different models becomes more sophisticated, it is critical that these models be adequately tested for quality assurance prior to code generation. Although simulation-based blackbox testing strategies exist for these models, it is important that we also employ white-box testing strategies similar to those used to test implementation code. More precisely, we apply coverage testing to architectural design models represented by SDL (Specification and Description Language). Our previous study [30] defined a methodology for automatic test generation with respect to structural-based criteria such as all-node and all-edge. Now, we propose new coverage criteria such as n-step message transfer and sender-receiver round-trip, aiming at the communication between SDL processes.

show abstract

“…EFSMs can model both control and data and a number of standard modelling languages such as Statecharts and SDL can be seen as EFSMs. EFSM based test techniques can be applied to models in such languages [7,8] as well as formalisms such as (UML) Use Cases and Z and in domains such as communication protocols and web services [8], [9], [10], [11], [12], [13], [14].…”

Section: Introductionmentioning

confidence: 99%