Computer Science ›› 2016, Vol. 43 ›› Issue (Z11): 490-494.doi: 10.11896/j.issn.1002-137X.2016.11A.110
Previous Articles Next Articles
LI Zhen-xiang, LIU Chong-wei, YANG Guang-yi and LIU Jin-shuo
[1] 兰雨晴.软件测试[J].计算机系统应用,2003,24(12):66-68 [2] 刘佳欣.嵌入式软件静态检测及自动化路径测试工具的研究与设计[D].广州:华南理工大学,2012 [3] 邓世伟.嵌入式软件的测试方法和工具[J].单片机与嵌入式系统应用,2001,2(4):140-142 [4] 赵立平.控制流分析[J].计算机工程与应用,1979(2) [5] 周希.基于静态分析的程序控制流图生成工具的设计与实现[D].广州:中山大学,2013 [6] 张广梅.软件测试与可靠性评估[D].北京:中国科学院计算技术研究所,2006 [7] American National Standards Institute.ANSI C [EB/OL].[2016-3-10].https://zh.wikipedia.org/wiki/ANSI_C [8] Kiczales G,lamping J,Mendhekar A.An Overview of Aspect[C]∥J.Proc.13th European Conference on Object-Oriented Programming,LNCS,Vol.1241,Springer-Verlag,2000:220-242 [9] 张广梅.数据流相关软件故障的静态检测[J].计算机辅助设计与图形学学报,2005,7(11):2477-2482 [10] 王胜文.采用数据流图的故障模型生成算法与应用[J].哈尔滨工业大学学报,2009,1(41):118-121 |
No related articles found! |
|