论文部分内容阅读
将MDA中模型驱动的软件代码自动化生成思想应用于模型驱动的软件测试用例自动化生成。从UML／OCL模型出发，采用缺陷测试理论、变异分析技术，结合约束处理规则，开发一个可以自动生成单元测试用例的框架，提高软件测试的自动化程度，从整体上提高软件的开发效率。
基于MDA的软件测试用例生成
【摘 要】
：
将MDA中模型驱动的软件代码自动化生成思想应用于模型驱动的软件测试用例自动化生成。从UML／OCL模型出发，采用缺陷测试理论、变异分析技术，结合约束处理规则，开发一个可以自动生
【机 构】
：
浙江理工大学信电学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年17期
其他文献
根据简单网络时间协议（SNTP）和IEEE1588精密时间协议的同步原理。研究了EPA协议中时间同步的测试方法与实现：提出了测试EPA时间同步的方法和系统结构；设计了EPA时间同步的测试流
结合粗糙集理论和遥感数据中地物光谱特征空间分布信息,提出了一种基于光谱特征邻域的容差粗糙集分类方法,用来处理卫星遥感数据分类中的不确定性问题。利用北京地区Landsat-5 TM数据进行分类试验,对算法分类过程进行讨论及其分类结果进行验证分析;结果表明:文中方法在可理解性和稳定性上体现出比较好的性质,能够有效处理卫星遥感数据分类中存在的不确定性因素,在具有复杂光谱特征地物分类方面具有发展潜力。
提出了对流密码算法的一种改进的区分攻击方法。首先利用隐Markov模型给出了有效计算的输出序列在一个特定的事件发生的情况下的条件分布的公式，并由此构造了一个“最优”区分
由安徽省化肥工业协会组织的2011年我省化肥系统省人大代表和政协委员座谈会于2011年元月16日下午三点半在合肥四方宾馆顺利召开,出席会议的还有省直有关化工系统的负责同志
利用 2006-2015 年逐日气象观测资料,对机场预选址区域的温度、湿度、降水量、风向风速、能见度和灾害性天气等对机场选址有影响的天气气候条件进行了统计分析. 研究结果表明
为了为高速生产线上的带钢表面缺陷的实时检测提供有利的条件．对已有的19维特征向量通过顺序后退法选择了混合加权的9维特征向量，选用RBF神经网络作为分类器，通过对现场采集的带
使用Protégé作为知识建模工具开发汽车制造领域本体，以Jena为开发平台运用基于本体的语义检索技术和规则推理实现订单的自动生成．开发了一套基于本体的汽车零部件采
针对基于PVM的由桌面PC机联网而成的网络并行计算环境中，处理机的运算速度较快而处理机间的通信相对较慢的实际情况．给出了一种局域网求解三角形方程组的并行算法，该算法将三角
原料气中硫化物的存在,不仅使管道和设备腐蚀,而且使催化剂中毒。湿法脱硫是比较成熟的半水煤气脱硫工艺,也是比较常用的半水煤气脱硫技术。主要介绍了半水煤气湿法氧化脱硫
摘 要 我国作为水稻种植大国，水稻种植的面积占据世界首位。我国同样是人口大国，需要充足的粮食作为保障。近年来，我国水稻种植技术取得了较大的突破，各种高产杂交水稻逐渐得到开发与种植，我国目前水稻种植现状及发展形势较好。我国在追求水稻高产的基础上，也注重绿色环保的理念，重视环境的保护与资源的节约，提出不仅要确保水稻的产量和质量，还要重视水稻种植过程中污染物排放的控制。就水稻清洁种植技术的推广进行研究，