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

一种基于DARTS设计的嵌入式软件测试用例模型 被引量：2

Test case model of embedded software based on DARTS
在线阅读 下载PDF
导出
摘要 嵌入式系统是目前计算机研究领域的一个热点,嵌入式软件的特点使其设计方法发生了变化,软件测试是保证嵌入式产品质量的关键,研究新设计方法下的新测试方法是非常必要的。本文分析了嵌入式软件的特点,对嵌入式软件测试的方法和问题进行了讨论,根据DARTS设计方法和基于规约说明的测试方法,提出了一种基于任务划分的实时嵌入式软件的测试用例生成模型。 Emnbedded system is a hotspot in the field of computer research nowadays. The characteristic of embedded software makes its design method change a lot. Software test is a key to assure the quality of embedded product. It is necessary to find new test method under the new design methed.This paper analyzed the characteristic of embedded software first, then discussed methods and ,questions of embedded software test, at last,set up a test case generation model based on task decomposition by specification- based test and DARTS method.
作者 黄志华 苏国平
机构地区 新疆大学信息科学与工程学院
出处 《中国测试技术》 CAS 2006年第1期86-88,138,共4页 CHINA MEASUREMENT & TESTING TECHNOLOGY
关键词 嵌入式系统 规格说明 测试用例 DARTS设计 Embedded system Specification Test case DARTS
分类号 TP393.07 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献6

  • 1C.Y.Park.Predicting Program Execution Times by Analyzing Static and Dynamic Program Pathes[J].Real Time Systems,1997,13(1):67-91.
  • 2C.L.Liu and J.W.Layland.Schduling Alogrithms for Multiprogramming in a Hard-Real-Time Environment[J].Journal of the ACM,1973,20(1):46-61.
  • 3Hall P A V.Towards Testing with Respect to Formal Specifications[ A].Second IEE/BCS Conf Software Eng[C].New York:ACM Press,1988:159-163.
  • 4兰毓华,毛法尧,曹化工.基于Z规格说明的软件测试用例自动生成[J].计算机学报,1999,22(9):963-969. 被引量：22
  • 5Weyuker E,Goradia T.Singh A.Automatically Generating Test Case Data from a Boolean Specification[J].IEEE Trans on Software Engineering,1994,20(5):353-363.
  • 6聂长海,徐宝文.一种最小测试用例集生成方法[J].计算机学报,2003,26(12):1690-1695. 被引量：58

二级参考文献13

  • 1[1]Chen T Y,Lau M F. A new heuristic for test suite reduction.Information and Software Technology, 1998, 40(5/6) : 347～354
  • 2[2]Chen T Y, Lau M F. A simulation study on some heuristics for test suite reduction. Information and Software Technology,1998, 40(13): 777～787
  • 3[3]Lee J G, Chung C G. An optimal representative set selection method. Information and Software Technology, 2000, 42 (1):17～25
  • 4[4]Chen T Y,Lau M F. Dividing strategies for the optimization of a test suite. Information Processing Letters, 1996, 60(3): 135～141
  • 5[5]Johnson D S. Approximation algorithms for combinatorial problems. Journal of Computer and System Sciences, 1974, 9(3): 256～278
  • 6[6]Harrold M J,Gupta R,Soffa M L. A methodology for controlling the size of a test suite. ACM Transactions on Software Engineering and Methodology, 1993, 2(3): 270～285
  • 7[7]Chen T Y,Lau M F. Heuristics towards the optimization of the size of a test suite. In: Proceedings of the 3rd International Conference on Software Quality Management, Seville, Espagne, 1995, 2:415～424
  • 8[8]Jones J A, Harrold M J. Test-suite reduction and prioritization for modified condition/decision coverage. In: Proceedings of ICSM'01, Florence, Italy, 2001, 11:92～102
  • 9[9]Wong W E, Horgan J R, London S et al. Effect of test set minimization on fault detection effectiveness. In: Proceeding of the 17th International Conference on Software Engineering, Seattle, Washington DC, 1995. 41～50
  • 10[10]Wong W E, Horgan J R,Mathur A P et al. Test set size minimization and fault detection effectiveness: A case study in a space application. In: Proceeding of the 21st Annual International Computer Software and Application Conference of COMPSAC 97, Washington DC, 1997. 522～528

共引文献77

同被引文献35

引证文献2

二级引证文献17

中国测试技术
2006年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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