【摘 要】
：
面向服务的软件体系结构近年来不仅在民用领域得到广泛应用,也越来越多地应用于军用装备软件系统研制。服务化软件的测试技术得到了越来越多的关注。传统的服务化软件测试工
【机 构】
：
南京航空航天大学计算机科学与技术学院,软件新技术与产业协同创新中心
【基金项目】
：
国防基础科研计划资助项目(JCKY2016206B001,JCKY2014206C002);江苏省政策引导类计划(产学研合作)资助项目(BY2016003-02)
论文部分内容阅读
面向服务的软件体系结构近年来不仅在民用领域得到广泛应用,也越来越多地应用于军用装备软件系统研制。服务化软件的测试技术得到了越来越多的关注。传统的服务化软件测试工具大多关注于测试流程的自动化,在测试用例的自动生成等方面,还远不够成熟。现有测试技术和工具尤其难以表达真实应用中的业务逻辑规则,给生成高质量的测试带来许多困难。鉴于此,研发了一款针对服务化系统的软件测试原型工具。该工具运用一阶逻辑公式表达业务逻辑约束,基于Z3SMT约束求解器生成测试用例、进行故障注入等,使得测试数据的生成更契合待测软件业务特征,为
其他文献
随着社会治理法治化进程不断推进,政府社会治理法治化研究成为国家治理体系构建和全面依法治国建设的重要研究领域。陶林新著《服务型政府视角下的政府社会治理法治化研究》
传统插画的意义,都是建立在以文字文本作为信息传达主要载体的基础上,其生存和发展完全依赖于书籍的需求。随着时代的发展,以插画本身作为视觉交流语言的作品逐渐增多,插画也
为了从根本上解决燃油式火化机的能耗问题,采用理论计算与现场试验相结合,利用蓄热式烟气余热回收技术对火化机结构装置进行改进。该技术不仅取代了二燃室,而且简化了后处理
＂化美为媚＂是莱辛在《拉奥孔》中的重要观点,该观点的提出基于莱辛的＂诗画异质＂说。＂化美为媚＂即是将造型艺术中所呈现的令人愉悦的、适中的、平静的＂美＂变化为诗歌艺术中所呈现的令
<正> 生物机体是由化学元素组成的。有些元素在体内含量甚少,仅占体重的0.05％左右,如铁、铜、锌、钼等,称为微量元素。由于微量元素的种类不同,其作用各异,有些是必需的(微量
随着计算机多媒体技术的日趋成熟与普及，多媒体课件在教学中的作用也日益明显。制作多媒体课件也就成为教师必须掌握的一门技术。制作多媒体课件首先要确定课题，准备课件制作的
以市场经济、日常生活、全球化和虚拟空间为主的当代世俗化生活语境具有金钱至上的庸俗性、娱乐至上的粗俗性、西方至上的媚俗性和情感宣泄至上的恶俗性等负面的庸俗化话语特
为了能使多波段光源技术得到广泛应用，笔者使用1，10-菲哕啉为原料，改用碱性条件下，以1，4-二氧六环和水为混合溶剂，高锰酸钾（KMnO。）为氧化剂，合成了对汗液指纹能产生良好荧光的4，5-二气
下班回家时,空调已经提前自动开启,屋内温度适宜;准备做饭取食材时,冰箱通过大屏幕主动提醒有食物将过保质期,并提示是否要加购即将用完的食材;睡前洗浴时,电热水器已经烧好
近些年来,Clicker系统在国外大规模班级的科学教育中广泛应用且收效甚佳。论文回顾了Clicker系统的发展历程及其在科学教育中的应用现状,分析了Clicker与交互式学习、形成性