论文部分内容阅读
该文对软件可靠性测试研究的现状进行了简要分析和介绍，进而介绍了作者们对一个具体软件系统的测试实验及正在进行的工作。
软件可靠性测试研究与实验
【摘 要】
：
该文对软件可靠性测试研究的现状进行了简要分析和介绍，进而介绍了作者们对一个具体软件系统的测试实验及正在进行的工作。
【机 构】
：
兵工程学院计算机室
【出 处】
：
1999年全国理论计算机科学学术年会
【发表日期】
：
1999年期
其他文献
该文介绍了软件的安全性，探讨了安全苛刻软件的开发与认证问题，指出Ａｄａ是开发安全苛刻软件的理想语言，给出了Ａｄａ安全苛刻软件的开发和认证方法及软件工具需求。
“追问”顾名思义是追根究底地问。教学意义上的“追问”是学生基本解答教师预设的问题后，有针对性地进行“二度提问”，其目的是引领学生进一步发现问题、解决问题，走进问题的纵
信息技术是目前小学数学课堂教学常用的教学工具。应用信息技术能够提高小学生学习数学的兴趣，降低其学习数学的难度以及促进学生合作能力的提高。
软件可靠性工程不仅是软件模型的应用，同时也是通过软件生命周期进行费效比分析等工程手段来开发可靠性软件基本原理的应用。净室软件工程法可用来开发高可靠性软件。该文讨论
随着素质教育理念的不断引向深入，同时，新课程改革的步伐不断加快，学生的主体作用不断凸显，教学改革逐步从机械灌输向教师巡回指导、学生自主学习转化，学生分析问题、运用概括抽象
在化学课堂中激发学生的学习兴趣，使学生由“要学”到“愿学”到“会学”、“乐学”。充分挖掘化学实验的趣味性，借助各类实验激发兴趣，引导学生乐学，需要注重联系生活，激发探究兴
该文结合当今信息化精密农业的发展趋势和要求，介绍了在WINDOWS环境下，用VB5.0设计、开发小麦生长模拟软件的过程：并阐述了以系统观点，以小麦生长及其人与田间土壤各层水、氮变化
在小学教育中，数学学科作为基本课程之一，在教学地位中十分关键。其中计算教学是数学教学中的重要组成部分，具有重要教学意义，并且培养和提高小学生的计算能力也相当关键，不过在具
“创新”，是一个现代化的高频词汇。它不仅仅意味着思维创新，方法创新，更重要的是在学习中要有创新思维。时代在进步，对学生与教师的要求也在与时俱进不断提高。那么面对一个“创