面向RT软件测试数据自动生成的输入变量分析

陈雪松; 陆民燕; 阮镰

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名

邮箱

手机号码

标题

留言内容

验证码

面向RT软件测试数据自动生成的输入变量分析

北京航空航天大学工程系统工程系

详细信息

作者简介:
陈雪松(1971-),男,北京人,博士生,100083,北京.

中图分类号: TP 311
计量
- 文章访问数: 2513
- HTML全文浏览量: 34
- PDF下载量: 198
- 被引次数: 0
出版历程
- 收稿日期: 2000-04-03
- 网络出版日期: 2000-06-30

Input Variable Description Method for Real-Time Software Test Case Auto-Generation

Beijing University of Aeronautics and Astronautics, Dept. of System Engineering of Engineering Technology

摘要

摘要: 为了解决自动生成实时软件可靠性测试用例遇到的如何描述软件输入空间的问题,提出了约功能的概念,对输入变量按照实时特性和取值特性进行了分类,探讨了利用随机过程描述具有随机取值特性的一类输入变量取值统计规律的方法,建立了描述输入变量的模型,并给出一个实例,展示分析输入变量的方法.
- 软件 /
- 可靠性 /
- 实时系统 /
- 软件测试 /
- 测试用例生成
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.
- software /
- reliability /
- real-time systems /
- software testing /
- test case generation

HTML全文

参考文献(1)

[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.

施引文献

资源附件(0)

访问统计