ICode9

精准搜索请尝试: 精确搜索
  • 简述程序正确性证明的思想和方法2020-05-26 13:56:52

    https://wenku.baidu.com/view/46c13311e009581b6ad9eb87.html 完成指定任务是“做什么”,而程序/算法是“如何做”. “如何做”是一组程序代码,是由一系列语句组成。假设把程序看做一个“大系统”,把语句按照嵌套和复合,分成“小系统”。 一般正确性是看程序是否达到预期目的。程序测

  • 软件测试基础2020-05-25 13:39:39

    软件测试目的 发现被测对象与用户需求之间的差异,即缺陷 通过测试活动发现并解决缺陷,增加人们对软件质量的信心 通过测试活动了解被测对象的质量状况,为决策提供数据依据 通过测试活动积累经验,预防缺陷出现,降低产品失败风险。 缺陷产生原因 需求表达、理解、编写引起的错误

  • 异常处理2020-04-16 22:54:54

    一、简述:异常就是程序执行的过程中,发生错误的信号,程序代码一旦出错,就会抛出异常,随即终止程序的运行。 二、异常的三要素:异常的追踪信息,异常的类型,异常的具体内容描述。 三、为何要处理异常:为了增强程序的健壮性,就是指即便程序执行的中途出错,也不要终止程序的运行,转替为

  • java笔记----运行时程序代码定位2020-04-08 21:03:13

    个人常用步骤: jconsole 查pid Process Explorer根据pid查到javaw.exe,双击查看线程(process explorer就是一个增强版的资源管理器) Process Explorer查询需要查询的tid,根据TID(十进制),转为16进制的数A 根据pid用Jstack输出线程快照,在快照里查找数A的nid

  • 初级扫雷小程序代码2020-03-22 12:00:12

    #pragma once #define _CRT_SECURE_NO_WARNINGS #include<stdio.h> #include<stdlib.h> #include <time.h> #define ROW 9 #define COL 9 #define Easy_count 80 #define ROWS ROW+2 #define COLS COL+2 void InitBoard(char Board[ROWS][COLS], int rows,

  • 1.1.0数据结构在学什么2020-03-14 17:39:31

    数据结构在学什么? 如何用程序代码把现实世界的问题信息化 如何用计算机高效的处理这些信息从而创造价值

  • ZZULIOJ-1017,判断正整数位数(Python)2020-03-10 20:42:12

    题目描述: 给定一个不多于5位的正整数,判断它是几位数,并输出。   输入:  一个不多于5位的正整数。    输出:  输出正整数的位数,单独占一行。   样例输入:  111  样例输出:  3  程序代码①:  import math n=int(input()) x=(int)(math.log10(n))+1 print(x) 程

  • C经典100例012020-03-09 20:39:56

    题目:有1、2、3、4个数字,能组成多少个互不相同且无重复数字的三位数?都是多少? **分析**:可填在百位、十位、个位的数字都是1、2、3、4。组成所有的排列后再去掉不满足条件的排列。 程序代码 #include <stdio.h> int main() { int i,j,k; int m=0; int a[100]; for(i=1;i<5

  • 什么是 FreeMarker 模板?2020-03-07 20:04:16

    FreeMarker 是一个基于 Java 的模板引擎,最初专注于使用 MVC 软件架构进行动态网页生成。使用 Freemarker 的主要优点是表示层和业务层的完全分离。程序员可以处理应用程序代码,而设计人员可以处理 html 页面设计。最后使用freemarker 可以将这些结合起来,给出最终的输出页面。

  • windows上编译linux程序代码需要用到的头文件2020-03-06 18:05:15

      项目的代码是在linux上运行的,但我比较习惯在vs上写代码。由于linux下有不少函数在windows上是没有的,所以在vs直接编译是不行的。 为了方便在vs上编译项目代码,我把一些常用的linux函数原型整理成一个特殊的头文件。只要在代码前面引用上这个头文件,就可以很方便地编译代码。 完

  • 配置webstorm开发微信小程序2020-01-08 19:54:42

    配置webstorm开发微信小程序   微信开发者工具虽然能编辑代码,可以实时预览,用于临时调试代码是足够的,考虑到工作的效率性和便捷性,需要功能更加强悍的编辑器来编写小程序,在这里主要谈使用webstorm编辑器来开发小程序的配置情况。   注意默认情况下,webstorm不支持wxml和wxss的文

  • .Net 程序代码混淆加密工具 ILProtector2020-01-08 15:53:59

    我的项目中某一部分信息比较敏感,但是.Net程序反编译之后连注释都看得到。需要把exe保护起来,如:代码混淆之后再加壳。 Bing到一款.Net混淆工具  ILProtector   作为资深工具党,先"拿来主义"体验体验。本篇主要介绍工具使用 1.加密前的exe,反编译之后什么都有       2.用I

  • FPGA基础入门程序代码2020-01-05 18:01:08

    1 module flow_led( 2 input sys_clk , //系统时钟,外部时钟50M 3 input sys_rst_n, //系统复位,低电平有效 4 5 output reg [3:0] led //4个LED灯 6 ); 7 8 //reg define 9 reg [23:0] counter; 10 /*

  • 软件调试和应用软件开发模式2019-12-24 17:53:30

    根据软件代码规模,应用软件的开发大致分为三 种模式。 程序员个人开发的小软件 用例图 这种模式和早期的软件开发模式类似。 小软件开发用例图如图所示。     软件调试的特点 发现问题(测试)、定位问题和提出解决问题方 案、修改程序代码、验证全部由程序员负责。 软件调试 可

  • PHP中include()与require()的区别2019-12-11 10:08:14

    require 的使用方法如 require("MyRequireFile.php"); 。这个函数通常放在 PHP 程序的最前面,PHP 程序在执行前,就会先读入 require 所指定引入的文件,使它变成 PHP 程序网页的一部份。常用的函数,亦可以这个方法将它引入网页中。 include 使用方法如 include("MyIncludeFile.php");

  • 学习:简单使用MFC创建对话框窗口2019-12-03 11:52:06

    MFC介绍:微软基础类库(英语:Microsoft Foundation Classes,简称MFC)是微软公司提供的一个类库(class libraries),以C++类的形式封装了Windows API,并且包含一个应用程序框架,以减少应用程序开发人员的工作量。其中包含大量Windows句柄封装类和很多Windows的内建控件和组件的封装类。 目前自

  • 实验十一——LL(1)文法的判断,递归下降分析程序2019-11-21 12:01:51

    1. 文法 G(S): (1)S -> AB (2)A ->Da|ε (3)B -> cC (4)C -> aADC |ε (5)D -> b|ε 验证文法 G(S)是不是 LL(1)文法?     2.(上次作业)消除左递归之后的表达式文法是否是LL(1)文法?         3.接2,如果是LL(1)文法,写出它的递归下降语法分析程序代码。  

  • PostScript2019-11-11 20:51:03

    https://baike.baidu.com/item/PostScript/2192822?fr=aladdin   PostScript是一种编程语言,最适用于列印图像和文字(无论是在纸、胶片或非物质的CRT都可)。用现今的行话讲,它是页面描述语言。它既可以像程序代码一样具有可读性,又能表示出可任意放大和缩小的矢量图。

  • 那些出现在电影中的程序代码2019-09-25 18:54:14

    高科技无关的电影也偶尔会出现一些跟计算机相关的镜头。文本搜罗的是在各种电影中出现过的代码,它们有的是黑客脚本,有的是绝密文件,有的就是为了摆酷,文中对这些代码都有截屏,你是否能看出它们是什么语言? 一、《钢铁侠》,c语言        电影《钢铁侠》 最近我重新看了一遍《钢铁侠

  • 对Quin同学的试卷自动生成程序代码分析2019-09-19 23:02:22

    我的partner Quin同学使用Python语言编写的中小学试卷生成系统,在此我对他的劳动成果进行一个简单分析。 项目需求:   功能:   1、命令行输入用户名和密码,两者之间用空格隔开(程序预设小学、初中和高中各三个账号,具体见附表),如果用户名和密码都正确,将根据账户类型显示“当前选择为XX

  • 中小学数学题生成程序代码分析2019-09-19 22:57:29

    整体的排版:     针对同一代码段,写出优点和认为可能有的改进的地方。   代码段1:       将用户信息封装成Student类。Java的类型能够把相同属性的对象抽象出来,无论是概念上还是编程上都会帮助我们理解整个系统的架构。                      虽然前面说到

  • Windows 驱动加载程序代码2019-09-19 15:01:15

    #include <windows.h> #include <winsvc.h> #include <conio.h> #include <stdio.h> #define DRIVER_NAME "MySYS" #define DRIVER_PATH "./MySYS.sys" BOOL LoadNTDriver(char* lpszDriverName,char* lpszDriverPat

  • php中获取中文首字母程序代码2019-08-14 18:04:58

    原文链接:http://www.cnblogs.com/bwzhangtao/p/4233369.html 年会抽奖,要求一等奖的中奖概率是0.12%,二等奖中奖概率是3%,三等奖中奖概率是12%,其他中奖概率是都是谢谢惠顾。 1 <?php 2 /** 3 * 抽奖 4 * @param int $total 5 */ 6 function getRe

  • VC 开机自动启动程序代码 [转]2019-08-02 22:37:41

    原文链接:http://www.cnblogs.com/BaiYong/archive/2009/09/18/1569764.html From:http://www.diybl.com/course/3_program/vc/vc_js/200875/130202.html很多监控软件要求软件能够在系统重新启动后不用用户去点击图标启动项目,而是直接能够启动运行,方法是

  • 课程总结2019-07-05 21:55:53

    一、刚进入大学时只觉得软件编程是一个很神奇的东西,在电脑里前敲上一段时间就能创造出各种各样的程序代码,实现自己想要的功能,当我真正接触了一个学期后才感受到其中的难度,这是一门需要不断学习的课程,一旦稍有松懈就会前功尽弃,我想JAVA给我带来的就是让我知道主动的重要性。 二、对

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有