Browse > Article
http://dx.doi.org/10.3745/KTSDE.2019.8.8.331

Generating Test Cases and Scripts from Requirements in Controlled Language  

Han, Hye Jin (아주대학교 컴퓨터공학과)
Chung, Kihyun (아주대학교 전자공학과)
Choi, Kyunghee (아주대학교 컴퓨터공학과)
Publication Information
KIPS Transactions on Software and Data Engineering / v.8, no.8, 2019 , pp. 331-342 More about this Journal
Abstract
This paper proposes a method to generate test cases and test scripts from software requirements written in a controlled natural language, which helps develop reliable embedded software. In the proposed method, natural language requirements are written in a controlled language, the requirements are parsed and then inputs, outputs and operator data are extracted from the requirements. Test cases are generated from the extracted data following test case generation strategies such as decision coverage, condition coverage or modified condition/decision coverage. And then the test scripts, physical inputs of the test cases are generated with help of the test command dictionary. With the proposed method, it becomes possible to directly check whether software properly satisfies the requirements. Effectiveness of the proposed method is verified empirically with an requirement set.
Keywords
Test Case Generation; Test Script; Controlled Requirement; Test Coverage; Test Case Auto Generation;
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
연도 인용수 순위
1 Alun Preece, Diego Pizzocaro, Dave Braines, David Mott, Geeth de Mel, and Tiem Pham, "Integrating Hard and Soft Information Sources for D2D Using Controlled Natural Language," In 2012 15th International Conference on Information Fusion, pp.1330-1337, Jul. 2012.
2 FlaLavia A. Barros, Lai.s Neves, L Erica Hori and Dante Torres, "The ucsCNL: A Controlled Natural Language for Use Case Specifications," in SEKE, pp.250-253, 2011.
3 A. P. Mathur, "Foundations of Software Testing," Pearson Education, 2008.
4 Rolf Schwitter, "Controlled Natural Languages for Knowledge Representation," Coling 2010: Poster Volume, Beijing, pp. 1113-1121, 2010.
5 L. H. Tahat, B. Vaysburg, B. Korel, and A. J. Bader, "Requirement-based automated black-box test generation," in Proceeding of the 25th Annual International Computer Software and Applications Conference, pp.489-495, 2001.
6 P. S. Loo, and W. K. Tsai, "Random Testing Revisited," Information and Software Technology, Vol.30, Iss.7, pp.402-417, Sep. 1988   DOI
7 Rick Kuhn, Raghu Kacker, Yi Lei, and Justin Hunter, "Combinatorial Software Testing," IEEE Computer Society, Vol.42, Iss.8, pp.94-96, Aug. 2009.
8 M. Conrad, H., Dorr, I. Fey, and A. Yap, "Model-based Generation and Structured Representation of Test Scenarios," Workshop on Software-Embedded Systems Testing (WSEST), Gaithersburg, USA, Nov. 1999.
9 M. Utting, and B. Legeard, "Practical Model-Based Testing: A Tools Approach," Morgan kaufmann, 2007
10 H. S. Park, "Generating Structural Test Cases for MATLAB Stateflow Model Using Rapidly-exploring Random Tree," Ajou Univ, Engineering doctoral dissertation, 2014.
11 C. Denger and M. Mora, "Test case derived from Requirement Specifications," IESE-Report No.033.03/E version 1.0, Apr. 24 2003.
12 Kang Tae Hoon, Kim Dae Joon, Chung Ki Hyun, and Choi Kyung Hee, "A Method to Automatically Generate Test Scripts from Checklist for Testing Embedded System," KIPS, Vol.5, No.12, pp.641-652, May 2016.
13 K. W. Kwon, K. H. Chung, H. S. Yang, J. J. Jang, D. S. Lee, U. H. Jo, J. H. Shin, and H. J. Cho, "Rules of SRS for the SRS Adequacy Test," KIMST, 2018.
14 Farrell, James A. (August 1995), "Compiler Basics: Extended Backus Naur Form," Archived from the original on 5 June 2011. Retrieved May 11, 2011.
15 KOMORAN [Internet], https://github.com/shin285/KOMORAN
16 Dae Joon Kim, Ki Hyun Chung, and Kyung Hee Choi, "A Hierarchical Checklist to Automatically Generate Test Scripts," KIPS, Vol.6, No.5, pp.245-256, Jun. 2017.
17 H. D. Kim, H. J. Cho, J. H. Shin, K. H. Chung, and K. H. Choi, "Automatically Generating Simulink/Stateflow Model and Test Case from Requirements," KIMST, 2017.
18 The Yices SMT Solver [Internet], http://www.csl.sri.com.
19 Functional-Safety [Internet], https://www.iec.ch/functionalsafety/
20 ASD Simplified Technical ENGLISH ASD-STE100 [Internet], http://www.asd-ste100.org/