基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

水质检测在仪器分析开放实验教学改革中的应用

针对仪器分析学科发展的现状,结合实验教学的实际,联合污水处理厂开发设计水质检测仪器分析的开放实验,从实验教学内容、教学空间、教学过程及思维等方面对实验课程进行改革,提高学生实验的主动性与积极性,加强培养学生实验操作技能及科学素养,取得了较好的教学效果.     

PBL教学方法在《热工测试技术》教学中的应用探索

介绍了PBL教学方法及其优点，并将其应用于热工测试技术这门课程中。从教学角色的转变、PBL教学法的实施以及案例分析三个方面阐述了PBL教学法在热工测试技术这门课程中的应用。     

成庄矿电磁辐射预测煤与瓦斯突出技术研究

介绍了电磁辐射仪的工作原理、方法,并对收集的数据与常规指标对比分析,得出了成庄矿的电磁辐射敏感指标及临界值,为电磁辐射仪的使用奠定了理论基础。     

几种思维方法在物理学习中的应用

通过举例说明几种思维方法在物理学习中的应用。     

含氮小分子键级的计算与结构式的推断

提出了电子空位对假说，以新颖的观点指出了分子结构的规律．对含氮共价小分子进行了键级的简便计算，和结构式的简易推断．     

基于EFSM模型的不可行迁移路径判定

扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.     

PI—B型感光材料分辨率测定仪

阐述了一种新型感光材料分辨率测定仪的原理，重点讨论了仪器参数的选择和控制显示系统的原理和组成，并给出了装调结果，该仪器光学分辨率高，检测速度快，自动化程度高，新型的液晶汉字显示使各种操作完全并幕菜单选择完成。     

课程教学中创建知识、能力、素质综合测定的考试模式探索

考试是课程教学活动的有机组成部分,是更加综合化的学习活动。本文通过分析目前我国高等学校考试模式主要存在的问题,得出改革高等学校课程考试模式势在必行。并探索出高等学校课程教学中创建知识、能力、素质综合测定的考试模式的主要途径。     

一致性测试的形式框架扩充及实例化

将“引入概率后的一致性测试形式方法”用ＦＳＭ模型进行实例化，并对原框架进行了扩充；