Randomization for Testing Systems of Systems

被引:0
作者
Liang, Qianhui [1 ]
Rubin, Stuart H. [2 ]
机构
[1] Singapore Management Univ, Sch Informat Syst, Singapore 178902, Singapore
[2] SSC, San Diego, CA 92152 USA
来源
PROCEEDINGS OF THE 2009 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION | 2008年
关键词
Randomization; software testing; systems of systems; test cases; component testing; integration testing;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper applies randomization theory to the problem of selecting software test cases for software systems and applications in order to overcome the hurdle of high cost in testing componentized Systems of Systems (SoS). We have used a corner point semantics, which can approximate a proof of correctness - termed a pseudo-proof of correctness. Test cases for each component are designed to be mutually orthogonal, or randomized. Integration testing is performed through a composition of the test cases for components with some value-added test cases to cover integration aspects of the system. Integration testing is also designed in such a way that the testing algorithm is written in randomized form. The advantages offered by such randomization are ever present in the algorithm, programming language, integration, and workflow design.
引用
收藏
页码:110 / +
页数:2
相关论文
共 11 条
  • [1] [Anonymous], 1987, SYSTEM EXPT DESIGN
  • [2] RANDOMNESS AND MATHEMATICAL PROOF
    CHAITIN, GJ
    [J]. SCIENTIFIC AMERICAN, 1975, 232 (05) : 47 - 52
  • [3] LIANG Q, 2008, IEEE INT C INF REUS, P374
  • [4] Liang QH, 2007, IRI 2007: PROCEEDINGS OF THE 2007 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, P42
  • [5] Liang QA, 2006, IRI 2006: PROCEEDINGS OF THE 2006 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, P336
  • [6] On randomization and discovery
    Rubin, S. H.
    [J]. INFORMATION SCIENCES, 2007, 177 (01) : 170 - 191
  • [7] Computing with words
    Rubin, SH
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1999, 29 (04): : 518 - 524
  • [8] RUBIN SH, 2005, 2005 IEEE INT C SYST, V4, P3890
  • [9] Analyzing process models using graph reduction techniques
    Sadiq, W
    Orlowska, ME
    [J]. INFORMATION SYSTEMS, 2000, 25 (02) : 117 - 134
  • [10] Taguchi G., 1987, SYSTEM EXPT DESIGN, V2