在项目开发过程中，应该按要求编写好十三种文档，文档编制要求具有针对性、精确性、清晰性、完整性、灵活性、可追溯性。 ◇可行性分析报告：说明该软件开发项目的实现在技术上、经济上和社会因素上的可行性，评述为了合理地达到开发目标可供选择的各种可能实施方案，说明并论证所选定实施方案的理由。 ◇项目开发计划：为 ...
分类：
其他好文 时间：
2018-09-05 13:49:44
阅读次数：
148
证明：/ P=K*I+R (R<I, 1<I<P); K*I+R=0(MOD P) (两边同时，乘以i-1，r-1) >i-1=-k*r-1 r-1=（p mod i)-1； k=[p / i]； 带入的出公式; i-1=-[ p / i ]( p mod i)-1 相当于求i的逆元 就是 -[ p ...
分类：
编程语言 时间：
2018-08-20 01:08:39
阅读次数：
159
关于武器效能评估系统 武器效能评估系统是为解决武器装备效能评估问题新研发的一款软件，武器效能评估系统用于武器装备论证、研制、试验、使用等不同阶段的效能评估，武器效能评估系统为作战体系、装备体系评价和优化提供定量依据。武器效能评估系统能够使用仿真、靶试、演习等多种来源的实验数据，五木恒润将效能评估贯穿武器装备全生命周期。互联网是个神奇的大网，大数据开发和软件定制也是一种模式，这里提供最详细的报
分类：
其他好文 时间：
2018-08-07 10:17:54
阅读次数：
138
原码、反码、补码详解 本篇文章讲解了计算机的原码, 反码和补码。并且深入探求了为何要使用反码和补码, 以及更进一步的论证了为何可以用反码、补码的加法计算原码的减法。 一、 机器数和真值 在学习原码、反码和补码之前, 需要先了解机器数和真值的概念. 1、机器数 一个数在计算机中的二进制表示形式，叫做这... ...
分类：
其他好文 时间：
2018-07-07 17:49:26
阅读次数：
142
测试与正确性论证差异对比 测试指为检测目标是否符合标准而采用特殊工具和方法进行验证。测试的优点在于你可以不用知道程序是如何实现的，直接输入测试样例，然后比较程序运行结果和正确结果，如果两者不同，就说明程序肯定有BUG。从中我们知道测试是快速方便的，它可以检测并定位一个程序的BUG。但是测试的效果很大 ...
分类：
其他好文 时间：
2018-06-25 20:37:16
阅读次数：
189
一． 论述测试与正确性论证的效果差异，比较其优缺点 软件测试是用于保证软件质量的测试。它的作用是检查程序所能完成的功能。测试手段包括等价划分和边界值分析。软件测试不能够保证覆盖面完全。 正确性论证是对代码进行输入的划分，依次对输入与输出进行解释。但是对于大型的程序，也许能保证单元测试内部满足代码要求 ...
分类：
其他好文 时间：
2018-06-25 20:34:15
阅读次数：
195
一.测试与正确性论证的效果差异1.测试优点:测试寻找bug的方式比较简单, 可以很快速的验证程序的基本功能, 调试非常方便.缺点:测试很难达到对程序的全面覆盖, 构造一些复杂的测试样例可能难度较大.测试无法证明程序是完全正确的.2.正确性论证优点:正确性论证可以证明程序是正确的.缺点:论证步骤复杂, ...
分类：
其他好文 时间：
2018-06-25 20:33:23
阅读次数：
176
oo课的总结得与失是与他处的格局不同的，大概就是这样一节矛盾的课吧，想要拿到衬衫就要许许多多个日夜看到沙河的日出，然而熬夜又熬夜之后脂肪却先于知识囤积在了身上，望着被撑起来的报告bug衬衫，实在是感慨万千，大概这就是oo课的“欲戴王冠，必承其重”吧。 测试与正确性论证的效果差异及优缺点 测试与正确性 ...
分类：
其他好文 时间：
2018-06-25 20:27:45
阅读次数：
137
OO课程学期末总结 测试VS正确性论证 OCL vs JSF 对象约束语言(Object Constraint Language)， 简称OCL， 是一种指示用户建模系统中的限制方式。 他是UML可选的附加内容， 可以用来更好地定义对象的行为， 并为任何类元指定约束。 相似性： 描述的约束相似：OC ...
分类：
其他好文 时间：
2018-06-25 20:26:05
阅读次数：
203
一、测试和正确性论证 两个方法各有优缺点，在我看来应当合理结合使用。 测试关注的是结果，论证关注的是过程。在测试的过程中，我们往往采用给定一些样例的形式来让程序自我运行，并判断输出的结果；准确性论证则是要求从程序员的角度出发，论证代码的合理性和正确性。二者其实也有一定的相同之处，即都需要程序员对代码 ...
分类：
其他好文 时间：
2018-06-25 20:20:09
阅读次数：
190
