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

陈雪松; 陆民燕; 阮镰

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

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

详细信息

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

中图分类号: TP 311
计量
- 文章访问数: 2601
- HTML全文浏览量: 43
- PDF下载量: 200
- 被引次数: 10
出版历程
- 收稿日期: 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.

施引文献

期刊类型引用(5)

1.	李俊乐，黄珅，林文俏，谭健，李典，许月文，汪侃炎，陈聪. 焊缝质量离线检测技术的研究现状与发展前景. 金属加工(热加工). 2024(02): 11-22 . 百度学术
2.	康达，孔庆茹，马啸啸，林珊珊，张宏，马兆光，吴慧慧，陈尧. 超声全聚焦成像的裂纹类缺陷定量误差分析. 中国测试. 2024(02): 136-145 . 百度学术
3.	章盟，樊程广，余孙全. 基于全矩阵椭圆成像法的加筋板结构损伤检测. 北京航空航天大学学报. 2024(06): 2033-2042 . 本站查看
4.	吕明轩，张斌，周超. 螺旋焊缝超声波相控阵检测系统参数调试. 焊管. 2023(01): 37-41 . 百度学术
5.	王哲，张超，龙浩南，黎洋. 基于全聚焦相控阵超声的列车轮辋缺陷检测. 自动化应用. 2022(03): 7-9 . 百度学术