期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

统计测试中操作剖面的一种优化设计方法 被引量：3

Optimizing design method of operational profile in statistical testing
下载PDF
导出
摘要 为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,对测试剖面进行优化成为必需.采用客户需求和测试需求作为约束,模型静态参数或其他统计质量标准作为优化目标,提出了一种基于约束优化的测试剖面最优化计算框架.通过扩展蚁群算法研究了一种求解优化测试剖面的方法.实验表明,相对于传统的函数最优化方法,使用启发式的蚁群算法具有更好的优化效果,并且更具通用性.在统计测试中使用经过优化的测试剖面可以生成统计意义上符合测试需要的用例集合,提高测试效率. In order to sufficiently explore the advance of statistical testing and quickly achieve the testing goal, it is necessary to optimize the testing profile. Custom requirements and testing requirements are used as constrains, and statistical static parameters of usage model or other statistical quality criteria are used as the optimizing aims. Then an optimizing framework of testing profile is setup. By extending the ant colony arithmetic, a method base on constrain optimizing to calculate the tes- ting profile is developed. The experiment results show that using heuristic ant colony arithmetic can achieve better optimizing effect than conventional functional constrained optimization arithmetic, and it is more universal. Using optimized testing profile in software statistical testing can generate better test case set to satisfy test requirement on statistical meaning to improve testing efficiency.
作者 万晓民 张德平 聂长海 徐宝文
机构地区 东南大学计算机科学与工程学院
出处 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第2期233-238,共6页 Journal of Southeast University：Natural Science Edition
基金 国家杰出青年科学基金资助项目(60425206) 国家自然科学基金资助项目(60373066,60403016) 江苏省自然科学基金资助项目(BK2005060).
关键词 软件测试 统计软件测试 操作剖面 测试剖面 software testing statistical software testing operational profile testing profile
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献10

  • 1Prowell S J, Trammell C J, Linger R C, et al. Cleanroom software engineering: technology and process [M]. New York: McGraw Hill, 1998.
  • 2Musa J D. Operational profiles in software-reliability engineering [J]. IEEE Software, 1993, 10 ( 2 ) : 14 - 32.
  • 3Prowell S J,Poore J H. Computing system reliability using Markov chain usage models [J]. The Journal of Systems and Software, 2004,73 ( 2 ) : 219 - 225.
  • 4Walton G H, Poore J H, Trammell C J. Statistical testing of software based on a usage model[J]. Software- Practice and Experience, 1995,25( 1 ) :97 - 108.
  • 5颜炯,王戟,陈火旺.基于UML的软件Markov链使用模型构造研究[J].软件学报,2005,16(8):1386-1394. 被引量：29
  • 6Dultz W. MaTeLo-statistical usage testing by annotated sequence diagrams, Markov chains and TTCN-3 [C]//Third International Conference on Quality Software. Dallas, Texas, USA, 2003:336-345.
  • 7Kallepalli C, Tian J. Measuring and modeling usage and reliability for statistical Web testing [J]. IEEE Transactions on Software Engineering, 2001,27 ( 11 ) : 1023 - 1036.
  • 8Poore J H, Walton G H, Whittaker J A. A constraint-based approach to the representation of software usage models [J]. Information & Software Technology,2000, 42(12) :825 - 833.
  • 9Gutjahr W J. Importance sampling of test cases in Markovian software usage models [ J ]. Probability in the Engineering and Informational Sciences, 1997,11: 19 -36.
  • 10袁亚湘 孙文渝.最优化理论与方法[M].北京：科学出版社,1999..

二级参考文献13

  • 1Prowell SJ, Trammell CJ, Linger RC, Poore JH. Cleanroom Software Engineering: Technology and Process. Addison-Wesley,1999.
  • 2Yan J, Wang J, Chen HW. Automatic generation of Markov chain usage models from real-time software UML models. In: Ehrich HD, Schewe KD, eds. Proc. of the 4th Int'l Conf. on Quality Software. Los Alamitos: IEEE Computer Society Press, 2004.22-31.
  • 3Binder RV. Testing Object-Oriented Systems: Models, Patterns and Tools. Addison Wesley Longman, Inc., 1999.
  • 4Rumbaugh J, Jacobson I, Booch G. The Unified Modeling Language Reference Manual. Addison Wesley Longman, Inc., 1999.
  • 5Briand L, Labiche Y. A UML-based approach to system testing. Software and System Modeling, 2002,1(1): 10-42.
  • 6Regnell B, Runeson P, Wohlin C. Towards integration of use case modeling and usage-based testing. Journal of Systems and Software, 2000,50(2):117-130.
  • 7Riebisch M, Philippow I, G(o)tze M. UML-Based statistical test case generation. In: Aksit M, Mezini M, Unland R, eds. Proc. of the Int'l Conf. NODe 2002. LNCS 2591, Heidelberg: Springer-Verlag, 2003. 394-411.
  • 8Beyer M, Dulz W, Zhen F. Automated TTCN-3 test case generation by means of UML sequence diagrams and Markov chains. In:Proc. of the 12th Asian Test Symp. Los Alamitos: IEEE Computer Society, 2003. 102-106.
  • 9Douglass BP. Real-Time UML: Developing Efficient Objects for Embedded Systems. 2nd ed., Pearson Education, Inc., 2000.
  • 10Damm W, Harel D. LSCs: Breathing life into message sequence charts. In: Ciancarini P, Fantechi A, Gorrieri R, eds. Proc. of the 3rd Int'l Conf. on Formal Methods for Open Object-Based Distributed Systems. Kluwer Acdemic Publisher, 1999. 293-312.

共引文献96

同被引文献20

  • 1I.yu M R. Software Reliability Engineering: A Roadmap [C] // Proe of Future of Software Engineering. Washington: IEEE Computer Society, 2007 : 153-170.
  • 2Wang Wen-li, Pan Dai, Chen Meihwa. Archilcclurc Dascd sofl ware reliability modeling[J]. Journal of Systems and Software, 2006,79(1).-132-146.
  • 3Katerian G P, Trivedi K S. Architecturc based approaches m software reliability prediction[J]. Computers and Mathematics with Applications, 2003,46 : 1023-1036.
  • 4Johnston W M, Hanna J R P, Millar R J. Advances in Dataflow Programming Languages[J]. ACM Computing Surveys, 2004,36(1):1-34.
  • 5LABVIEW. 2000. LabView User Manual[OL]. ustin, TX: Na tional Instruments, A2000.
  • 6Wesley M, Hanna P J R, Richard M J. Advances in dataflow programming languages[J]. Advances in Dataflow Programming Languages, 2004,36 (1) : 1-34.
  • 7Jurij S, Borut R, Theo U. Asynchrony in parallel computing: From data/low to multithreading[J]. Journal of Parallel and Dis tributed Computing Practices, 1998,1:1-33.
  • 8John D. Musa. Operational profiles in software-reliability engineering[ J ] .IEEE Software, 1993,10(2) : 14-32.
  • 9H D. Mills, M Dyer, R C. Linger. Cleanroom Software Engi- neering [ J ]. IEEE Software, 1987 (9) : 19-24.
  • 10J A. Whittaker, J. H. Poore. Statistical testing for Cleanroom Software Engineering [ C j//Hawaii International Conference on System Sciences, 1992.

引证文献3

二级引证文献2

东南大学学报（自然科学版）
2008年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部