期刊文献+

基于UML的嵌入式软件测试用例生成方法研究 被引量:8

Test cases generation of embedded software testing based on UML technique
下载PDF
导出
摘要 基于嵌入式软件实时性、嵌入式和反应式等特点,对UML进行了实时性扩展,运用多种UML视图描述嵌入式系统的结构和行为,提出了如何从基于UML的模型中自动生成测试用例的设计思路。 To consider the feature of embedded software, such as real-time and interactive, this paper made real-time extension to UML, and used many kinds of UML diagrams to describe the structure and action of embedded software, further more, addressed some ideals to the process of how to generate test cases from the UML models automatically.
出处 《计算机应用研究》 CSCD 北大核心 2008年第10期3018-3021,共4页 Application Research of Computers
基金 国家"十一五"国防预研基金资助项目(513190701)
关键词 统一建模语言 面向对象 嵌入式软件 测试场景 测试用例 UML(unified modeling language) object-oriented embedded software test scenario test case
  • 相关文献

参考文献14

  • 1CAVARRA A, CRICHTON C, DAVIES J. A method for the automatic generation of test suites from object models[ C ]//Proc of the 2003 ACM Symposium on Applied Computing. 2003 : 1104-1109. 被引量:1
  • 2SCHINZ I, TOBEN T, MRUGALLA C ,et al. The rhapsody UML verification environment[ C ]//Proc of SEFM' 04. 2004. 被引量:1
  • 3JIANG Bo,LONG Xiang, GAO Xiao-peng. MobileTest:a tool supporting automatic black box test for software on smart mobile devices [ C ]//Proc of the 30th International Conference. on Software Engineering ( ICSE 2007 ). 2007. 被引量:1
  • 4OMG. Unified modeling language specification( versionl. 5 ) [ S]. 被引量:1
  • 5SELIC B, RRMBAUGN J. Using UML for modeling complex real-time systems[ C ]//Proc of SCM SIGPLAN Workshop on Languages, Compilers ,and Tools for Embedded Systems. 1998. 被引量:1
  • 6WANG Yi-chen, LIN Bin, RUAN Lian. Simulation testing framework for embedded software[ C ]//Proc of the 25th Digital Avionics Systems Conference. 2006. 被引量:1
  • 7ADS2 user manual[ K]. Tech S A T GmbH, 2000. 被引量:1
  • 8Cantata + + documentation support test reference manuals. IPL information [ C ]//Proc of Limited. 1998. 被引量:1
  • 9GAO Y. A testing framework for real-time object-oriented modelling dissertation for the degree of master of science[ D]. [ S. l. ] :Queen' s University, 2002. 被引量:1
  • 10RT-LAB/ATB: scalable test bench for avionics systems [ EB/OL ]. ( 2004 ). http : www. opal-rt. com/products/engsim/rtlab_atb. 被引量:1

二级参考文献20

  • 1谢棠棠,张为群.一种基于UML模型的系统测试方法[J].西南师范大学学报(自然科学版),2005,30(2):259-263. 被引量:9
  • 2Alur R, Dill D. A theory of timed automata[ J]. Theoretical Computer Science, 1996,126(2) : 183 -235. 被引量:1
  • 3Owre S, Rushby J, Shankar N, et al. Formal Verification for Faulttolerant Architectures: Prolegomena to the design of PVS[ J]. IEEE Transaction on Software Engineering, 1995, 21(2) : 107 - 125. 被引量:1
  • 4Douglass BP. Real-time UML. Developing Efficient Objects for Embedded Systems[ M]. Addison-Wesley, 1998. 被引量:1
  • 5Chan W, Richard J. Anderson et al. Model Checking Large Software Specification[ J]. IEEE Transactions on Software Engineering,1998, 24(7). 被引量:1
  • 6Latella D, Majzik I, Massink M. Automatic Verification of a Behavioral Subset of UML Statechart Diagrams Using the SPIN Modelchecker[ J]. Formal Aspects of Computing, 1999, (11) : 637 - 664. 被引量:1
  • 7Traore I . An Outline of PVS Semantics for UML Statecharts [ J ] .Journal of Universal Computer Science, 2000, 6(11). 被引量:1
  • 8刘超,可视化面向对象建模技术——标准建模语言UML教程,1999年 被引量:1
  • 9Tsai W T,IEEE Trans Software Engineering,1990年,16卷,3期,316页 被引量:1
  • 10BOOCH G,RUMBAUGH J,JACOBSON I.The Unified Modeling Language Reference Manual[M].Addison-Wesley,2001. 被引量:1

共引文献56

同被引文献34

引证文献8

二级引证文献27

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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