版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
面向构件接口变异的模型检验技术研究
A Research on Model Checking for Interface Mutation of Component作者机构：解放军理工大学指挥自动化学院江苏南京210007 中国电子系统设备工程公司研究所北京100141 西安体育学院陕西西安710068
出 版 物：《电脑知识与技术（过刊）》 (Computer Knowledge and Technology)
年 卷 期：2010年第16卷第3X期
页 面：1954-1956页
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
主 题：模型检验 变异测试 接口交互 Java Pathfinder
摘 要：随着构件技术在软件开发中的广泛应用,人们对构件化软件系统质量的要求也在不断提高。该文运用模型检验技术进行接口变异测试的相关研究工作。该文首先详细介绍了基于模型检验技术的变异测试的基本原理,随后通过对构件集成时接口之间的交互关系进行分析后,提出了通过构造接口函数调用关系模型进行基于模型检验的接口变异测试方法。最后,通过实例进行了对JavaBean构件的接口测试用例的自动生成。
