一种引入CSPE的构件化软件合约检查测试方法

An Contract-Check Component Testing Method Use CSPE

下载PDF

导出

摘要本文分析当前构件化软件集成测试面临的问题,根据合约检查的构件软件测试理论,提出了一种引入CSPE的构件化软件合约检查测试方法。介绍了合约检查测试概念和CSPE理论,给出了如何使用CSPE生成测试序列的方法,描述了用该方法进行测试的过程,最后给出了一个实例说明方法的使用。

作者雷梁曹晋阳徐涛

机构地区信阳师范学院计算机系

出处《光盘技术》 2007年第5期41-43,共3页 CD TECHNOLOGY

基金河南省教育厅自然科学基金项目(2006520012)。

关键词构件集成测试 CSPE 规约测试序列 Component Integration Testing CSPE Contract Test Sequence

参考文献6

1张毅坤,叶涛,邢传玉.面向构件化软件的合约检查测试框架[J].计算机工程,2006,32(20):78-80. 被引量：5
2[2]Y Jiang,SS Hou,JH Shan,L Zhang.Contract-Based Mutation for Testing Components,Software Maintenance.Proceedings of the 21st ICSM'05.
3[3]FJ Daniels,KC Tai.Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints.Technology of Object-Oriented Languages and Systems,1999
4[4]B Karacali,KC Tai.Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs.Software Engineering for Parallel and Distributed Systems,1999
5[5]PO Ammann,JH Huang.Coverage Criteria For Logical Expressions,Software Reliability Engineering,2003
6[6]Clemens Szypershi,Dominik Gruntz,StephanMurer著,王千祥译.构件化软件-超越面向对象的编程[M].北京:电子工业出版社,2004

1Meyer B.Object-oriented Software Construction[M].Prentice Hall,1997.
2Adrita B.Software Component Testing Strategies[R].Dept.of Information and Computer Science,University of California,2001.
3Yoonsik C,Leavens G T.A Runtime Assertion Checker for the Java Modeling Language(JML)[C].Proc.of Software Engineering Research and Practice.CSREA Press,2002:322-328.
4Jerry G.Component Testability and Component Testing Challenges[C].Proceedings of Sofware Testing,Analysis and Review 1999.
5Mariani L.Behavior Capture and Test:Dynamic Analysis of Component-based Systems[D].Milano Bicocca:Universit'A Degli Studi Di,2005.

光盘技术

2007年第5期

内容加载中请稍等...