| 软件质量审查技术及进展 |
| |
| 引用本文： | 陈军,马溪骏.软件质量审查技术及进展[J].电子质量,2004(1):37-38. |
| |
| 作者姓名： | 陈军 马溪骏 |
| |
| 作者单位： | 合肥工业大学,计算机网络系统研究所,安徽,合肥,230009;合肥工业大学,计算机网络系统研究所,安徽,合肥,230009 |
| |
| 摘 要： | 测试和形式化的正确性验证是软件质量保证的两种重要技术,而软件审查技术在效果上优于测试,在应用的要求上少于形式化的验证.该文详细论述了软件质量审查技术和软件审查的优点,并讨论了审查技术在效果和适应性方面进行改进的进展.
|
| 关 键 词： | 软件质量 审查 形式化验证 过程求精 |
Software Quality Inspection Technique and Development |
| |
| Chen Jun Ma Xijun Institute of Computer Network System,Hefei University of Technology Hefei Anhui.Software Quality Inspection Technique and Development[J].Electronics Quality,2004(1):37-38. |
| |
| Authors: | Chen Jun Ma Xijun Institute of Computer Network System Hefei University of Technology Hefei Anhui |
| |
| Institution: | Chen Jun Ma Xijun Institute of Computer Network System,Hefei University of Technology Hefei Anhui 230009 |
| |
| Abstract: | Testing and formal verification are two important techniques for software quality assurance, however software inspection technique is more effective than testing and require less effort than formal verification. In this paper, software quality inspection technique is introduced in detail; the benefits of inspection are also described. Finally, the development of inspection, which can improve the effectiveness and applicability, is discussed. |
| |
| Keywords: | Software Quality Inspection Formal Verification Process Refining |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
