测试资源受约束的安全关键软件加速测试方法

基于马尔可夫链使用模型提出了一种针对安全关键软件测试资源受约束的启发式加速测试方法.该方法利用一种新的随机优化技术--交叉熵方法,以软件投放后软件失效风险损失最小为目标,基于失效风险损失通过修正操作剖面,自动生成测试数据集.实验结果表明该方法能有效地降低软件失效风险,提高测试效率,是一种快速有效的加速测试方法.     

信息技术专业方向特点及其相关专业方向的比较

随着计算机软硬件及通信技术的发展,计算的概念发生了巨大的变化,已经拓展到难以用一个学科来定义的境地。教育部计算机教学指导委员会在回顾历史、分析现实、广泛调研和充分借鉴国际上计算机办学检验的基础上,提出了以“培养规格分类”为核心思想的计算机专业发展思路,从两个不同层面将计算机专业划分为四个独立的专业方向,即计算机科学(研究型)、计算机工程(工程型)、软件工程(工程型)和信息技术(应用型)。提倡各个学校应根据各自的情况和社会需求为学生提供不同类型(研究型、工程型、应用型)的教学计划和培养方案。人们一般对于计算机科…