转过来大家了解一下软件可靠性研究的一些内容
原文链接：[url=http://blog.chinaunix.net/u/5929/showart.php?id=137965]
软件测试与软件可靠性
SoftwareTestingandSoftwareReliability
课程编号：S081202J08课程属性：专业基础课学时/学分：40/2
预修课程：软件工程、程序设计方法学、概率论与数量统计
教学目的和要求:
本课程为计算机软件与理论专业研究生的专业基础课。本课程的基本目的是使学生掌握软件测试和软件可靠性的基本原理和主要方法，把握软件测试和软件可靠性的学科前沿方向。通过选修这门课程，学生将对软件测试和软件可靠性评估技术有较全面的认识，不仅对各种具体技术（如测试用例生成、软件可靠性建模等）的原理和方法有较准确的理解和掌握，而且能对本学科前沿的发展情况有一个客观的把握。同时，对CASE系统中软件测试与软件可靠性评估工具有切身的体会，得到一定的实践经验。
内容提要:
第一章软件测试技术概论
软件错误，软件质量，软件测试的发展史。
第二章测试方法
静态方法与动态方法，黑盒测试与白盒测试。
第三章测试工具与测试环境
测试工具综述，测试步骤，测试文档。
第四章程序正确性证明
概述，以公理语义学为基础的正确性证明技术。
第五章软件可靠性模型概述
模型的分类，模型的假设与局限性，MUSA的执行时间概念。
第六章随即过程类模型
马尔可夫过程模型，非齐次泊松过程模型，MUSA模型。
第七章非随即过程类模型
贝叶斯模型，SEEDING模型，基于输入域的模型。
第八章模型的比较与选择
比较的标准，比较技术，测试策略与模型的选择。
第九章软件规划管理与可靠性
软件规划的经济效益，可靠性指标，成本指标。
第十章现状与发展
可靠性分配技术，恢复块结构技术，对测试过程的直接建模。
主要参考书：
1.J.D.Musaetal.,SoftwareReliability:Measurement,Prediction,Application,McGraw-Hill,1987.
2.徐仁佐等编著，《软件可靠性模型及应用》，清华大学出版社，北京，1994。
撰写人：李晓维(中国科学院计算技术研究所)
撰写日期：2001年12日
