排序方式: 共有65条查询结果,搜索用时 15 毫秒
1.
2.
形式化的软件测试模型研究 总被引:2,自引:0,他引:2
传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言RSL对软件设计进行描述,并在此基础上提出了自动生成软件测试各个阶段所需测试用例的方法框架以及相关实验结论。 相似文献
3.
4.
清洁、抽速稳定的高真空系统是氢脉泽工作必不可少的组成部分之一。文章详细介绍了双真空主动型氢脉泽真空系统的组成及各个组成部分的设计思路、方法。内容涉及真空的获得、真空泵的选择、氢脉泽物理部分双真空系统设计、流导及抽速的计算、泵体结构的设计和实验验证。实验发现,设计完毕的氢脉泽双真空系统保温效果较以前大幅改善,内外真空室本底流量为0.1 mA,工作流量值稳定在0.7mA时氢脉泽稳定输出-105 dBm信号,关闭流量后内真空抽真空本底时间约为8 min。表明内外真空室离子泵均达预期设计指标且工作正常。此外,该设计还进一步减小了脉泽体积、减轻了其重量,向氢脉泽小型化迈出了坚实一步。 相似文献
5.
6.
软件可用性工程是当前软件开发的重要研究领域,研究者试图通过对软件可用性特征的分析提高使用者使用效率,改善软件质量。本文针对软件使用过程中的用户操作特征,采用Markov模型对用户软件操作过程进行聚类和建模。并在此基础上根据用户模型的概率描述指标,提出了相应的在线模型更新算法和帮助系统设计方法。在实际软件设计过程中设计实现了以此为理论基础的试验系统,取得了较好的应用效果。 相似文献
7.
8.
9.
基于Rough Set理论的网络入侵检测系统研究 总被引:5,自引:0,他引:5
本文提出了一种基于Rough set理论(Rough Set Theory,RST)的网络入侵检测系统,用于监控网络的异常行为。该方法使用Rough set理论对网络连接数据提取检测规则模型。使用Rough set理论提取规则模型,能有效地处理数据挖掘方法中存在的不完整数据、数据的离散化等问题。实验表明,同其它方法相比,用Rough set理论建立的模型对DoS攻击的检测效果优于其它模型。 相似文献
10.