共查询到20条相似文献,搜索用时 93 毫秒
1.
李勇 《自动化技术与应用》2020,39(3):51-55
随着操作系统国产化的浪潮,麒麟系统已开始应用于各行各业,但是麒麟系统还没有一个便捷的即时通讯系统。本文旨在设计能在麒麟系统下运行的即时通讯系统。由于麒麟系统是基于Linux内核开发的,本文采用QT开发平台,设计并实现了一套即时通讯系统。此系统采用oracle数据库和RSA加密技术,既能解决麒麟系统下即时通讯问题,又保证了通讯安全。经测试,系统能够稳定运行。 相似文献
2.
3.
4.
根据衡敛状态方程,系统输入或边界条件的变化能够影响系统状态,对于系统状态出现的衰减湮灭,推导了系统衰减湮灭的状态方程、衰灭平衡方程。得出,当系统状态发生衰减湮灭,系统状态值、系统输入值、边界条件之间相互作用,改变系统的输入或边界条件能够恢复系统。应用系统衰灭状态方程及衰灭平衡方程,对系统状态变化进行分析,是研究系统状态演变,系统控制,状态时滞、预防系统性衰减的方法。 相似文献
5.
在系统与系统的交互过程中,很多系统都无法实现系统与系统间操作的实时交互性以及数据的同步性,而需要通过接口系统采用跑批的方式来实现系统间数据的同步性。该文介绍一种实时交互的组件――Link-easy的实现,该组件可以解决系统与系统之间的实时交互问题。 相似文献
6.
依据珠海120系统的实际研制、开发,介绍了GPS系统在汽车监控领域的一种应用──车辆自动追踪系统,重点介绍了系统的整体结构、系统原理、系统功能、系统的优点及系统的技术指标。 相似文献
7.
分析了复杂测量系统的溯源研究现状,指出现有的研究已不能满足复杂测量系统的动态化溯源需求,提出了建立人工测量系统的必要性.基于ACP(Artificial societies,computational experiments,and parallel execution)方法建立了平行测量系统的理论框架,通过构建与物理测量系统行为和特性等价的人工测量系统,借助人工测量系统的计算实验,确定测量优化控制策略,引导物理测量系统的运行,并进行评估,实现物理测量系统和人工测量系统的平行执行和平行控制,将物理测量系统溯源至人工测量系统的理论模型上,解决复杂测量系统的溯源问题.并以齿轮在位测量系统为例,对平行齿轮测量系统进行了设计和平行控制研究. 相似文献
8.
嵌入式Email系统是类PC嵌入式系统,是嵌入式操作系统及其应用软件的一个重要组成部分,但是现有PC上的嵌入式Email系统都不能适应类PC嵌入式系统的硬件环境要求。文中采用了一种新的构建嵌入式Email系统的方法,设计与实现了清华嵌入式Email系统,可根据各种类PC嵌入式系统的不同要求进行定制。首先,论述了类PC嵌入式系统的硬件平台对嵌入式Email系统的苛刻要求,其次,描述了清华嵌入式Email系统的体系结构,接着,讨论了清华嵌入式Email系统的实现机制与原理,以及系统模型,最后,给出了嵌入式Email系统的特点。由于采用了现在流行的一种开放源码的组件,使得整个系统功能完善,并能够完全符合类PC嵌入式系统的要求。嵌入式Email系统已经在自主研制的掌上电脑HPC和交互式网络电视上成功地运行。 相似文献
9.
韩涛 《计算机工程与设计》2011,32(4):1178-1181
为满足企业对移动商务系统的使用需求,对常用ERP系统的数据库和常用移动通信平台的SDK进行分析,在此基础上设计了能够将企业现有ERP系统与移动通信平台集成起来实现移动商务管理的系统。设计了系统架构,将系统分为3层,每层都采用插件技术;根据系统架构设计系统功能,将系统分为7个功能模块,通过这7个功能模块实现该系统的功能;最后设计系统编码,将编码从左到右分为5段,每段有不同的意义和格式要求。 相似文献
10.
11.
Java多线程测试策略及测试方法探讨 总被引:2,自引:0,他引:2
Based on analyzing the features of Java multithread, testing strategies and methods are discussed in this paper. Java multithread testing is consist of class testing,integration block testing and system testing. The main testing methods for Java multithread are proposed, such as inherit testing, synchronization testing and synchronization efficiency testing. 相似文献
12.
William E. Howden 《Software》1978,8(4):381-397
The effectiveness in discovering errors of symbolic evaluation and of testing sad static program analysis are studied. The three techniques are applied to a diverse collection of programs and the results compared. Symbolic evaluation is used to carry out symbolic testing and to generate symbolic systems of path predicates. The use of the predicates for automated test data selection is analysed. Several conventional types of program testing strategies are evaluated. The strategies include branch testing, structured testing and testing on input values having special properties. The static source analysis techniques that are studied include anomaly analysis and interface analysis. Examples are included which describe typical situations in which one technique is reliable but another unreliable. The effectiveness of symbolic testing is compared with testing on actual data and with the use of an integrated methodology that includes both testing and static source analysis. Situations in which symbolic testing is difficult to apply or not effective are discussed. Different ways in which symbolic evaluation can be used for generating test data are described. Those ways for which it is most effective are isolated. The paper concludes with a discussion of the most effective uses to which symbolic evaluation can he put in an integrated system which contains all three of the validation techniques that are studied. 相似文献
13.
提高软件产品的质量重要方式之一就是软件测试,它已成为软件行业的又一新热点,文中阐述了软件单元测试技术在电视跟踪仪的软件系统中的应用,主要包括驱动模块和桩模块的开发时机,测试路径的分析方法,以及在基于路径的测试用例优化方法;同时比较出不同的单元测试方法在测试深度和测试效率上的差别;通过软件测试找到一些软件错误与缺陷,针对出现的问题进行软件的修改,保证电视跟踪仪软件产品的质量达到要求. 相似文献
14.
软件是否能正常且方便地安装和卸载是软件能否顺利推广的关键之一,软件安装测试是软件测试的一个重要组成部分.本文从"安装和卸载的功能测试"、"安装和卸载的易用性测试"、"安装手册的测试"三个方面系统地阐述了软件安装测试的内容和方法,并给出一些实例. 相似文献
15.
阐述了头盔显示器检查仪的测量原理和系统结构。重点说明了实际检查仪中的关键技术,介绍了应用SUSAN算子进行边缘检测和根据CCD特性进行高斯曲线拟合相结合的亚像素算法,采用该算法进行十字丝的定位,达到了实际应用的要求。 相似文献
16.
17.
软件确认测试在软件测试生命周期中占有重要地位。尽管在整个开发过程中经历了各种测试和检验,但是,在其正式发布和投入运行之前仍必需通过正式的和系统全面的测试,来确认其是否符合需求。本文介绍了软件确认测试的主要测试内容及活动,分析了确认测试在软件开发过程中的作用和地位,归纳了确认测试的基本测试模型,总结了确认测试的基本测试过程和方法。 相似文献
18.
并行计算技术的飞速发展给软件测试带来了新的要求.并行软件测试可以分为基于进程内部的控制流测试和基于进程间相互关系的时序测试.文中所介绍的并行软件的测试工具——ParCT (parallelC-language testingtools)主要是面向控制流的.文中介绍了ParCT的运作机制及其主要功能:通过对程序的动态测试得到测试的覆盖率、列出未覆盖分支以及对各个分支的访问频度,从而帮助用户完成对测试程度的评估并为用户设计新的测试用例提供目标.在此基础上,还对并行测试工具所面临的一系列新课题,诸如进程的实时跟踪、面向控制流的测试产生(testgeneration)算法、面向多线程的测试工具、并行程序的时序测试(tim ing sequence testing)等,进行了一定程度的探讨 相似文献
19.
20.
程序正确性测试的相关技术进展 总被引:1,自引:0,他引:1
本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面。随后探讨了相关技术向分布式程序的拓展问题。 相似文献