卫达好如临项目商业计划书(XX年融资成功案例范文)-协助企业融资-投资专家咨询.ppt

为提高培训效果， 通常对各层次人员 实施不同内容的培训 （1）操作人员：培训专门的操作和管理技能； （2）业务用户：了解系统的基本原理和岗位职责，学会系统的使用方法，正确熟练地进行业务操作； （3）知识型用户：掌握信息系统资源的使用方法，能够与桌面系统有效地集成； （4）管理人员：懂得如何利用系统分析数据来辅助决策和管理工作，了解数据来源和分布情况，掌握必要的数据查询和分析方法。 各层次人员培训内容还应包括系统规则、管理制度、行为规范与防范措施等。 * * * * * * * * * * * * 1．静态测试 　 以人工方式对程序进行分析和测试。静态测试法成效比较明显，可以查出30-70%的逻辑错误，成本低。它有下列三种方法： （1）个人复查 （2）走查 （3）会审 2．动态测试 动态测试是运用事先设计好的测试用例，有控制地运行程序，从多种角度观察程序运行时的行为，对比运行结果与预期结果的差别以发现错误。也就是说，动态测试是为了发现错误而执行程序。动态测试的方法有两种：白箱法和黑箱法。 ─ 黑盒法：穷举数据，检查所有数据经过处理后所的结果是否正确。选择有代表性的数据进行检查。 ─ 白盒法：覆盖路径，检查所有路径是否正确。选择主要路径，如选择、循环路径检查。 动态检查的两种方法 黑箱测试 不考虑系统内部结构而运行系统，以检查在一定的输入下，系统的输出是否与期望相同。 白箱测试 不仅要完成前者的内容，还要检查输入的数据是如何通过系统内部设定的结构，达到输出的。 A 黑箱测试 B 白箱测试 3．程序正确性证明 程序正确性证明技术目前还处于初始阶段。 在使用这种测试技术时必须提供实现程序功能的严格数学模型，然后根据程序代码来确实能实现它的功能说明。 证明程序正确性，对于评价小程序可能有一些价值，但是在证明大型软件系统正确性时，不仅工作量巨大，而且在证明过程中很容易包含错误，因此是不实用的。 下面看一个例子： 四色猜想问题　　 1852年，刚从伦敦大学毕业的哥斯尼在给他的兄弟弗雷赘克的一封信中提出了这样的猜想：在一幅正规地图中。凡是有共同边界结的国家，都可以最多只用四种颜色着色,就能把这些国家区别开来。　　弗雷赘克读了这封信后，就企图用数学品质方法来加证明。但是，他花了许多时间，仍是毫无头绪，他只好去请教他的教师摩尔根。但摩尔根也无法证明这个问题。同时也无法推翻，就把它交给了英国著名的数学家哈密顿。从此，这个问题在一些人中间传来似去，直到1865年哈密顿逝世为止，这个问题还没有得到解决。 于是该问题便以“四色猜想”的名字留在了近代数学史上。 1878年，著名的英国数学家凯来把“四色猜想”通报给伦敦的数学学会会员，征求解答。数学界顿时活跃起来，很多人挥戈上阵，企图试一试自己的能力。 1879年，肯普首先宣布证明了四色定理，接着在1880年，泰特也宣布证明四色定理的问题已经解决，从此就很少有人过问它了。 然而还有一个数学家赫伍德，并没有放弃对四色问题的研究，他从表少年时代一直到成为白发苍苍的老者，花费了毕生的精力致力于四色研究，前后整整60年。终于在1890年，也就是肯普宣布证明了四色定理的11年之后，赫伍德发表文章，指出了肯普证明中的错误，不过，赫伍德却成功地运用肯普的方法证明了五色定理，即一张地图能用五种颜色正确地染色。 五色定理被证明了。但四色定理却又回到未被证明的四色猜想的地位了，这不仅由于赫伍德推翻了肯普的证明，而且离开泰特发表论文66年后的1946年，加拿大数学家托特又举出反例，否定了泰特的证明。 　　肯普的证明，虽然在11年后被推翻了，但是，人们认为他的证明思路有很多可取的地方。因此，数学家，有不少人一直在沿着他的思路，推进着四色问题的证明工作，并且有了新的进展。然而，这些成就所提供的检验办法太复杂了，人们难以实现。就拿1970年有些人的方案来说，用当时的计算机来算也需要连续不断地工作10万小时（即11年以上），才能得出结论，这显然是不可能的。　　1970年以后，人们千方百计地改进了证明四色猜想的方案，而且计算机的其使用方法，也不了飞快地进步。　 1976年6月，美国数学家阿佩尔与哈肯，在美国伊利诺侵入大学的3台不同的电子计算机上，用了1200小时，终于完成了“四色猜想”的证明，从面使“四色猜想”成为了四色定理。　　“四色定理”本身没有什么突出的理论价值和实际价值。因此美国数学家的贡献，主要是用电子计算机解决了延续124年之久的纯理论问题。 人与机器的合作完全有可能解决那些悬而未决的问题，我们期待着那一日的到来。 动态测试时，在理论上只需用各种可能的输入数据运行程序，通过输出的结果来判断程序是否正确。 但实际上，