期刊文献+

软件可靠性分析、测试与评估工具——SRATE介绍 被引量:4

A Software Tool for Software Reliability Analysis,Testing and Evaluation
下载PDF
导出
摘要 软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自适应测试策略等。该工具还集成了包括欧洲航天局的space软件、浙大CAD&CG国家重点实验室的Intra3D构件库在内的多个典型被测对象。根据工具接口要求可以方便的添加新的测试策略和测试对象。具有自动化程度高、通用性强、配置灵活、易于扩展的特点,是进行软件可靠性分析研究工作的有力工具。 The tool for software reliability analysis,testing and evaluation is a useful tool for research on software reliability analysis,testing and evaluation.The tool contains several testing strategies and softwares to be tested.Researchers can test these softwares automatically under the tool,evaluation their reliability under different testing strategies.They can add new testing strategy and new software to be tested in the platform easily.
出处 《计算机工程与应用》 CSCD 北大核心 2005年第1期23-26,110,共5页 Computer Engineering and Applications
基金 国家863高科技研究发展计划资助项目(编号:2001AA113192)
关键词 软件可靠性分析 软件可靠性测试 软件可靠性评估 software reliability analysis,software reliability testing,software reliability evaluation
  • 相关文献

参考文献12

  • 1林锐,石教英.基于OpenGL的可复用软构件库与三维交互设计[J].计算机研究与发展,2000,37(11):1360-1366. 被引量:16
  • 2C Szyperski.Compoent Software:Beyond Object Oriented Programming[M]. Addison Wesley, 1998.
  • 3N Levenson.Software:System Safety and Computer[S].ISBN 0-201- 11972-2,1995.
  • 4T M Khoshgoftaar et al.Predicting Fault-Prone Modules with Case- Based Reasoning[C].In:Proc IEEE International Symposium on Software Reliability Engineering, 1997:27-35.
  • 5K Goseva-Popstojanova, K S Tfivedi.Architecture-Based Approach to Reliability Assessment of Software Systems[J].Performance Evaluation,2001 ;45:179-204.
  • 6S Ramani,S S Gokhale,K S Trivedi.SREPT:Software Rehabihty Estimation and Prediction Tool[J].Performance Evaluation, 2000) 39 : 37---60.
  • 7G Rothermel,R H Untch,C Chu et al.Prioritizing Test Cases For Regression Testing[J].IEEE Transactions on Software Engineering,2001; 27(10) :929~948.
  • 8景涛,赵雷,白成刚等.软件结构剖面的Markov性质研究【J】.计算机学报.
  • 9Kai-Yuan Cai.Optimal Software Testing and Adaptive Software Testig in the Context of Software Cybernetics[J].Information and Software Technology, 2002 ; 44 : 841-855.
  • 10.总装备部和空军装备部“九·五”重点预研课题“综合飞行/火力/推力控制系统研究(36.2.3)技术报告【R】.,..

二级参考文献26

  • 1陈学军,苏振华.软件可靠性模型研究[J].电子产品可靠性与环境试验,1996,14(5):17-24. 被引量:2
  • 2林锐.协同式交互式三维图形软件开发系统与可视化平台的研制[M].杭州:浙江大学,2000..
  • 3(美)Dale Rogerson 杨秀章(译).COM技术内幕[M].北京:清华大学出版社,1999..
  • 4.[EB/OL].http://software.ccidnet.com/pub/disp/ArticlecolumnlD=375articlelD=25560pageNO=1.2002.,.
  • 5Beizer B. Software Testing Techniques. 2nd ed , Van Nostrand Reinhold, 1990.
  • 6Myers GJ. The Art of Software Testing. John Wiley & Sons, 1979.
  • 7Musa JD. Software-Reliability-Engineered testing. Computer, 1996,29( 11):61-68.
  • 8Binder RV. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, 2000.
  • 9Chen TY, Yu YT. On the expected number of failures detected by subdomain testing and random testing. IEEE Trans on Soitware Engineering, 1996,22(2):109-119.
  • 10Frankl PG, Weyuker EJ. A formal analysis of the fault-detecting ability of testing methods. IEEE Trans on Software Engineering,1993,19(2):202-213.

共引文献37

同被引文献29

引证文献4

二级引证文献23

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部