小型软件
小型软件技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
资源总数
500
小型软件 热门资料
查看全部 500 份 →UML模型测试策略及在软件测试中的应用
组件技术在软件开发中的应用日益广泛,同时对软件系统质量也有着越来越高的要求。因此,保证软件系统可靠性的软件测试技术显得益发重要。本文分析了组件系统的特点,从整体上研究了基于UML模型的组件测试
2023-11-28
9
智能终端软件测试通讯模型和协议研究
在针对智能终端的软件测试中,测试主机与被测终端之间的通讯控制是测试工具体系结构的一个非常重要的组成部分。本文首先指出了目前测试工具中常见的测试用例直接控制和驱动I/O 通讯过程的结构所导致的缺
2024-02-17
6
容错型计算机联锁系统的软件设计研究
紧密围绕计算机联锁系统软件容错进行讨论,给出了软件的容错设计,主要包括:关于联锁数据的容错和关于联锁程序的容错。针对实例,说明了容错型计算机联锁系统软件的详细设计过程。系统在实际运行中,安全性、可靠性
2024-03-12
10
基于模型检验的软件安全静态分析研究
软件安全静态分析是检测软件安全漏洞的一种手段。本文在总结现有的软件安全静态分析方法的基础上,将在硬件设计领域得到成功应用的模型检验方法引入到软件产品的检验中,给出了一种基于自动机理论的检测软件
2024-05-04
4
地震采集工程软件系统KLSeis是用于地震勘探采集的大型工程软件系统
地震采集工程软件系统KLSeis是用于地震勘探采集的大型工程软件系统,它涵盖了地震勘探野外数据采集的全过程。包含的具体内容有:⑴采集参数分析;⑵二维、三维观测系统设计;⑶测量数据处理;⑷试验资料分析;⑸二维、三维静校正处理;⑹二维、三维地质...
2013-12-25
188