Abstract
In the conventional tests, test case is generated in the design stage. However, actual test can be executed after its embodiment. As there is as much time difference between the design and execution of the test, the errors in the designs of test and software are checked out late. This paper is proposing the test case generation method so as automatic test can be carried out in the virtual simulation environment. The method proposed generates the test case automatically based on the state diagram and executes it in the virtual simulator. It can reduce the time difference between the design and execution of test, accordingly, to find out the error in the test case and problems in the design promptly. As a result, it can identify the error in the beginning stage of software development and save the time and expense need for the development.
This research was supported by the MKE(The Ministry of Knowledge Economy), Korea, under the ITRC(Information Technology Research Center) support program supervised by the NIPA(National IT Industry Promotion Agency)(NIPA-2011-(C1090-1131-0008)) and the Ministry of Education, Science Technology (MEST) and National Research Foundation of Korea(NRF) through the Human Resource Training Project for Regional Innovation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boehm, B.W.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981)
Son, H.S., Kim, W.Y., Kim, R.Y.C.: Implementation of Technique for Movement Control of Multi-Joint Robot. In: The 30th KIPS Fall Conference 2008, November 14, vol. 15(2), pp. 593–596 (2008)
Kim, W.Y., Son, H.S., Kim, R.Y.C., Carlson, C.R.: MDD based CASE Tool for Modeling Heterogeneous Multi-Jointed Robots. In: CSIE 2009, vol. 7, pp. 775–779. IEEE Computer Society, Los Angeles/Anaheim (2009)
Kim, J.S., Son, H.S., Kim, W.-Y., Kim, R.Y.C.: A Study on Education Softwarefor Controling of Multi-Joint Robot. Journal of The Korean Association of Information Education 12(4), 469–476 (2008)
Kim, J.S., Son, H.S., Kim, W.-Y., Kim, R.Y.C.: A Study on M&S Environment for Designing The Autonomous Reconnaissance Ground Robot. Journal of the Korea Institute of Military Science and Technology 11(6), 127–134 (2008)
Burnstein, I.: Parctical Software Testing. Springer, Heidelberg (2003)
Toth, A., Varro, D., Pataricca, A.: Model Level Automatic Test Generation for UML State-Charts. In: Sixth IEEE Workshop on Design and Diagnostics of Electronic Circuits and System, DDECS 2003 (2003)
Gresi, S., Latella, D., Massink, M.: Formal Test Case Generation for UML State-Charts. In: Ninth IEEE International Conference on Engineering Complex Computer System Navigating Complexity in e-Engineering Age (2004)
Bertolino, A., Marchetti, E.: Introducing a reasonably complete and coherent approach for model based testing. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, Springer, Heidelberg (2004)
McGhee, R.B., Frank, A.A.: On the Stability Proper-ties of Quadruped Creeping Gaits. Mathematical Biosciencies 2(1/2) (1968)
Raibert, M.H.: Legged Robots. ACM 29(6), 499–514 (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kim, W.Y., Son, H.S., Kim, R.Y.C. (2011). A Study on Test Case Generation Based on State Diagram in Modeling and Simulation Environment. In: Kim, Th., Adeli, H., Robles, R.J., Balitanas, M. (eds) Advanced Communication and Networking. ACN 2011. Communications in Computer and Information Science, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23312-8_38
Download citation
DOI: https://doi.org/10.1007/978-3-642-23312-8_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23311-1
Online ISBN: 978-3-642-23312-8
eBook Packages: Computer ScienceComputer Science (R0)