Component testing research based on contract checking Click Copy

Component testing research based on contract checking

References:

[1] 史浩辉,何 炜.基于构件的指控软件复用[J].计算机技术与发展,2011,21(2):159-161. SHI Hao-hui,HE Wei.Component-based command control software reused[J].Computer Technology and Development,2011,21(2):159-161.
[2] Briand L C,Labiche Y,Swka M M.Automated,contract-based user testing of commercial-off-the-shelf components[C]//Proceedings of the 28th International Conference on Software Engineering ACM,2006:92-101.
[3] 余金山,刘志伟.一种基于内置合约检查和可配置接口的软构件测试技术[J].计算机应用研究,2011,28(5):1 756-1 760. YU Jin-shan,LIU Zhi-wei.Software component testing technique based on built-in contract checking and configurable interface[J].Application Research of Computers,2011,28(5):1 756-1 760.
[4] 刘友生,陈剑平,陈一平.自适应Web后台数据管理构件的设计与实现[J].西安科技大学学报,2008,28(4):766-770. LIU You-sheng,CHEN Jian-ping,CHEN Yi-ping.Design and realization of management component of adaptive background data based on Web[J].Journal of Xi'an University of Science and Technology,2008,28(4):766- 770.
[5] Meyer B.Object-oriented software construction[M].Prentice Hall,1997.
[6] 叶婷婷,王映辉.一种基于AOP的构件合约化测试方法与实现[J].计算机技术与发展,2012,22(6):71-74. YE Ting-ting,WANG Ying-hui.A Contract testing method and implementation based on AOP for component software[J].Computer Technology and Development,2012,22(6):71-74.
[7] 陈锦富,卢炎生,谢晓东.软件错误注入测试技术研究[J].软件学报,2009,20(6):1 425-1 443. CHEN Jin-Fu,LU Yan-Sheng,XIE Xiao-Dong.Research on software fault injection testing[J].Journal of Software,2009,20(6):1 425-1 443.
[8] 韦 群,王 珏.软件缺陷及其对软件可靠性的影响分析[J].计算机应用与软件,2011,28(1):145-149. WEI Qun,WANG Jue.Software defects and analysis of its impact upon software reliability[J].Computer Applications and Software,2011,28(1):145-149.
[9] 赵 硕.构件的形式化描述及其组合研究[D].杭州:浙江师范大学,2012. ZHAO Shuo.Research on component formal semantic and combination[D].Hangzhou:Zhejiang Normal University,2012.
[10]戚艳军,龚尚福.用户角色的XML动态加密方法研究[J].西安科技大学学报,2012,32(1):101-106. QI Yan-jun,GONG Shang-fu.Dynamic encryption of XML based on user roles[J].Journal of Xi'an University of Science and Technology,2012,32(1):101-106.
[11]丁雪芳,张 锐.一种基于场景的轻量级软件架构分析方法[J].西安科技大学学报,2011,31(5):636-641. DING Xue-fang,ZHANG Rui.A scenario-based software architecture analysis method[J].Journal of Xi'an University of Science and Technology,2011,31(5):636- 641.
[12]付立东.一种对分划分的复杂网络社团检测方法[J].西安科技大学学报,2012,32(5):648-651. FU Li-dong.Detecting of communities in complex networks with two partitioning approach[J].Journal of Xi'an University of Science and Technology,2012,32(5):648-651.
[13]张毅坤,叶 涛,邢传玉.面向构件化软件的合约检查测试框架[J].计算机工程,2006,32(20):78-80. ZHANG Yi-kun,YE Tao,XING Chuan-yu.Contractch-ecking test framework for component-based software[J].Computer Engineering.2006,32(20):78-80.
[14]丁晓明.基于构件的软件开发关键问题研究[D].重庆:西南大学,2012. DING Xiao-ming.Research about key problems of component based on software development[D].Chongqing:Southwest University,2012.
[15]蔡立志,阎 婷.大数据背景下软件测试的挑战与展望[J].计算机应用与软件.2014,31(2):5-8. CAI Li-zhi,YAN Ting.Challenge and prospect on software test under big data background[J].Computer Applications and Software,2014,31(2):5-8.
[16]付剑平,陆民燕.软件测试性设计综述[J].计算机应用,2008,28(11):2 915-2 918. FU Jian-ping,LU Min-yan.Survey of software design for testability[J].Computer Applications,2008,28(11):2 915-2 918.
[17]王世安.基于敏捷开发的构件化软件可靠性研究[J].微电子学与计算机,2011,28(3):119-122. WANG Shi-an.Research on component-based software reliability based on agile development[J].Microelectronics & Computer,2011,28(3):119-122.
[18]林海波.多参数模拟密封舱测控系统与参数影响分析[J].西安科技大学学报,2010,30(6):744-749. LIN Hai-bo.Multi-parameter simulate hermetic cabin control system and its parameters impact analysis[J].Journal of Xi'an University of Science and Technology,2010,30(6):744-749.

Memo

基金项目:国家自然科学基金(61272284); 陕西省教育厅自然科学专项(2013JK1202)
通讯作者:赵艳妮(1982-),女,陕西蓝田人,讲师,E-mail:56630349@qq.com