黑盒测试用例基的研究

本文运用集合论的观点,提出了测试用例基的概念与构成方法;从系统测试的角度提出系统位态与预期位态的概念;运用模糊蕴涵概念建立了测试用例与系统位态间的模糊控制关系;证明了测试用例基在测试中的优良特性及相关结论;用测试用例基执行软件测试是一种既科学又简便且测试用例的数量较少的方法,有效地降低了测试成本.     

信息系统安全与评测策略研究

详细分析信息系统安全的问题域,研究如何对信息安全进行评测,据此提出系统安全评测工程的模式、过程和评测的基本策略,同时简要论述ISS测评的未来研究方向。     

软件工程监理与软件质量保证

软件工程监理通过对开发过程的全面跟踪、全面监督 ,成为软件质量的重要保障手段。针对当前软件开发过程存在的问题 ,软件工程监理以任务分析、制定计划、实施计划为基本模式 ,主要执行开发模型和进度确认、业务模型及需求确认、体系结构测试与确认等工作。软件工程监理在技术上是可行的 ,但在观念和社会环境等方面还存在种种急待解决的问题     

基于模糊逻辑的测试用例揭错能力分析

利用模糊逻辑，分析了各测试用例中交元的测试特性，得到如下结果：交元在不同测试用例中所发挥的测试作用是相同的。据此给出了生成充分考虑参数取值组合作用、且个数少的测试用例（测试用例基）的一种方法，建立了以测试用例基表示所有测试用例的表达式。利用模糊逻辑证明了用测试用例基执行测试，不仅能确保软件质量满足用户需求，且提高了测试用例的揭错能力。由于测试用例基具有数量少、测试效率高的特点，该文的研究有利于改善测试工作，降低测试成本。     

一种基于知识树和约束的柔性活动动态细化方法

柔性工作流在应对业务建模过程中的动态不确定因素、提高工作流系统的柔性具有巨大的优势,然而,柔性活动的动态细化一直是柔性工作流建模和应用的一个难点。因此,提出一种基于知识树和约束的柔性活动动态细化方法。该方法以知识树的包含和泛化关系作为启发信息,以活动选取约束和时序约束作为指导和校验,实现柔性活动的动态细化。在介绍了知识树及其蕴含关系以及活动选取约束和时序约束规则的基础上,给出了柔性活动的动态细化算法,描述了活动选取校验和时序约束校验算法。最后给出了算法的实现和实例分析,其结果表明了所提方法的有效性,能够很好地解决柔性活动的细化问题。     

一种软件质量的模糊度量函数生成方法研究

根据软件质量的属性,给出了软件质量的模糊度量与模糊度量函数的概念,以及以软件测试结果为基础的生成法,通过多元模糊度量函数、复合模糊度量函数来建立软件质量的模糊度量模型.本文的方法能很好地适用于多因素、关系复杂及对质量影响具有不确定性的情况,是对软件质量更科学、更客观的一种度量方法.     

基于深度学习的智能治超场景下货车车型识别

针对智能治超场景下超载车辆自动化检测的需求,在YOLOv5s的基础上从数据、模型和算法三个方面提出了一种改进的货车车型识别算法。在数据层面,使用的数据增强模拟了现实中面对恶劣天气、图像噪声和数据损坏等复杂场景,丰富了训练数据的多样性,提高了模型在复杂场景下的鲁棒性。在模型方面,提出了一种新的注意力机制来综合考虑不同通道的重要性和编码特征的位置信息,提高了模型的识别准确性。在算法层面,针对现有算法的不足,提出了一种更通用的标准来判断货车与轮轴的隶属关系,以适用更复杂的场景。实验结果表明,提出的改进模型对货车和轮轴的识别精度分别达到99.34%和99.22%,对货车车型识别的准确率为98.71%。与经典的YOLOv5s网络相比,货车和轮轴的平均识别精度提高了2.39%,货车车型的识别准确率提高了2.22%。综上,所提出的方法实现了对货车车型自动和准确的识别,可以为智能治超场景下的货车车型识别提供理论支撑。     

基于Flash技术的远程教学课件的制作

应用Flash技术,成功研制了面向网络学院学生的“高等数学”网络教学课件.在开发课件的过程中,探讨了基于网络的远程教学课件的设计原则和基本要求,提出了“网上虚拟课堂教学”和“用课件取代教师”的两大网络课件设计目标.文中给出了本课件的设计思路和实现方案.     

一种精简测试用例方法的研究

本文对软件测试的系统状态进行分析,提出了系统位态与预期住态的概念,并分析了它们问的差异,利用这一差异的模糊性,建立了参数值与位态的作用关系,证明了模糊集交集的模糊推理的两个定理,从而推得软件测试的“必选用例”及其构成法,采用“必选用例”在保证测试质量的前提下,大大减少了测试用例的个数,最后把作用关系看作模糊变换,利用它的算法检查测试结果,既科学又方便。