Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for progrmnming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program-based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J-complexity 0; J-complexity 1 ; J-complexity 1 ; J-complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.     

利用补偿收缩混凝土进行建筑物缺陷预防及防水处理

利用补偿收缩混凝土产生的预压应力,可有效的防止建筑物裂缝缺陷的产生及对建筑物进行防水处理。     

对我国离婚法定理由的实践考察

原婚姻法关于离婚标准存在着表达的理论缺陷和执行的实践障碍,殊有修改的必要。新婚姻法在坚持"感情破裂"论的前提下,采用概括与列举相结合的表达形式,确立了离婚的法定理由。在新的标准中,"感情确已破裂"与"调解无效"的关系,"因感情不和分居满二年的"认定,"共同生活"与"夫妻关系"的本质与反映的内容都值得研究与考量。     

大学生对课外活动形式所持态度的调查与分析

体育课程不仅包括"课堂"教学,而且包括课堂外的各种教学活动。课外活动是体育课的必然延伸,在教师的指导下,有计划、有组织地开展好课外、校外体育活动,使学生具有体育锻炼的自觉性和自主锻炼的能力,是为学生终生体育打下基础的需要,是落实《全民健身计划》的需要。     

浅析森林生态效益补偿制度

从森林生态效益补偿制度的概念入手，分析了我国目前森林生态效益补偿制度的现状和存在的缺陷，并提出了几点完善的建议。     

从混凝土生产的角度谈通用水泥标准

笔者根据自己十几年在混凝土生产中对水泥的认识,从一个混凝土工作者的角度,对混凝土企业需用什么样的水泥,水泥标准的变化对混凝土生产的影响以及混凝土企业应采取的措施等问题,提出些意见和建议,希望能对从事混凝土生产的工程技术人员对水泥行业有一个更清楚的了解认识,避免错误。     

嘉宾发言集粹

韩俊信息产业部科技司副司长标准的制定需要联合信息化是服务公正化、政务公开化、信息网络化,但这"三化"都离不开标准化。我认为有利于三化建设,有利于信息共享,有利于互联互通的标准,都是适合电子政务的标准。     

新课程标准下数学教学论教学中案例教学法的实施

案例教学作为一种行之有效的教学方法,是体现新课程标准思想性、人文性、实践性、综合性等特点的重要途径,在数学教学论教学中,恰当运用案例教学法,让师范生在接近真实的情境中学习,有利于培养师范生的学习能力、研究能力、团队合作能力和创新能力,增强师范生对未来工作的适应能力。     

静止无功功率补偿技术

静止无功功率补偿技术以现代电力电子技术为基础采用晶闸管投切方式,吸收和发出无功电流与系统进行无功功率交换,响应速度快,稳定系统电压,抑制系统振荡.     

目的论指导下的新闻英语编译

针对传统的翻译标准"忠实"、"等值"无法解释新闻翻译中必要的摘译、编译等现象,以德国功能学派翻译理论家H. J.弗米尔 (H. J. Vermeer) 提出的"目的论"为切入点,探讨了目的论在新闻翻译中的应用,目的论的提出拓宽了翻译理论研究的领域.