Open Science Research Excellence

Open Science Index

Commenced in January 2007 Frequency: Monthly Edition: International Publications Count: 29636


Select areas to restrict search in scientific publication database:
7240
An Experiment for Assessment of a “Functional Scenario-based“ Test Case Generation Method
Abstract:
Specification-based testing enables us to detect errors in the implementation of functions defined in given specifications. Its effectiveness in achieving high path coverage and efficiency in generating test cases are always major concerns of testers. The automatic test cases generation approach based on formal specifications proposed by Liu and Nakajima is aimed at ensuring high effectiveness and efficiency, but this approach has not been empirically assessed. In this paper, we present an experiment for assessing Liu-s testing approach. The result indicates that this testing approach may not be effective in some circumstances. We discuss the result, analyse the specific causes for the ineffectiveness, and describe some suggestions for improvement.
Digital Object Identifier (DOI):

References:

[1] Shaoying Liu, and Shin Nakajima. A Decompositional Approach to Automatic Test Case Generation Based on Formal Specification. Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement, pages 147-155, 2010.
[2] J. Dick, and A. Faivre. Automating the Generation and Sequencing of Test Cases from Model-based Specifications. In Proceedings of FME -93: Industrial-Strength Formal Methods, pages 268-284, Odense, Denmark, 1993. Springer-Verlag Lecture Notes in Computer Science Volume 670.
[3] Shaoying Liu. Formal Engineering for Industrial Software Development Using the SOFL Method. Springer-Verlag, ISBN 3-540-20602-7, 2004.
[4] M. C. Gaudel and P. Le Gall. Testing Data Types Implementation from Algebraic Specifications. In R. Hierons, J. Bowen, and M. Harman, editors, Formal Methods and Testing, pages 209-239. LNCS 4949, Springer-Verlag, 2008.
[5] M. Broy, B. Jonsson, J. -P. Katoen, M. Leucker, and A. Pretschner (eds.). Model-based Testing of Reactive Systems. LNCS 3472, Springer-Verlag, 2005.
[6] Yoonsik Cheon, and Carmen Avila. Automating Java Program Testing Using OCL and AspectJ. 7th International Conference on Information Technology, pages 1020-1025, 2010.
[7] Anton Michlmayr, Pascal Fenkam, and Schahram Dustdar. Specification- Based Unit Testing of Publich/Subscribe Applications. Proceedings of the 26th IEEE International Conference on Distributed Computing Systems Workshops, pages 34-34, 2006.
[8] S. Khurshid, and D. Marinov. TestEra: Specification-based Testing of Java Program using SAT. Automated Software Engineering, 11(4), pages 403-434, 2004.
[9] S. Khurshid, D. Marinov, I. Shlyakhter, and D. Jackson. A Case for Efficient Solution Enumeration. Proceedings of SAT2003, pages 297- 298. LNCS 2919, Springer-Verlag, 2003.
[10] Aritra Bandyopadhyay, and Sudipto Ghosh. Test Input Generation using UML Sequence and State Machines Models. International Conference on Software Testing Verification and Validation, pages 121-130, 2009.
[11] Gordon Fraser, and Angelo Gargantini. Experiments on the Test Case Length in Specification Based Test Case Generation. ICSE Workshop on Automation of Software Test, pages 18-26, 2009.
[12] Shaoying Liu, and Shin Nakajima. A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. 18th Asia-Pacific Software Engineering Conference, pages 5-8, 2011.
Vol:13 No:05 2019Vol:13 No:04 2019Vol:13 No:03 2019Vol:13 No:02 2019Vol:13 No:01 2019
Vol:12 No:12 2018Vol:12 No:11 2018Vol:12 No:10 2018Vol:12 No:09 2018Vol:12 No:08 2018Vol:12 No:07 2018Vol:12 No:06 2018Vol:12 No:05 2018Vol:12 No:04 2018Vol:12 No:03 2018Vol:12 No:02 2018Vol:12 No:01 2018
Vol:11 No:12 2017Vol:11 No:11 2017Vol:11 No:10 2017Vol:11 No:09 2017Vol:11 No:08 2017Vol:11 No:07 2017Vol:11 No:06 2017Vol:11 No:05 2017Vol:11 No:04 2017Vol:11 No:03 2017Vol:11 No:02 2017Vol:11 No:01 2017
Vol:10 No:12 2016Vol:10 No:11 2016Vol:10 No:10 2016Vol:10 No:09 2016Vol:10 No:08 2016Vol:10 No:07 2016Vol:10 No:06 2016Vol:10 No:05 2016Vol:10 No:04 2016Vol:10 No:03 2016Vol:10 No:02 2016Vol:10 No:01 2016
Vol:9 No:12 2015Vol:9 No:11 2015Vol:9 No:10 2015Vol:9 No:09 2015Vol:9 No:08 2015Vol:9 No:07 2015Vol:9 No:06 2015Vol:9 No:05 2015Vol:9 No:04 2015Vol:9 No:03 2015Vol:9 No:02 2015Vol:9 No:01 2015
Vol:8 No:12 2014Vol:8 No:11 2014Vol:8 No:10 2014Vol:8 No:09 2014Vol:8 No:08 2014Vol:8 No:07 2014Vol:8 No:06 2014Vol:8 No:05 2014Vol:8 No:04 2014Vol:8 No:03 2014Vol:8 No:02 2014Vol:8 No:01 2014
Vol:7 No:12 2013Vol:7 No:11 2013Vol:7 No:10 2013Vol:7 No:09 2013Vol:7 No:08 2013Vol:7 No:07 2013Vol:7 No:06 2013Vol:7 No:05 2013Vol:7 No:04 2013Vol:7 No:03 2013Vol:7 No:02 2013Vol:7 No:01 2013
Vol:6 No:12 2012Vol:6 No:11 2012Vol:6 No:10 2012Vol:6 No:09 2012Vol:6 No:08 2012Vol:6 No:07 2012Vol:6 No:06 2012Vol:6 No:05 2012Vol:6 No:04 2012Vol:6 No:03 2012Vol:6 No:02 2012Vol:6 No:01 2012
Vol:5 No:12 2011Vol:5 No:11 2011Vol:5 No:10 2011Vol:5 No:09 2011Vol:5 No:08 2011Vol:5 No:07 2011Vol:5 No:06 2011Vol:5 No:05 2011Vol:5 No:04 2011Vol:5 No:03 2011Vol:5 No:02 2011Vol:5 No:01 2011
Vol:4 No:12 2010Vol:4 No:11 2010Vol:4 No:10 2010Vol:4 No:09 2010Vol:4 No:08 2010Vol:4 No:07 2010Vol:4 No:06 2010Vol:4 No:05 2010Vol:4 No:04 2010Vol:4 No:03 2010Vol:4 No:02 2010Vol:4 No:01 2010
Vol:3 No:12 2009Vol:3 No:11 2009Vol:3 No:10 2009Vol:3 No:09 2009Vol:3 No:08 2009Vol:3 No:07 2009Vol:3 No:06 2009Vol:3 No:05 2009Vol:3 No:04 2009Vol:3 No:03 2009Vol:3 No:02 2009Vol:3 No:01 2009
Vol:2 No:12 2008Vol:2 No:11 2008Vol:2 No:10 2008Vol:2 No:09 2008Vol:2 No:08 2008Vol:2 No:07 2008Vol:2 No:06 2008Vol:2 No:05 2008Vol:2 No:04 2008Vol:2 No:03 2008Vol:2 No:02 2008Vol:2 No:01 2008
Vol:1 No:12 2007Vol:1 No:11 2007Vol:1 No:10 2007Vol:1 No:09 2007Vol:1 No:08 2007Vol:1 No:07 2007Vol:1 No:06 2007Vol:1 No:05 2007Vol:1 No:04 2007Vol:1 No:03 2007Vol:1 No:02 2007Vol:1 No:01 2007