计算机控制系统软件调试验证及其工具和技术的研究.docVIP

计算机控制系统软件调试验证及其工具和技术的研究 题 目：《计算机控制系统软件调试验证及其工具和技术的研究》 姓 名： 学 号： 指导教师： 完成日期： 2010.6.17 PAGE PAGE 2 计算机控制系统软件调试验证及其工具和技术的研究 摘要： 本文将计算机控制系统软件程序的设计工作划分为三个阶段，并分别介绍了各阶段程序调试的相关技术及工具，分析了它们各自的特点及注意事项，有些还说明了它们的适用范围。 关键词：软件程序 调试 验证 技术 工具 1 引 言 软件是计算机系统中与硬件相互依存的另一部分，它是包括程序，数据及其相关文档的完整集合；程序是按事先设计的功能和性能要求执行的指令序列；数据是使程序能正常操纵信息的数据结构；文档是与程序开发，维护和使用有关的图文材料。计算机控制软件是计算机控制系统中非常重要的部分。 程序调试，在职业程序员之中有一个专门的名称： “捉虫（bug）”。对每个程序设计者而言，“捉虫”都将是一个极为棘手并且费时的事情，然而，这也是要深入下去编写更为复杂程序所必须掌握的技巧，所以，了解一些常用的调试技术，能使我们的行为更明确，工作更有效。在此我将程序调试技术按所属时间划分为三个阶段，总结了目前各个阶段程序调试的有关技术并做了简要介绍。 2 源程序编制前相关技术 由源程序编制到生成可执行程序，是一个严密的过程，任何一个环节的错误都会导致最终的失败或是给以后的工作带来诸多不便，所以每个阶段的工作都可以称调试的一部分。源程序编制之前的工作是整个编程工作的开端，包括需求的分析、算法的制定、了解编程语言和编程环境、了解各种工具的使用以及准备必要的文档资料等。它直接影响着我们后期工作的执行情况，所以起着至关重要的作用。 2.1 需求分析和描述算法 对需求的分析，要保证我们的理解是全面而又正确的。如果程序的要求模糊不清，规格要求不够明确，甚至对其要实现的功能也是不明确的，这些让软件设计者也不敢确定软件应该怎样运行才是正确的，因而在此基础上编制出来软件当然是不理智的。所以在程序设计之前，一定要对其需求做一深入的调查，你可以与用户（包括你自己）多多交流，在了解各种信息的基础上，引出程序的说明文档，确信用户的要求被正确的描述。这样做可能比程序调试本身更重要，因为当说明不清楚的时候，不同的设计者（工作在不同的时间段，或者没有密切的联系），将会实现不同的语义。因为这个原因而导致的错误很难纠正。 算法是程序的灵魂，为了使程序能正确执行，我们在此关注的重点不是算法的好与坏，而是算法的严密性。如果设计者仅凭自己的想象，是很难保证程序不会出现漏洞的，最好的方法莫过于把整个过程用某种明确的方法描述出来，在这个方面，程序流程图能直观、形象地表明我们的设计思想和目的，为程序员指明方向和目标。对于一个大而复杂的程序设计，流程图描述了我们的明确的思路和严密的逻辑，使编制完成的程序在这方面的错误大大减少，从而使调试变得简单易行，也节约了大量时间。但要注意的是：过于具体的描述是不必要的，因为这样便体现不出总体的方向，所以其指导性就不强。任何工作都是由简到繁的过程，首先我们应制定出总体计划，然后才去考虑其中的具体细节实现问题，流程图的编制也是这样一个过程，当我们不断完善其细节时，便得到了整个程序的实现。 2.2 了解工作环境、工具和准备文档 即使你是在学习其它专业的知识，你也会发现我们对所学知识的理解不要求细致入微，每个细节的具体实现也可以不做深究，但是却要求我们的知识必须是全面的，对总体过程的理解是正确无误的。否则，一旦出现某个错误的认识就足以导致前功尽弃，因此，我们要熟悉其所提供的编程语言和调试工具，并对我们的工作环境有一个全面而正确的了解，这是一切工作的前提和保证。 一个程序设计者需要掌握有关于他工作环境的广泛知识，就要学会怎样有效地使用和检索资料，确信你已经准备好了相关的资料和帮助文档。但是一个庞大的编程工具，我们也许只需运用其中的一部分技术，比如现在的操作系统和应用程序接口有成百上千知识点，你大可不必全部了解他们，但是你应该能够很快找到和理解他们。 3软件程序编制阶段的相关技术及工具 软件程序由最初的算法制定到具体用某种编程语言（C语言汇编语言等编程工具）的实现，是一个至关重要的环节，也是问题出现比较频繁的阶段，所幸的是目前为止这方面的经验比较丰富，又有很多程序设计者做了专门的研究和总结，因而发展出了一些比较成熟的技术，在此做一简要介绍。 3.1书写规范和注释语句 每一个程序设计者都应该养成良好的源程序书写格式，它不但让程