Input Variable Description Method for Real-Time Software Test Case Auto-Generation
-
摘要: 为了解决自动生成实时软件可靠性测试用例遇到的如何描述软件输入空间的问题,提出了约功能的概念,对输入变量按照实时特性和取值特性进行了分类,探讨了利用随机过程描述具有随机取值特性的一类输入变量取值统计规律的方法,建立了描述输入变量的模型,并给出一个实例,展示分析输入变量的方法.Abstract: In order to solve the problem of describing the input space for generating software reliability test cases automatically, the concept of promissory functions is presented. The input variables are classified according to their real time and valuing characteristics. The description of the valuing property for those input variables with random valuing characteristic are studied based on stochastic process theory. A model for describing the input variables is established. An example is given to illustrate the method of analyzing the input variables discussed above.
-
Key words:
- software /
- reliability /
- real-time systems /
- software testing /
- test case generation
-
[1] 欧空局标准PSS-01-21.ESA空间系统软件产品保证要求[S]. [2]唐稚松.时序逻辑程序设计与软件工程(时序逻辑语言)(上册)[M].北京:科学出版社,1999. [3]Ghezzi C, Mandrioli D, Morzenti A. TRIO:A logic language for executable specifications of real-time systems[J].J Systems Software ,1990,(12):107~123. [4]王子果,田 铮.随机过程[M]．西安:西北工业大学出版社,1990. -
点击查看大图
计量
- 文章访问数: 2586
- HTML全文浏览量: 41
- PDF下载量: 200
- 被引次数: 0
下载:
