Computer Science ›› 2017, Vol. 44 ›› Issue (Z6): 534-538.doi: 10.11896/j.issn.1002-137X.2017.6A.119

Previous Articles     Next Articles

System Capability-oriented Approach for Formalized Software Requirements Analysing and Testing

CHEN Ping, LIANG Qi-ming and SUN Wei   

  • Online:2017-12-01 Published:2018-12-01

Abstract: In domestic software industry,system testing is based on only the function items in system requirements specifications,rarely based on the system capabilities.Consequently,the result of system testing can not fully testifies that the SUT(System Under Rest) meets the system requirements.Besides,there is ambiguity in system requirements specifications which is caused by natural language descriptions.These problems directly decrease the efficiency of system testing.In order to deal with these problems,a system capability-oriented approach for formalized software requirements analysing and testing was proposed.With this approach,software testing engineers can get clear descriptions about requirements of system capabilities,and conduct system testing for system capabilities.It will efficiently improve the adequacy and accuracy of system testing,which consequently increase the quality of SUT.

Key words: System testing,System capabilities testing,Formalized approach,Softwre requirements analysis

[1] GB/T 8567-2006.计算机软件文档编制规范[S].北京:中国标准出版社,2006.
[2] GJB 438B-2009.军用软件开发文档通用要求[S].北京:中国人民解放军总装备部,2009.
[3] 盛晓娟,贾丽娟,姬鹏超.场景法在系统测试用例设计中的应用[J].计算机工程与设计,2016,37(7):1798-1804.
[4] 李志强,邵培南,朱辉.基于 UML 顺序图的测试用例生成[J].计算机工程,2010,36(22):58-60.
[5] SPIVEY J M,ABRIAL J R.The Z notation[M].Hemel Hempstead:Prentice Hall,1992.
[6] JONES C B.Systematic software development using VDM[M].Englewood Cliffs,NJ:Prentice-Hall,1986.
[7] LOTOS ISO.A formal description technique based on the temporal ordering of observational behaviour[S].DIS 8807,7.
[8] LANO K.The B language and method:a guide to practical formal development[M].Springer Science & Business Media,2012.
[9] 邹盛荣,郑国梁.B语言和方法与Z,VDM的比较[J].计算机科学,2002,29(10):136-138.
[10] 罗铁庚,陈火旺,齐治昌,等.协议形式化开发环境的规范语言[J].软件学报,1997,8(11):817-823.
[11] GARAVEL H,MATEESCU R,LANG F,et al.CADP 2006:A toolbox for the construction and analysis of distributed processes[C]∥International Conference on Computer Aided Verification.Springer Berlin Heidelberg,2007:158-163.
[12] CLAUDE J,THIERRY J.TGV:Theory,principles and algo-rithms:A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems[J].Software Tools for Technology Transfer,2002,7(4):297-315.
[13] YANG C Q,MILLER B P.Critical path analysis for the execution of parallel and distributed programs[C]∥8th International Conference on Distributed Computing Systems,1988.IEEE,1988:366-373.
[14] 穆建成,辛未,马连川,等.基于因果图法的 CTCS-3 级列控系统测试案例完备性验证方法[J].中国铁道科学,2016,37(1):124-131.

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!