Computer Science ›› 2017, Vol. 44 ›› Issue (Z6): 534-538.doi: 10.11896/j.issn.1002-137X.2017.6A.119
Previous Articles Next Articles
CHEN Ping, LIANG Qi-ming and SUN Wei
| [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! |
|
||
Home