模型检测在软件测试中的应用研究

以测试为基础的模型或规格是产生测试用例的一种很有潜力技术。在这种方法中,先要建立一个系统的规格或模型,再由规格或模型产生测试用例。文章对结合模型检测来进行测试的方法进行了研究,从整体上对测试进行考虑,不仅包含了对系统所希望具有的功能进行测试,还包括了对系统不应具有的功能进行测试。通过这种方法,我们可以进一步保证系统的正确性和可靠,大大降低人力和资源的开销,为进一步优化测试奠定了基础。     

修正最近特征分类器及其在雷达目标识别中的应用

针对最近特征线(NFL)与最近特征平面(NFP)分类器在大数据样本量与高维数时计算复杂度大的问题，依据局部最近邻准则，提出了一种新的搜索策略，使这两种分类器在保持较高识别率的同时，提高了算法的实时性能。对三类不同飞机实测数据的分类结果表明了所提方法的有效性。     

使用模型检测器进行测试的方法研究

由于测试过程主要依赖于测试人员的经验和直觉,其中的花费较大,而且现有的测试工具并不能满足测试的要求。在如何保证系统正确性和可靠性问题上,模型检测(model checking)以其简洁明了和较高的自动化程度而引人注目。如何将模型检测应用于测试是有待解决的一个问题,本文对如何将模型检测应用于测试的方法进行了研究,并对目前的方法进行了分析,并对该方法今后的发展方向进行了总结。     

培养电子类大学生科技创新能力的探索

提高当代大学生的科技创新能力对于促进中国未来建设事业有着重要的意义.因此培养大学生的科技创新意识和提高其科技创新能力是十分重要而必要的.首先对大学生科技创新能力现状和培养大学生科技创新能力的途径进行了分析,然后介绍了深化电子类大学生科技创新活动的主要对策,最后重点介绍了实践当中的大学生科技创新基地的建设,包括科技创新基地的管理和运作机制、活动内容和激励制度等.这对培养和提高大学生的科技创新实践能力发挥了重要的作用.     

培养电子类大学生科技创新能力的探索

提高当代大学生的科技创新能力对于促进中国未来建设事业有着重要的意义。因此培养大学生的科技创新意识和提高其科技创新能力是十分重要而．必要的。首先对大学生科技创新能力现状和培养大学生科技创新能力的途径进行了分析,然后介绍了深化电子类大学生科技创新活动的主要对策,最后重点介绍了实践当中的大学生科技创新基地的建设,包括科技创新基地的管理和运作机制、活动内容和激励制度等。这对培养和提高大学生的科技创新实践能力发挥了重要的作用。