Model Based Automatic Test Research and Application

Wei Zheng; Hai Tao Xu; Lu Shuai Guan

doi:10.4028/www.scientific.net/AMR.121-122.1033

Paper Titles

An Improved Ant Colony Optimization for the Vehicle Routing Problem in Logistics Distribution
p.1006

Fabric Defects Image Filtering Method Based on Rough Set and PC Neural Networks
p.1012

State of Art Techniques in En-Route Caching
p.1018

Status Quo and Future: Multimedia Application in Higher Education
p.1023

A Novel Soil Moisture Predicting Method Based on Artificial Neural Network and Xinanjiang Model
p.1028

Model Based Automatic Test Research and Application
p.1033

Fuzzy Control of a Novel Type of Translational Meshing Motors
p.1038

The Research of Semi-Fragile Watermarking Algorithm Based on Dynamic Segmentation
p.1044

A Fragile Information Hiding Technique Based on Human Visual Gray Sensitivity
p.1048

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 121-122Model Based Automatic Test Research and...

Model Based Automatic Test Research and Application

Abstract:

With the rapidly development and widely acceptance of MDD(Model Based Design), MBT(Model Based Test) has been presented for many years, it matches test-first concept, has been widely accepted. In this paper, basic process of model based testing is presented firstly, after that, key technologies such as Model instruct, test case selection, test script running etc. are discussed. Actual test case with Specific Explorer is presented and test result analysis is presented.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 121-122)

Pages:

1033-1037

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.121-122.1033

Citation:

Cite this paper

Online since:

June 2010

Authors:

Wei Zheng, Hai Tao Xu, Lu Shuai Guan

Keywords:

Automatic Testing, MBT, Specific Explorer, Test Case Generation

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] E. M. Clarke. Model checking[M]. Lecture Notes in Computer Science, 1997: 54-56.

Google Scholar

[2] Amir Pnueli. Verification Engineering: A Future Profession[J]. (A. M. Turing Award Lecture) Sixteenth Annual ACM Symposium on Principles of Distribute Computing, San Diego, Aug. (1997).

DOI: 10.1145/259380.259407

Google Scholar

[3] Doron Peled, Edmund M. Clarke. Software Reliability Methods[M], Springer, (2001).

Google Scholar

[4] Steven P. Miller, Alan C. Tribble, Michael W. Whalen, ats P. E. Heimdahl. Proving the shalls[Z]. International Journal on Software Tools for Technology Transfer (STTT), (2006).

DOI: 10.1007/s10009-004-0173-6

Google Scholar

[5] Mats P. Heimdahl, Devaraj George, On the effect of test-suite reduction on automatically generated model-based tests[J]. Automated Software Engineering, (2007).

DOI: 10.1007/s10515-006-0004-y

Google Scholar

[6] Rayadurgam,S., Heimdahl M.P. Coverage based test-case generation using model checkers[Z]. Proceedings of the 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2001), P83-91.

DOI: 10.1109/ecbs.2001.922409

Google Scholar