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.     

基于Web Wervices的协同商务研究

针对企业异构平台上不同系统之间信息收集，归纳，整合和传播的困难性，提出一个以Web Service为核心之电子化企业协同合作架构，迅速的建立起电子企业伙伴间的沟通桥梁，以解决企业信息系统间信息无法沟通，规格错误或传递效率低下的问题，进而提升企业体系的整体竞争优势。     

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

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

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

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

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

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

嘉宾发言集粹

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

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

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

论Web网络应用程序开发的安全策略

Web网络应用程序开发中,安全性是要考虑的关键问题。文章通过一系统的开发,从系统规划阶段、设计开发阶段、发布运行阶段三个方面详细阐述其安全策略,总结出如何充分利用ASP.NET的安全机制、数据库安全控制来增强管理员网络安全防范意识,构建一个性能安全的Web应用程序。     

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

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

泛Loeb可测集的S-饱和性

在 K-饱和的非标准模型中,研究了泛 Loeb 可测集 m(A),pns(~*X),cpt(~*X),fin(~*X),ns(~*X)的 S-饱和性.当 A 是紧致 Hausdorff 空间 X 的子集时,得到了 st~(-1)(A)是标准集的充分条件.