程序属性的检测与程序属性的分类

摘要：在当今的各种程序中,很多人认为只存在两种程序,即善意程序和恶意程序,但对程序属性研究之后,发现还存在第三种属性的程序,该程序部分具有恶意性,部分具有善意性,第三种属性程序是由本文首次提出。本文提出解决问题的思路是：首先采用恶意权值计算公式对程序进行计算,判断该程序是善意程序还是恶意程序,并且分析了程序的权值是否发生了变化。如果是某个程序的权值发生了变化,那么此时善意程序被病毒感染的可能性很大,被病毒感染的程序在一定时候就能够体现出一定的恶意性,因此经过对病毒、被病毒感染的程序和善意程序三种不同属性程序分析之后,最后使用MMTD算法对三种属性的程序进行了分类：该程序是恶意程序,善意程序还是部分恶意部分善意的程序。     

基于TMS320C6678的多核程序加载研究与实现

针对多核D SP系统程序加载复杂的问题,基于T MS320C6678对多核程序加载进行了研究与设计。从一级引导程序出发,设计并优化了多核程序内容存储格式。设计了简洁的二级引导程序,以修正一级引导程序只识别主核程序入口地址,而从核入口地址缺失的现象。为了快速生成特定格式的多核程序内容,设计了多个工具用于添加S PI启动参数表、DDR3启动表、从核程序入口地址以及完成程序内容格式的转换。实现了S PI Flash多核程序加载以及基于I2C主模式的Nand Flash多核程序加载。     

程序插装在软件测试中的应用研究

程序插装是软件测试中一种重要的白盒测试技术.介绍了程序插装的基本原理,分析了程序插装的关键要素,研究了插装测试设计的主要内容.针对常用的程序结构,如线性程序、结构化程序、面向对象程序的不同特点,提出了相应的程序插装策略和测试实现方法.在插装测试实践中,根据程序测试的规模、要求等,需要综合考虑程序插装对被测程序性能、执行...     

广义量子Loop程序初探

在经典计算中,Loop程序是非常重要的程序。对量子计算中Loop程序进行研究非常必要。定义了体为量子运算的广义量子Loop程序,给出了量子Loop程序在输入态上终止,几乎终止以及不终止的定义基于任意的初始态。并证明了量子Loop程序在给定输入态上终止的充要条件以及程序终止的充要条件。作为应用,验证了体为酉运算的量子Loop程序嵌套是一个广义的量子Loop程序。     

ADSRX应用程序的开发与实例

本文给出了一个ADSRX程序实例,通过该实例阐述了ADSRX程序的结构,ADSRX程序的编译方法和跟踪调试方法。可将该程序作为模板程序,在此基础上增加其它的外部函数。     

编辑程序中的数据组织方法

编辑程序是计算机系统的重要软件之一。本文结合作者的经验，详细介绍了文字编辑程序、图形编辑程序以及多文件多窗口编辑程序中的数据组织方法，并讨论了图形文字混合编辑程序中的数据管理策略。     

基于微信小程序的开发与研究

本文主要从微信小程序开发角度,对小程序开发过程进行了研究和简要的说明,并从微信小程序的环境、框架、组件等各个方面进行了综合分析,介绍了微信小程序开发过程中的几个关键点,针对小程序的发展现状和未来的发展趋势进行了探讨,希望能够为相关的程序开发人员起到一些参考作用。     

通过抽象程序证明复杂具体程序

本文描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构（ADTs）如set、list、map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系,抽象程序程序点和具体程序程序点的对应关系.基于对应关系,抽象程序和具体程序一致性证明可以分解,从而容易并可能自动证明.     

基于遗传编程的学生程序修正方法

学生程序的自动修正是程序设计类大规模网络公开课亟需解决的关键问题。结合学生程序在线评测的需求,提出了基于遗传编程的学生程序修正模型,设计并实现了基于Web的便于教师和学生使用的程序自动修正系统。基于测试用例集实现程序在线评测,对评测结果中满足自动修正条件的学生程序进行错误定位,在此基础上实现自动修正。应用结果表明,该系统可以有效管理、测试学生程序、并为学生修正含有缺陷的程序提供参考,减轻了教师的负担。     

JAVA程序设计语言的一点体会

该文对比了传统程序设计语言与JAVA程序设计语言,介绍了JAVA程序设计语言的起源,发展,其程序设计的思想及其特点。通过实例具体介绍了JAVA的优点及其发展前景!     

基于合约的程序不变量动态检测模型研究

讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型.主要描述基于合约的似然程序不变量发现的基本理论模型,以及程序不变量发现的主体过程,并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方法.通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构.     

一个形式化的程序设计方法及其实验系统

本文提出了一个形式化的程序设计方法,即以循环不变式为指导,运用程序变换规则从程序说明逐步地形式化地推争程序。生成的程序对于输入说明和输出说明是正确的。我们使用正则自动机作为程序的算法模型。这种算法模型具有通用性,它表示的程序可以等价地变换为某种程序设计语言的程序文本,如FORTRAN或PASCAL程序。 文中提出了“程序语句生成器”的概念及有关的程序变换规则,论述了利用循环不变式自动构造循环程序的原则和方法。文章还扼要介绍了应用这个方法的一个小型自动程序设计实验系统APES-82。     

如何开发功能强大的排列程序

（1）问题提出 以前开发了一个程序《组合程序的深入研究》，最近想写一个排列程序，看了网上的排列程序，大都是全排列，只有一个选排列，代码晦涩难懂，而且数字大了会出错，于是决定自己开发一个全新的排列程序。     

《数据结构》矩阵计算程序的功能分析

详细分析了矩阵转置、乘法计算程序的功能结构,分析了转置程序的多算法线索对程序效率的影响,分析了并行转置乘法的行向量方法,并且对3个程序都进行了数据分析,以及程序执行的过程分析。以达到掌握《数据结构》的稀疏矩阵计算程序的目的,而且对今后编写矩阵计算类程序在功能结构上提供了有效根据。     

恶意网络程序的危害性及对策研究

恶意网络程序因其对计算机网络系统的巨大破坏作用而引起了人们的广泛关注。研究了恶意网络程序的本质特征,给出了恶意网络程序的定义。分别从功能特征和行为特征两个方面对网络恶意程序进行了分类研究。对恶意网络程序的危害性及其度量评估方法进行了深入分析研究。讨论了防范恶意网络程序的整体解决方案所需要考虑的因素,并提出了应对恶意网络程序的一般性原则。     

透视C程序设计语言

从三个不同侧面透视了C高级程序设计语言:"结构化"的程序设计语言;"函数式"的程序设计语言;"面向过程"的程序设计语言.论述了C程序设计语言面向过程的模块化编程思想、用其编程解决实际问题的一般思路和具体程序中的实现形式,同时,总结了上述三个方面的内在联系和它们的统一性.得出了C高级程序设计语言的优点和其强大的生命力,具有较高的概括性和理论意义,对于学习和研究C程序设计语言提供了一个很好的典型案例.     

程序切片技术浅析

程序切片技术是一种重要的程序分析理解方法,可以帮助开发人员和维护人员理解程序的结构和作用。随着编程语言逐渐趋于人性化、多功能化和复杂化,为了适应编程语言的这种进步,程序切片技术也在不断的演化发展着。文章中主要介绍了程序切片技术的一些基本的准则,介绍了程序切片的一些类型,以及如何利用源程序和图形进行程序切片,并且进行了举例说明。     

Linux聊天室开发

在Linux下开发了一个聊天室程序,可实现Linux下文字、文件的实时交互功能.程序分为服务端和客户端两个程序,采用流式套接字进行通信.客户端程序使用GTK开发用户界面介绍了程序的开发思路和技巧,对于在Linux下开发类似程序有参考价值.     

透视C程序设计语言

从三个不同侧面透视了C高级程序设计语言:"结构化"的程序设计语言;"函数式"的程序设计语言;"面向过程"的程序设计语言。论述了C程序设计语言面向过程的模块化编程思想、用其编程解决实际问题的一般思路和具体程序中的实现形式,同时,总结了上述三个方面的内在联系和它们的统一性。得出了C高级程序设计语言的优点和其强大的生命力,具有较高的概括性和理论意义,对于学习和研究C程序设计语言提供了一个很好的典型案例。     

浅谈计算机编程思想

作为指导程序员编写出良好程序的基础,编程思想在程序设计中起着相当重要的作用。本文对当前两种流行的特点进行了详细介绍,阐述了这两种程序的本质和特点,并对比了两种程序的优劣,指出这些程序之间的差别与联系。