Computer Science

Computer Science ›› 2021, Vol. 48 ›› Issue (5): 16-24.doi: 10.11896/jsjkx.201000048

• Computer Software • Previous Articles     Next Articles

Test Case Generation Method Oriented to Tabular Form Formal Requirement Model

WANG Wen-xuan1,2, HU Jun1,2, HU Jian-cheng1,2, KANG Jie-xiang3, WANG Hui3, GAO Zhong-jie3   

  1. 1 College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China
    2 Collaborative Innovation Center of Novel Software Technology and Industrialization,Nanjing 211107,China
    3 Department of Software,China National Aeronautic Radio Electronics Research Institute,Shanghai 200233,China
  • Received:2020-10-10 Revised:2021-03-20 Online:2021-05-15 Published:2021-05-09
  • About author:WANG Wen-xuan,born in 1997,M.S candidate.His main research interests include software safety analysis and software test,etc.(wangwengx.1997@nuaa.edu.cn)
    HU Jun,born in 1973,Ph.D, associate professor,is a member of China Computer Federation.His main research interests include model-based safety analysis, software verification and embedded system design,etc.
  • Supported by:
    National Key Basic Research Development Plan(973)(2014CB744900).

PDF (PC)

1048

Abstract: The rapid growth of the software size and complexity of modern safety-critical systems has brought many challenges to the development of such safety-critical software systems.Traditional text documents cannot guarantee the development progress and system reliability requirements.For this reason,this paper proposes a formal form requirement modeling method with both readability and automatic analysis.This paper introduces a method for automatically generating test cases for this tabular model.The work includes semantic analysis of the formal requirements tabular model,establishing the control tree structure of the requirements model,and obtaining its test equivalence classes.In order to reduce unnecessary testing,test path constraint selection methods are proposed based on those criteria.Through performing domain error test case selection,test cases are generated for each path constraint selected,which makes up a test case set for the requirement.At last,to demonstrate how we generate test cases form a requirement model,a case study is given.

Key words: Formal requirement model, Safety-critical system, Tabular requirement model, Test case generation

CLC Number: 

  • TP311.5
[1]TARHAN A,DEMIRORS O.Investigating the effect of variations in the test development process:A case from a safety-critical system[J].Software Quality Journal,2017,19(4):615-642.
[2]FRANZ T,LüDTKE,D,MAIBAUM O,et al.Model-based software engineering for an optical navigation system for spacecraft[J].Ceas Space Journal,2018,10(2):147-156.
[3]PATCAS L M,LAWFORD M,MAIBAUM T.implementability of Requirements in the Four-Variable Model[J].Science of Computer Programming,2015,111(1PT.2):339-362.
[4]BROSGOL B.Do-178c[J].ACM SIGAda Ada Letters,2019,11(4):127-136.
[5]WANG R,KRISTENSEN L M,MELING H,et al.Automated Test Case Generation for the Paxos Single-decree Protocol using a Coloured Petri Net Model[J].The Journal of Logic and Algebraic Programming,2019,104(APR.):254-273.
[6]EISENMANN U,ALLEN J L.New Requirement-Definition and Verification Techniques According to DO-178C,DO-331,and DO-333[C]//AIAA Infotech @ Aerospace.2016:134-140.
[7]BRÜCKNER I,WEHRHEIM H.Slicing an Integrated Formal Method for Verification[M]//Formal Methods and Software Engineering.Springer Berlin Heidelberg,2018.
[8]SAHOO R,RAY M.PSO based test case generation for critical path using improved combined fitness function[J].Journal of King Saud University-Computer and Information Sciences,2020,32(4):479-490.
[9]SANFORD F.A practical guide to SysML:the systems modeling language(2nd ed)[M].Morgan Kaufmann,2019.
[10]AITOR A,AGIRRE J A,SAGARDUI G.Seeding strategies for multi-objective test case selection:an application on simulation-based testing[C]//Genetic and Evolutionary Computation Conference 2020(GECCO'20).2020:45-54.
[11]CHAO T,JUNWEI F,LING X,et al.Application of MBSEMethod During Landing Gear System Design for Civil Aircraft[J].Civil Aircraft Design & Research,2015,12(2):345-361.
[12]LAILY H N,DAWOOD Y S.A Review on Test Case Generation Methods Using UML Statechart[C]//2019 4th International Conference and Workshops on Recent Advances and Innovations in Engineering (ICRAIE).IEEE,2020:38-46.
[13]ZHENG Y L,MA L H,ZHANG L Y,et al.On the convergence analysis and parameter selection in particle swarm optimization[C]//International Conference on Machine Learning & Cybernetics.IEEE,2003:61-72.
[14]YUE-HUA D,XIN F U,XIAO-NING Z.Convergence Analysis of FEM Model Based on Semi-circular Bending Test[J].Wes-tern China Communications Science & Technology,2019,11(2):145-167.
[15]WANG J M,WANG X H,MA Y Y,et al.Hierarchical Combination Design Method of Test Cases Based on Conditional Constraints[C]//IEEE International Conference on Software Quality.IEEE,2017:80-90.
[16]WU J L,H S F,D H N.Integration test case generating method based on UML[J].Computer Engineering and Design,2018,23(2):231-245.
[17]DASH S,PANDA N,ACHARYA A A.Model-based test case prioritization using UML activity diagram and design level attributes[J].Advances in Intelligent Systems and Computing,2018,672(8):380-390.
[18]WANG R,LI Z,JIANG S,et al.Regression Test Case Prioritization Based on Fixed Size Candidate Set ART Algorithm[J].International Journal of Software Engineering and Knowledge Engineering,2020,345(2):246-266.
[19]VERMA R P,GOPAL B,BEG M R.Data Structure & Algo-rithm for Combination Tree to Generate Test Case[J].International Journal of Computer Science Issues,2015,8(3):330-350.
[20]ANDRES N,FINGERHUT A K J,et al.p4pktgen:Automated Test Case Generation for P4 Programs[C]//Symposium.2018:88-96.
[21]NIKOLETA A,YANNIS S,FAUSTO B,et al.A DSM Test Case Applied on an End-to-End System,from Consumer to Energy Provider[J]. Sustainability, 2020,10(4):935-958.
[22]CARVALHO G,FALCAO D,BARROS F,et al.Test case generation from natural language requirements based on SCR specifications[J].Science of Computer Programming,2018,95(3):275-297.
[1] JI Shun-hui, ZHANG Peng-cheng. Test Case Generation Approach for Data Flow Based on Dominance Relations [J]. Computer Science, 2020, 47(9): 40-46.
[2] TANG Hong-ying, HU Jun, CHEN Shuo, SHI Meng-ye. System Safety Analysis Tool for SysML and Case Study [J]. Computer Science, 2020, 47(5): 284-294.
[3] ZHANG Na,TENG Sai-na,WU Biao,BAO Xiao-an. Test Case Generation Method Based on Particle Swarm Optimization Algorithm [J]. Computer Science, 2019, 46(7): 146-150.
[4] LI Wan-qian, HU Jun, CHEN Song, ZHANG Wei-jun. Method of System Safety Analysis and Verification for SysML Models [J]. Computer Science, 2019, 46(11): 100-108.
[5] YANG Hong, HONG Mei, QU Yuan-yuan. Approach of Mutation Test Case Generation Based on Model Checking [J]. Computer Science, 2018, 45(11A): 488-493.
[6] HUANG Yu-yao, LI Feng-ying, CHANG Liang and MENG Yu. Symbolic ZBDD-based Generation Algorithm for Combinatorial Testing [J]. Computer Science, 2018, 45(1): 255-260.
[7] CHEN Jie-qiong, JIANG Shu-juan and ZHANG Zheng-guang. Approach for Test Case Generation Based on Data Flow Criterion [J]. Computer Science, 2017, 44(2): 107-111.
[8] ZHANG Xiong and LI Zhou-jun. Survey of Fuzz Testing Technology [J]. Computer Science, 2016, 43(5): 1-8.
[9] TAN Xin, PENG Yao-peng, YANG Shuai and ZHENG Wei. Automated Test Case Generation Based on SPEA2+SDE [J]. Computer Science, 2015, 42(Z11): 450-453.
[10] WANG Fei, SHEN Guo-hua, HUANG Zhi-qiu, MA Lin, LIU Chang, LI Hai-feng and LIAO Li-li. Method Combining Linear Temporal Logic and Fault Tree for Software Safety Verification [J]. Computer Science, 2015, 42(12): 71-75.
[11] HOU Chao-fan,WU Ji and LIU Chao. Interoperability Test Case Generation Based on Testing Requirements [J]. Computer Science, 2014, 41(11): 162-168.
[12] . Survey on Fault-based Testing Techniques for Boolean Expressions [J]. Computer Science, 2013, 40(3): 16-23.
[13] . Method for Generating Formal System Model Based on Scenarios Analysis [J]. Computer Science, 2012, 39(8): 136-140.
[14] . Automatic Test for Web Services [J]. Computer Science, 2012, 39(2): 170-174.
[15] . Test Case Generation for Web Services Based on OWL-S Documents [J]. Computer Science, 2012, 39(10): 131-135.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
Add:18# Honghu West Rd., Yubei ,Chongqing,China    Post Code: 401121
Tel: 023-63500828/023-67039612/023-67039623
E-mail: jsjkx12@163.com
Powered by Beijing Magtech Co., Ltd.