期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

嵌入式软件运行剖面建模及测试用例生成 被引量：3

Embedded Software Operational Profile Modeling&Test Cases'Generating
在线阅读 下载PDF
导出
摘要 软件运行剖面定量描述软件的使用方式,可以为软件测试提供一个定量的依据,从运行剖面出发可以自动生成测试用例,对提高软件测试的效率与正确性具有很重要的意义。本文给出了一个工程应用中构造嵌入式软件运行剖面以及从剖面生成测试用例的方法。 Software operational profiles describe the quantity of how the software is used which can help us testing the software. We can construct the test cases automatically form the software operational profile which can be very useful to improve the proficiency and precision of software testing. We develop a method to construct the operational profile of embedded software. Based the opera-tional profile we generated the test cases automatically.
作者 陈小光 陈蔚薇 郭丽丽
机构地区 中国科学院研究生院信息工程学院 中国科学院光电研究院
出处 《微计算机信息》 北大核心 2008年第11期79-81,共3页 Control & Automation
关键词 软件运行剖面 马尔科夫链 测试用例 software operational profile Markov chain test cases
分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献2

二级参考文献13

  • 1Prowell SJ, Trammell CJ, Linger RC, Poore JH. Cleanroom Software Engineering: Technology and Process. Addison-Wesley,1999.
  • 2Yan J, Wang J, Chen HW. Automatic generation of Markov chain usage models from real-time software UML models. In: Ehrich HD, Schewe KD, eds. Proc. of the 4th Int'l Conf. on Quality Software. Los Alamitos: IEEE Computer Society Press, 2004.22-31.
  • 3Binder RV. Testing Object-Oriented Systems: Models, Patterns and Tools. Addison Wesley Longman, Inc., 1999.
  • 4Rumbaugh J, Jacobson I, Booch G. The Unified Modeling Language Reference Manual. Addison Wesley Longman, Inc., 1999.
  • 5Briand L, Labiche Y. A UML-based approach to system testing. Software and System Modeling, 2002,1(1): 10-42.
  • 6Regnell B, Runeson P, Wohlin C. Towards integration of use case modeling and usage-based testing. Journal of Systems and Software, 2000,50(2):117-130.
  • 7Riebisch M, Philippow I, G(o)tze M. UML-Based statistical test case generation. In: Aksit M, Mezini M, Unland R, eds. Proc. of the Int'l Conf. NODe 2002. LNCS 2591, Heidelberg: Springer-Verlag, 2003. 394-411.
  • 8Beyer M, Dulz W, Zhen F. Automated TTCN-3 test case generation by means of UML sequence diagrams and Markov chains. In:Proc. of the 12th Asian Test Symp. Los Alamitos: IEEE Computer Society, 2003. 102-106.
  • 9Douglass BP. Real-Time UML: Developing Efficient Objects for Embedded Systems. 2nd ed., Pearson Education, Inc., 2000.
  • 10Damm W, Harel D. LSCs: Breathing life into message sequence charts. In: Ciancarini P, Fantechi A, Gorrieri R, eds. Proc. of the 3rd Int'l Conf. on Formal Methods for Open Object-Based Distributed Systems. Kluwer Acdemic Publisher, 1999. 293-312.

共引文献28

同被引文献36

引证文献3

二级引证文献19

微计算机信息
2008年 第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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