Advanced Search
Volume 26 Issue 6
Jun.  2000
Turn off MathJax
Article Contents
Journal of Beijing University of Aeronautics and Astronautics  > 2000  >  26(6): 731-734.
CHEN Xue-song, LU Min-yan, RUAN Lianet al. Input Variable Description Method for Real-Time Software Test Case Auto-Generation[J]. Journal of Beijing University of Aeronautics and Astronautics, 2000, 26(6): 731-734. (in Chinese)
Citation: CHEN Xue-song, LU Min-yan, RUAN Lianet al. Input Variable Description Method for Real-Time Software Test Case Auto-Generation[J]. Journal of Beijing University of Aeronautics and Astronautics, 2000, 26(6): 731-734. (in Chinese)
shu

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

  • Received Date: 03 Apr 2000
  • Publish Date: 30 Jun 2000
    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.

     

    • FullText(HTML)
  • loading
    • References(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.
    • Relative Articles
    • Supplements(0)
    • Cited By
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索
    Get Citation
    PDF
    XML

    Article Metrics

    Article views(2530) PDF downloads(198) Cited by()
    Proportional views
    Related

    Copyright © Journal of Beijing University of Aeronautics and Astronautics

    Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn

    Supported by: Beijing Renhe Information Technology Co., Ltd.    

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return