复杂环境下的软件调试技术研究与应用
|
摘要
由于大规模的软件系统普遍实施,并且Web Service/Soap技术的推广,复杂软件环境越来越多的出现。针对复杂环境下出现的问题,通常使用的调试方法不能很快的解决相应的问题。在本文中,对于复杂环境中出现的问题,作了深入的研究,并对所涉及的相关技术,进行了阐述。根据研究的结果,总结出了常用的10种在复杂环境中用的调试策略和方法,包括面向实际用户、检查日志、模拟代码和问题、简化子系统调试、简化法、检查比较最近的修改、分解法、整体考虑法、互斥、增加跟踪和重放问题等。然后采用这些调试方法在实际工作中加以验证,并进行了实例采样分析,验证了这些方法可以有效地解决在复杂环境下发生的问题。
Because more and more large-scale projects are implemented and those projects are using Service/SOAP technology, the software environment becomes more complex. It's a good topic if we could find common patterns to debug in this kind of environment in order to find the issue quickly.
This thesis will focus on test strategy and methodology, testing environment and tools. Our goal is to get common patterns and solutions for debugging in complex software environment. In this thesis, we have made a conclusion for 10 common debugging methods, including: Rely on real usage, View Event Log, Simulate the issue with simple code, Sub-system based troubleshooting, Simplified problem, Desperation, Overview consideration, Mutex, Tracking, Replay capability. In addition, we also applied above methods to real scenario and verified these methods. According to our research based on the real cases, we conclude that these common debugging methods can resolve issues in complex software environment effectively.
Because more and more large-scale projects are implemented and those projects are using Service/SOAP technology, the software environment becomes more complex. It's a good topic if we could find common patterns to debug in this kind of environment in order to find the issue quickly.
This thesis will focus on test strategy and methodology, testing environment and tools. Our goal is to get common patterns and solutions for debugging in complex software environment. In this thesis, we have made a conclusion for 10 common debugging methods, including: Rely on real usage, View Event Log, Simulate the issue with simple code, Sub-system based troubleshooting, Simplified problem, Desperation, Overview consideration, Mutex, Tracking, Replay capability. In addition, we also applied above methods to real scenario and verified these methods. According to our research based on the real cases, we conclude that these common debugging methods can resolve issues in complex software environment effectively.
引文
[1] John Robbins. Debugging Applications. Microsoft Press, 2003: 11~56.
[2] Roger S:Pressman 著,梅宏译.软件工程实践者的研究方法.机械工业出版社,2002: 70-76.
[3] 王昊亮,李刚. VisualC#程序设计教程[M]. 北京:清华大学出版社, 2005:286-299.
[4] 刘群,洪帆.软件测试应用研究与分析.华中理工大学学报,2000, 28 (11): 34.
[5] 张永梅,陈立潮,马礼.软件测试技术研究.测试技术学报,2002, 16 (2): 70.
[6] 赛迪实验室 性能:软件测试的重中之重 http://www.51testing.com/tech/performance.htm.
[7] David A Solomon. Inside Windows 2000. Microsoft Press. 2000:296-300.
[8] Steve Maguire. Writing Solid Code. Microsoft Press. 2000: 280~296.
[9] Don Box. Essential COM. Microsoft Press. 1999:138-152.
[10] Microsoft. WinDgb SDK http://www.microsoft.com/whdc/ddk/debugging/.
[11] 蔡开元,李永超,景涛.软件测试的控制论方法.航空学报,2002, 23 (5): 448
[12] 王铁江,邮萌.基于黑箱的自动软件测试工具的质量保障方法.同济大学学报,2002,30 (l0): 1249.
[13] William E. Perry 著,兰雨晴译.软件测试的有效方法(第二版).机械工业出版社,2003: 55-63
[14] Avi Ziv, Cross-Product Functional Coverage Measurement with Temporal Properties-based Assertions. http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/new/CrossProdFC.pdf
[15] Jeffrey Richtch,Advanced Windows,Microsoft Express,2002: 170-212.
[16] Lidwine Martinot Dynamic Memory Allocation Optimizes Integration of Blackfin? Processor Software. http://www.analog.com/library/analogDialogue/archives/37-07/dynamic_memory.pdf
[17] Erich Gamma, Design Patterns. Addison-Wesley Press,1999. 68-82.
[18] System Stress and Load Testing.http://www.eventhelix.com/RealtimeMantra/Basics/system_stress_testing.htm
[19] Roger S. Pressman. Software Engineering. 机械工业出版社,2003: 938-952.
[20] Elfriede Dustin. 有效软件测试——提高测试水平的 50 条建议,机械工业出版社,2004: 33-85
[21] Herbert Schildt. CIC++程序员查询辞典.中国铁道出版社,1996: 178-212
[22] 宋艳芳,苏哲明,史永辉.自动化软件测试.应用科技,2002, 28 (4): 24.
[23] 郑强软件测试方法的应用计算机与现代化,2002, 10: 65.
[24] Mark Fewster, Dorothy Graham 著,舒智勇,包晓露,焦跃译.软件测试自动化技术与实例详解,电子工业出版社,2001: 88-94
[25] Daniel J.Mosley, Bruce A.Posey 著,邓波,黄丽娟,曹青春译.软件测试自动化.机械工业出版社,2003: 105-112.
[26] P.F.Pires, R.F.M.Benevides, M.Mattoso. Webtransact: a framework for specifying and coordinating reliable Web services compositions. Paulo de Figueiredo Pires Rio De Janeiro, Rj –Brasil, April 2002.
[27] 王国荣.ASP.NET 领先研究,中国青年出版社,2002:180-191.
[28] G.J.Myers 计算机软件测试技巧 清华大学出版社 1985: 25~27.
[29] 郑人杰 计算机软件测试技术 清华大学出版社 1992:111-112.
[30] Software Test Automation(软件测试自动化技术与实例详解,舒智勇、包晓露、焦跃)电子工业出版社 2000:148-153
[31] 李伟华、康继昌 实时软件测试用例构造的充要策略研究 航天计算技术 1996 第二期.
[32] Microsoft ACE 小组 著,王培宇 胡同森 丁文 译,《Microsoft .NET Web 应用程序性能测试》,清华大学出版社,2003 年 6 月: 55-56.
[33] 高清和.精通 ASP.NET 程序设计,中国铁道出版社,2001-12:123-159.
[34] 郑小平.NET 精髓--Web 服务原理与开发,人民邮电出版社,2002-1.
[35] Christoph Wille..NET 编程先锋--C#,中国青年出版社,2001-1.: 170-187.
[36] 陈世鸿等《软件工程原理及应用》,武汉大学出版社,2000:200-202.
[37] Mohammad Al-Sabt and Matthew Evans. Testing Software Patterns. http://msdn.microsoft.com/library/en-us/dnpag/html/tsp.asp 38] Kevin Smith. 缺陷查找自动化. http://www.neco.com.cn/DRNECO/Content_003/automate%20code%20review.htm
[39] F.Casati, M.Sayal, M.C.Shan. Developing E-Services for Composing E-Services, HPLabs Palo Alto, 2001.
[40] 王昊亮,李刚. VisualC#程序设计教程[M].清华大学出版社,2004:286-299.
[41] 美特列斯美.元赫 著 邓劲生 等译. 程序调试思想与实践, 中国水利水电出版社,2002:278-312
[42] 服务器端 Office 自动化注意事项http://support.microsoft.com/kb/257757/zh-cn
[43] 微软技术支持中心案例库 微软内部资料
[2] Roger S:Pressman 著,梅宏译.软件工程实践者的研究方法.机械工业出版社,2002: 70-76.
[3] 王昊亮,李刚. VisualC#程序设计教程[M]. 北京:清华大学出版社, 2005:286-299.
[4] 刘群,洪帆.软件测试应用研究与分析.华中理工大学学报,2000, 28 (11): 34.
[5] 张永梅,陈立潮,马礼.软件测试技术研究.测试技术学报,2002, 16 (2): 70.
[6] 赛迪实验室 性能:软件测试的重中之重 http://www.51testing.com/tech/performance.htm.
[7] David A Solomon. Inside Windows 2000. Microsoft Press. 2000:296-300.
[8] Steve Maguire. Writing Solid Code. Microsoft Press. 2000: 280~296.
[9] Don Box. Essential COM. Microsoft Press. 1999:138-152.
[10] Microsoft. WinDgb SDK http://www.microsoft.com/whdc/ddk/debugging/.
[11] 蔡开元,李永超,景涛.软件测试的控制论方法.航空学报,2002, 23 (5): 448
[12] 王铁江,邮萌.基于黑箱的自动软件测试工具的质量保障方法.同济大学学报,2002,30 (l0): 1249.
[13] William E. Perry 著,兰雨晴译.软件测试的有效方法(第二版).机械工业出版社,2003: 55-63
[14] Avi Ziv, Cross-Product Functional Coverage Measurement with Temporal Properties-based Assertions. http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/new/CrossProdFC.pdf
[15] Jeffrey Richtch,Advanced Windows,Microsoft Express,2002: 170-212.
[16] Lidwine Martinot Dynamic Memory Allocation Optimizes Integration of Blackfin? Processor Software. http://www.analog.com/library/analogDialogue/archives/37-07/dynamic_memory.pdf
[17] Erich Gamma, Design Patterns. Addison-Wesley Press,1999. 68-82.
[18] System Stress and Load Testing.http://www.eventhelix.com/RealtimeMantra/Basics/system_stress_testing.htm
[19] Roger S. Pressman. Software Engineering. 机械工业出版社,2003: 938-952.
[20] Elfriede Dustin. 有效软件测试——提高测试水平的 50 条建议,机械工业出版社,2004: 33-85
[21] Herbert Schildt. CIC++程序员查询辞典.中国铁道出版社,1996: 178-212
[22] 宋艳芳,苏哲明,史永辉.自动化软件测试.应用科技,2002, 28 (4): 24.
[23] 郑强软件测试方法的应用计算机与现代化,2002, 10: 65.
[24] Mark Fewster, Dorothy Graham 著,舒智勇,包晓露,焦跃译.软件测试自动化技术与实例详解,电子工业出版社,2001: 88-94
[25] Daniel J.Mosley, Bruce A.Posey 著,邓波,黄丽娟,曹青春译.软件测试自动化.机械工业出版社,2003: 105-112.
[26] P.F.Pires, R.F.M.Benevides, M.Mattoso. Webtransact: a framework for specifying and coordinating reliable Web services compositions. Paulo de Figueiredo Pires Rio De Janeiro, Rj –Brasil, April 2002.
[27] 王国荣.ASP.NET 领先研究,中国青年出版社,2002:180-191.
[28] G.J.Myers 计算机软件测试技巧 清华大学出版社 1985: 25~27.
[29] 郑人杰 计算机软件测试技术 清华大学出版社 1992:111-112.
[30] Software Test Automation(软件测试自动化技术与实例详解,舒智勇、包晓露、焦跃)电子工业出版社 2000:148-153
[31] 李伟华、康继昌 实时软件测试用例构造的充要策略研究 航天计算技术 1996 第二期.
[32] Microsoft ACE 小组 著,王培宇 胡同森 丁文 译,《Microsoft .NET Web 应用程序性能测试》,清华大学出版社,2003 年 6 月: 55-56.
[33] 高清和.精通 ASP.NET 程序设计,中国铁道出版社,2001-12:123-159.
[34] 郑小平.NET 精髓--Web 服务原理与开发,人民邮电出版社,2002-1.
[35] Christoph Wille..NET 编程先锋--C#,中国青年出版社,2001-1.: 170-187.
[36] 陈世鸿等《软件工程原理及应用》,武汉大学出版社,2000:200-202.
[37] Mohammad Al-Sabt and Matthew Evans. Testing Software Patterns. http://msdn.microsoft.com/library/en-us/dnpag/html/tsp.asp 38] Kevin Smith. 缺陷查找自动化. http://www.neco.com.cn/DRNECO/Content_003/automate%20code%20review.htm
[39] F.Casati, M.Sayal, M.C.Shan. Developing E-Services for Composing E-Services, HPLabs Palo Alto, 2001.
[40] 王昊亮,李刚. VisualC#程序设计教程[M].清华大学出版社,2004:286-299.
[41] 美特列斯美.元赫 著 邓劲生 等译. 程序调试思想与实践, 中国水利水电出版社,2002:278-312
[42] 服务器端 Office 自动化注意事项http://support.microsoft.com/kb/257757/zh-cn
[43] 微软技术支持中心案例库 微软内部资料