哈哈妹妹-CSDN博客

原创 DO178中软件计划阶段中的验证活动

软件计划阶段的目的就是定义机载软件的研制方法，活动有：编制软件合格审定计划：PSAC编制软件开发计划：SDP编制软件验证计划：SVP编制软件配置管理计划：SCMP编制软件质量保证计划：SQAP编制软件需求标准：SRS编制软件设计标准：SDS编制软件编码标准：SCS以上编制计划可能还需要添置工具鉴定计划：TQP，其中SVP和TQP属于验证方面的。编制完成后需要...

2019-03-26 12:18:18 526

原创 DO178机载软件验证的第一个阶段——计划阶段

软件验证活动的第一个阶段，即计划阶段。DO178中规定了六个计划三个标准，其中软件验证计划和工具鉴定计划是属于软件验证的工作。工具鉴定计划是非必须的，是根据项目的具体情况来定。首先来说说软件验证计划。软件验证计划这个问题是一个指导性的文件，它的作用就是指导整个的软件验证活动。它不涉及具体的验证活动：比如几月几日开始什么活动，什么时间结束。在软件验证计划中，会规定验证方法，验证环境，各个...

2019-03-22 10:59:47 872

原创 DO178软件验证随想

航空机载软件研发要遵循DO178标准，DO178标准中除了软件的研发，剩下占比比较多了就是软件验证了。对于航空机载软件来说，软件的安全性无比重要，但是软件安全性评估是一件很难的事情。所以通过过程控制：软件研发从计划到设计到验证到质量等等来使得软件的实现可以达到一个比较高的安全性。那么软件验证在整个软件研发过程中扮演了什么角色呢？软件验证所有的数据输出，均是证明软件符合需求的证据。因...

2019-03-21 13:56:31 517

转载 hash查找

一个表查找程序包的核心代码。这段代码很典型，可以在宏处理器或编译器的符号表管理例程中找到。例如考虑#define 语句。当遇到类似于#define IN 1之类的程序行时，就需要把名字IN和替换文本1存入到某个表中。伺候，当名字IN出现在某些语句中时，如：state=IN；就必须用1来替换IN。以下两个函数用来处理名字和替换文本。install（s，t）函数将名字s和替换文本t

2017-02-28 12:57:43 397

转载查看jfreechart下面的demo例子

首先去jfree官网下载你需要的版本，下面是以0.9.21版本为例。下载下来是一个打包文件，解压后的目录为：查看自带的demo程序则需要在解压目录下输入命令行：java -jar jfreechart-0.9.21-demo.jar我是将打包文件解压在D盘的testcode文件夹下，在输入命令行时，首先要进入jfreechart的文件目录下面。对于如何进入D盘：

2017-02-23 14:30:28 1255

原创关于解决URL中中文乱码问题

举个例子String url1="detail.jsp?name=中国“当这个url被传递过去时，对中文编码时会产生”%“，而这些”%“就是造成乱码的原因。因此在构造url时，将中文字段进行编译转码：name=URLEncoder.encode(name)；然后将”%“替换成别的文本，如：url = url.replaceAll("%","_PERCENT_");

2017-02-22 22:38:40 1256

原创 Tomcat部署无乱码，换成glassfish就发生乱码的解决方法

在保证数据库编码，过滤器设置编码均一致的情况下在项目配置文件中新建一个glassfish-web.xml 文件文件内容为： <parameter-encodingdefault-charset="GBK" />其中default-charset 编码要与其他部分设置的编码均保持一致。

2017-02-22 22:36:54 581

Netbeans项目通过email激活的用户注册mysql数据库

注册账户通过email进行激活

2017-02-22

antlr-2.7.7.jar

antlr-2.7.7

2017-02-14

小程序画菱形和正方形 C语言

可以根据边长，绘制一定大小的正方形和菱形

2016-12-16

servlet应用实例

简单的servlet实例，初学者教程，容易入手

2013-04-15

文件上传Netbeans项目

简单的文件上传，netbeans项目，比较简单，容易部署

2013-04-15

jsp项目案例导航第五章源码转换成NetBean版

jsp数据库项目导航第五章的源码，我将它转换成了NetBean版本的了，如果有使用NetBean开发javaweb的同志可以直接下载，数据库建立和书上的一样，然后直接打开项目就可以使用了

2011-07-21

java实现的简单的应用facade模式范例

将facade类设置成接口，应用facade模式的一个小程序，易于理解，附带类图

2011-05-25

java实现汉诺塔程序

用java实现汉诺塔程序，输出移动到第n步时，各处的状态

2011-05-25

java解决棋盘覆盖问题

当k>0时，将2k×2k棋盘分割为4个2k-1×2k-1 子棋盘(a)所示。特殊方格必位于4个较小子棋盘之一中，其余3个子棋盘中无特殊方格。为了将这3个无特殊方格的子棋盘转化为特殊棋盘，可以用一个L型骨牌覆盖这3个较小棋盘的会合处，如 (b)所示，从而将原问题转化为4个较小规模的棋盘覆盖问题。递归地使用这种分割，直至棋盘简化为棋盘1×1。

2011-04-09

java解决汽车加油问题

一辆汽车加满油后可以行驶N千米。旅途中有若干个加油站。指出若要使沿途的加油次数最少，设计一个有效的算法，指出应在那些加油站停靠加油。给出N，并以数组的形式给出加油站的个数及相邻距离，指出若要使沿途的加油次数最少，设计一个有效的算法，指出应在那些加油站停靠加油。