题名 蜕变测试和断言检查的比较与实验研究(英文)
被引量:2
1
作者
张震宇
陈荣光
谢 俊 谦
胡佩锋
机构
香港大学计算机科学系
香港城市大学电脑科学系
招商银行香港分行
出处
《软件学报》
EI
CSCD
北大核心
2009年第10期2637-2654,共18页
基金
Supported by the grants of the Research Grants Council of Hong Kong under Grant Nos.111107,717308
the Australian Research Council under Grant No.DP0984760
on Foundations of Software Engineering(SIGSOFT2006/FSE-14)~~
文摘
在软件测试中,测试预言是一种用于检查程序在测试中是否正常运行的机制.然而在某些实际情况下,还无法制定测试预言或者难以有效地应用测试预言.针对此类测试预言问题,蜕变测试于近年应运而生,但蜕变测试的效率问题还没有被充分地加以研究.作者用控制实验的方法研究了使用蜕变测试的成本及效率,进而将蜕变测试和常用的断言检查两种方法的错误检测率和时间成本进行了比较和分析.实验结果表明,相比于断言检查方法,蜕变测试具有检测到更多错误的潜力.通过分析蜕变测试的效率和性能,与断言测试相比,蜕变测试的错误检测率更高效而效率有待提高,可适用于较为粗粒度的测试需求.
关键词
蜕变测试
断言检查
测试预言
控制实验
实验研究
Keywords
metamorphic testing
assertion checking
test oracle
controlled experiment
empirical evaluation
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 教师应该拥有的“四业”追求
被引量:1
2
作者
谢 俊 谦
机构
山东济宁市任城区安居中心小学
出处
《教书育人(教师新概念)》
2017年第4期34-35,共2页
文摘
教师这个职业干得越久越觉得它弥足珍贵,越临近退休越感受到它的魅力,就像百年老窖,时间越长越透着醉人的芳香。因此,我想说,当教师就应该做学生喜欢的教师,干教育就应该拥有自己的“四业”追求。一、乐业喜欢自己所从事的职业是干好工作的前提。央视播出的《大国工匠》中的每一位工匠无一例外都是挚爱、执着、精益求精的。没有喜欢,就没有爱。喜欢不是停留在口头上,而是发自内心的,镌刻在脑海里,落实在行动中。
关键词
教师
职业
工匠
学生
教育
内心
分类号
G625.1
[文化科学—教育学]
题名 学校管理者需要修炼的“四项基本功”
3
作者
谢 俊 谦
机构
山东济宁市任城区安居中心小学
出处
《教书育人(校长参考)》
2021年第3期11-12,共2页
文摘
要管理好一所学校,管理者不仅需要拥有管理智慧和管理能力,还需要积极修炼“四项基本功”。而学校管理者除了要修炼好“四项基本功”外,更需要有环境熏陶、人格感化、风气驱使、价值引领、精神感召和意义赋予。
关键词
修炼
头功
眼功
腿功
腰功
分类号
G627
[文化科学—教育学]
题名 学校功能室如何走出“冬眠”的困境
4
作者
谢 俊 谦
机构
山东济宁市任城区安居中心小学
出处
《教书育人(校长参考)》
2021年第7期18-19,共2页
文摘
学校各类功能室若要走出“冬眠”的困境,首先,需要做到转变教育观念,更新管理理念;其次,学校制度跟进,制度制约;再次,培养管理员的责任心、事业心;最后,学校管理者必须拥有世界格局、国际视野、生命至上的育人观。总之,学校各类功能室若要真正走出“冬眠”的困境,关键在人。
关键词
转变观念
更新理念
制度制约
分类号
G627
[文化科学—教育学]
题名 教师如何营造好自己的精神生活
5
作者
谢 俊 谦
机构
山东济宁市任城区安居中心小学
出处
《教书育人(教师新概念)》
2018年第11期42-43,共2页
文摘
人在社会中生存、生活离不开物质生活和精神生活,即便是原始人类在获取基本生存所需的物质后,还知道手舞足蹈地庆贺,还知道结绳记事或刻木记事……这或许就是人内心深处对精神生活的最本质需求吧?物质生活与精神生活互为倚重,两者不能偏废,精神世界的侏儒远比物质生活的贫穷更为可怕。物质生活富裕的人如果离开精神生活的滋养,人们就用“内心空虚”一词来表述,用“纸醉金迷”来形容,用“醉生梦死”来比喻。
关键词
精神生活
物质生活
教师
结绳记事
原始人类
精神世界
生活富裕
内心
分类号
G625.1
[文化科学—教育学]
题名 校长,请您长话短说
6
作者
谢 俊 谦
机构
山东济宁市任城区安居中心小学
出处
《教书育人(校长参考)》
2018年第4期72-72,共1页
文摘
长话短说是成功管理的大趋势,更是人与人沟通的必需。当然,说短话与说长话的目的都是为了管理效果。但是给人的印象中,思路清晰,要点清楚,说短话的管理效果往往更佳。
关键词
校长
长话
短说
分类号
G627.1
[文化科学—教育学]
题名 “教学相长”为什么常常“短路”
7
作者
谢 俊 谦
机构
山东济宁市任城区安居中心小学
出处
《教书育人(教师新概念)》
2019年第2期44-44,共1页
文摘
教师要做到"学而不厌,诲人不倦",真正践行"教学相长",需要避免许多问题,并走向"教学相长"的正途,不停地"充电"且不"短路"。
关键词
教学相长
教师发展
短路
职业道德
分类号
G625.1
[文化科学—教育学]
题名 自然课课堂提问三原则
8
作者
刘娟
谢 俊 谦
机构
济宁市任城区安居镇中心小学
出处
《山东教育》
1997年第19期40-40,共1页
关键词
课堂提问设计
自然课
物体的热胀冷缩
乒乓球
培养学生
自然教学
设计实验
知识教学
教师
小学生
分类号
G623.6
[文化科学—教育学]