Test-Case Design by Feature Trees

Kitamura, Takashi; Bich, Ngoc Thi; Ohsaki, Hitoshi; Fang, Ling; Yatabe, Shunsuke

doi:10.1007/978-3-642-34026-0_34

Cited by 6 publications

(4 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Similar problems have been pointed out in [3,12]. Despite the effectiveness of n-wise testing, the difficulty of the technique to design correct test-models creates a significant barrier to preventing wider adoption of the technique in real-world de- Toward this problem, in [17] we propose a model-based combinatorial testing method, called FOT (Feature Oriented Testing). Aiming to assists testers to design correct testmodels, this method provides a design method to systematically design test-models using extended logical trees, named T (mex, req) .…”

Section: Introductionmentioning

confidence: 88%

“…Then, we recall the definition of T (mex, req) , defined with formal syntax and semantics. Readers are encouraged to refer to [17] for the details. Figure 2: A flattened tree of the test-model in Figure 1 No.…”

Section: A Language For Test-model De-sign: T (Mex Req)mentioning

confidence: 99%

“…This tree analyzes the input domain of activateTask [17] function in the OSEK-OS automotive operating system. The tree in Figure 3 is the result of applying function Flatten-And-Sequence to the test tree of T (mex, req) in Figure 1.…”

Section: Examplementioning

confidence: 99%

“…

In our previous work [17], we proposed a model-based combinatorial testing method, called FOT. It provides a technique to design test-models for combinatorial testing based on extended logic trees.

…”

mentioning

confidence: 99%

See 3 more Smart Citations

Constructing test cases for n-wise testing from tree-based test models

Ngoc

Kitamura

Nguyen

et al. 2013

Proceedings of the Fourth Symposium on Information and Communication Technology - SoICT '13

Self Cite

View full text Add to dashboard Cite

In our previous work [17], we proposed a model-based combinatorial testing method, called FOT. It provides a technique to design test-models for combinatorial testing based on extended logic trees. In this paper, we introduce pair-wise testing (and by extension, n-wise testing, where n = 1,2,.. ) to FOT, by developing a technique to construct a testsuite of n-wise strategies from the test models in FOT. We take a "transformation approach" to realize this technique. To construct test suites, this approach first transforms testmodels in FOT, represented as extended logic trees, to those in the formats which the existing n-wise testing tools (such as PICT [9], ACTS [30], CIT-BACH [31], etc.) accept to input, and then applies transformed test-models to any of these tools. In this transformation approach, an algorithm, called "flattening algorithm", plays a key role. We prove the correctness of the algorithm, and implement the algorithm to automate such test-suite constructions, providing a tool called FOT-nw (FOT with n-wise). Further, to show the effectiveness of the technique, we conduct a case study, where we apply FOT-nw to design test models and automatically construct test suites of n-wise strategies for an embedded system of stationary services for real-use in industry.

show abstract

Section: Introductionmentioning

confidence: 88%

Section: A Language For Test-model De-sign: T (Mex Req)mentioning

confidence: 99%

Section: Examplementioning

confidence: 99%

“…

In our previous work [17], we proposed a model-based combinatorial testing method, called FOT. It provides a technique to design test-models for combinatorial testing based on extended logic trees.

…”

mentioning

confidence: 99%

See 2 more Smart Citations

Constructing test cases for n-wise testing from tree-based test models

Ngoc

Kitamura

Nguyen

et al. 2013

Proceedings of the Fourth Symposium on Information and Communication Technology - SoICT '13

Self Cite

View full text Add to dashboard Cite

show abstract

Automated Generation of Initial Configurations for Testing Component Systems

Dadeau

Gros

Kouchnarenko

2021

Formal Aspects of Component Software

View full text Add to dashboard Cite

Modbat: A Model-Based API Tester for Event-Driven Systems

Artho

Biere

Hagiya

et al. 2013

Hardware and Software: Verification and Testing

View full text Add to dashboard Cite

Software testing executes a system under test by giving it a series of inputs and comparing the outputs to expected values. Model-based testing generates test executions from an abstract model that describes the system behavior. Existing model-based approaches are not wellsuited for event-driven or input/output-driven systems. In particular, there is a need to support nonblocking I/O operations, or operations throwing exceptions when communication is disrupted. We present a new tool called "Modbat", which is specialized for testing the application programming interface of systems where these issues are common. * , JSPS kaken-hi 23240003.

show abstract

Test-Case Design by Feature Trees

Cited by 6 publications

References 13 publications

Constructing test cases for n-wise testing from tree-based test models

Constructing test cases for n-wise testing from tree-based test models

Automated Generation of Initial Configurations for Testing Component Systems

Modbat: A Model-Based API Tester for Event-Driven Systems

Contact Info

Product

Resources

About