软件质量动态分析技术探讨
摘要
介绍了软件分析的基本概念,从动态分析方面阐述了一些主要的软件分析技术以及相关分析工具,展望了软件分析技术的发展趋势.
出处
《开封大学学报》
2011年第2期82-84,共3页
Journal of Kaifeng University
参考文献8
-
1张健.精确的程序静态分析[J].计算机学报,2008,31(9):1549-1553. 被引量:36
-
2David Binkley. Source Code Analysis: A Road Map [ J]. In Proceeding of Future of Software Engineering, 2007.
-
3Matthew B Dwyer, John Hatcliff Robby, Corina S Pasarea- nn and Willem Visser. Formal Software Analysis Emerging Trends in Software Model Checking [ J ]. In Proceeding of Future of Software Engineering, 2007.
-
4Flemming Nielson, Hanne Riis Nielson and Chris Hankin. Principles of Program Analysis [ M ]. Springer - Verlag, 2005.
-
5Daniel Jackson, Martin Rinard. Software Analysis: A Road map[ J~. In Proceeding of Future of Software Engineering, 2000.
-
6L Froihofer, G Glos, J Osrael, K M Goeschka. Overview and evaluation of constraint validation approaches in Java [ C]. Proceedings of the 29th international conference on Software Engineering (ICSE), 2007.
-
7K Havelund and G Rosu. Monitoring Java Programs with Ja,sa PathExplorer[ N ]. In Proceedings of the 1 st Workshop on Runtime Verification ( RV01 ), volume 55 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001.
-
8Matthew Arnold, Martin T Vechev, Eran Yahav. QVM: an efficient runtime for detecting defects in deployed systems E C]. Proceedings of the 23rd Annual ACM SIGPLAN Con- ference on Object -Oriented Programming, Systems, Lan- guages and Applications, OOPSLA,2008.
二级参考文献17
-
1汪黎,杨学军,王戟,罗宇.操作系统内核程序函数执行上下文的自动检验[J].软件学报,2007,18(4):1056-1067. 被引量:5
-
2Hoare C A R. The verifying compiler: A grand challenge for computing research. Journal of the ACM, 2003, 50(1): 63-69
-
3Horwitz S. Precise flow-insensitive may-alias analysis is NP- hard. ACM Transactions on Programming Languages and Systems, 1997, 19(1): 1-6
-
4Ball T, Rajamani S K. The SLAM project: Debugging system software via static analysis//Proeeedings of the 29th ACM Symposium on Principles of Programming Languages (POPL 2002). Portland, OR, USA, 2002:1-3
-
5Lev-Ami T et al. Putting static analysis to work for verification: A case study//Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2000). Portland, OR, USA, 2000:26-38
-
6Zhang J, Wang X. A constraint solver and its application to path feasibility analysis. International Journal of Software Engineering and Knowledge Engineering, 2001, 11(2): 139- 156
-
7Zhang J. Symbolic execution of program paths involving pointer and structure variables//Proceedings of the QSIC. Braunschweig, Germany, 2004:87-92
-
8King J C. Symbolic execution and testing. Communications of the ACM, 1976, 19(7): 385-394
-
9Yates D F, Malevris N. Reducing the effects of infeasible paths in branch testing. ACM SIGSOFT Software Engineering Notes, 1989, 14(8): 48-54
-
10Ngo M N, Tan H B K. Heuristics-based infeasible path detection for dynamic test data generation. Information & Software Technology, 2008, 50(7-8): 641-655
共引文献35
-
1程绍银,蒋凡,林锦滨,唐艳武.基于有限回溯符号执行的软件疑似缺陷的自动验证[J].清华大学学报(自然科学版),2009(S2):2222-2227. 被引量:1
-
2陈柏强,郭涛,阮辉,严俊.Java程序中数组越界和空指针错误的静态分析[J].计算机应用,2009,29(5):1376-1379. 被引量:2
-
3梅宏,王千祥,张路,王戟.软件分析技术进展[J].计算机学报,2009,32(9):1697-1710. 被引量:101
-
4阮辉,严俊,张健.基于路径分析的死循环检测[J].计算机学报,2009,32(9):1750-1758. 被引量:7
-
5翁子盛,王宝生,林锦滨.程序符号执行中的数组分析[J].长江大学学报(自科版)(上旬),2010,7(1):225-228. 被引量:1
-
6严俊,郭涛,阮辉,玄跻峰.JUTA:一个Java自动化单元测试工具[J].计算机研究与发展,2010,47(10):1840-1848. 被引量:13
-
7代子营,毛晓光,马晓东,王瑞.基于抽象符号表的内存模型[J].计算机工程与科学,2011,33(6):84-90. 被引量:1
-
8崔展齐,王林章,李宣东.一种目标制导的混合执行测试方法[J].计算机学报,2011,34(6):953-964. 被引量:18
-
9黄沛杰,杨铭铨.代码质量静态度量的研究与应用[J].计算机工程与应用,2011,47(23):61-63. 被引量:6
-
10郭曦,张焕国.一种基于约束的指针程序路径选择方法[J].武汉大学学报(理学版),2011,57(5):389-393.
-
1梅宏,王千祥,张路,王戟.软件分析技术进展[J].计算机学报,2009,32(9):1697-1710. 被引量:101
-
2程鹏,隽吉昌,龚洁,冯振东.基于故障树的软件分析技术(SFTA)浅析[J].中国新技术新产品,2009(21):35-35. 被引量:1
-
3陈文杰,徐丙谦.浅析利用软件分析法合理设计机床主轴支撑跨距[J].CAD/CAM与制造业信息化,2008(8):55-56.
-
4张杨,张冬雯.基于Joeq编译器的软件分析及其应用[J].河北师范大学学报(自然科学版),2015,39(3):202-207. 被引量:1