可信软件若干关键技术的研究

本书是一本有关软件可信性研究领域的专著，以论文集形式出版。该专著共收集7篇前沿学术论文，分别从21世纪世界软件研究的学术领域面临的软件可信性研究挑战、软件可信性国际标准展望、软件质量工程重要性、国际中小软件研发企业能力成熟度，以及嵌入式系统的软件质量工程等多个角度全面而深入地阐述了软件可信性的内涵及其外延。

这是一本聚焦于软件可信性研究领域的专著，以论文集形式出版。该专著共收集7篇前沿学术论文，分别从21世纪世界软件研究的学术领域面临的软件可信性研究挑战、软件可信性国际标准展望、软件质量工程重要性、国际中小软件研发企业能力成熟度，以及嵌入式系统的软件质量工程等多个角度全面而深入地阐述了软件可信性的内涵及其外延。 本书首先探讨了现有科学和实践方法提高软件可信性，包括行为主义方法和基于模型的方法等，并提出了创新型可信性测量和评估方法，基于有限状态机原理，能够更准确地描述软件的行为，从而更准确地评估软件的可信性。 其次，本书分析了软件质量工程在SWEBOK中的现状，并提出了改进建议，强调了软件质量工程的重要性，理解问题是软件质量工程中最重要的部分，错误的理解可能导致巨大的损失。 此外，本书还讨论了嵌入式系统的重要性及质量挑战，指出嵌入式系统在现代社会中的普遍性和重要性，以及嵌入式系统缺陷可能导致的严重后果。 在中小IT企业的IT成熟度实现方面，本书提出了简化CMMI方法以适应中小企业，并探讨了中小IT企业的IT成熟度实现方法，包括采用CMMI方法，借鉴其他企业的成功经验，以及寻求专业机构