形式化规范在软件可靠性早期估计中的应用研究  

Application of formal specification in software reliability early evaluation

作　　者：吕闽晖[1] 吕敏蓉[2] 

机构地区：[1]海军工程大学装备经济研究所,湖北武汉430033 [2]湖南女子学院,湖南长沙410004

出　　处：《微型机与应用》2011年第11期7-9,共3页Microcomputer & Its Applications

摘　　要：随着软件的广泛应用,特别是软件在尖端领域的应用,软件可靠性成为一个非常重要的问题。形式化规范在软件可靠性研究中能够起到的作用是多方面的。本文针对非形式化统计使用测试的不足,结合已有的早期可靠性估计方法,设计了优化算法,并提出了即使在设计中采用了形式化规范仍然需要测试的结论。With a wide range of applications, especially in sophisticated field, software reliability has become a very important issue. Formalized specification plays more important role in many ways of software reliability studies. In this paper, combined with early reliability estimation methods, an optimized algorithm has been designed in view of the insufficiency of using non-formalized statistics test, and then the conclusion has been drawn that even formalized specification adoped in the software design, software testing is still indispensable.

关 键 词：形式化规范 软件可靠性 早期估计 测试 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]