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.     

张峰水库一干1号至4号隧洞工程地质条件评析

以野外第一手资料为基础，参照岩土物理力学性质参数，对张峰水库一干1号至4号隧洞围岩进行了工程地质条件的分析与评价。     

Homology Priority Task Scheduling in μC/OS-Ⅱ Real-Time Kernel

μC/OS-Ⅱ is an open source real-time kernel adopting priority preemptive schedule strategy. Aiming at the problem of μC/OS-Ⅱ failing to support homology priority tasks scheduling, an approach for solution is proposed. The basic idea is adding round-robin scheduling strategy in its original scheduler in order to schedule homology priority tasks through time slice roundrobin. Implementation approach is given in detail. Firstly, the Task Control Block （TCB） is extended. And then, a new priority index table is created, in which each index pointer points to a set of homology priority tasks. Eventually, on the basis of reconstructing μC/OS-Ⅱ real-time kernel, task scheduling module is rewritten. Otherwise, schedulability of homology task supported by modified kernel had been analyzed, and deadline formula of created homology tasks is given. By theoretical analysis and experiment verification, the modified kernel can support homology priority tasks scheduling, meanwhile, it also remains preemptive property of original μC/OS-Ⅱ.     

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

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

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

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

论述GPS测高的限制性与可行性

分析了GPS测高的制约因素,并论述了GPS测高的可行性。     

建立电力营销数据分析系统

结合凯里供电局电力营销工作的实际,以电量销售、电费回收、线损率等营销指标为监控重点,建立销售数据分析系统,客观的分析营销工作中的重点难点,客观公正地评价下属业绩,导入竞争机制从而能更有针对性的解决问题.     

昔阳县水峪水库病险改造的环境影响评价

水库除险加固工程对环境的不利影响主要表现在施工期,但这些影响都是短期的且经过相应的措施处理后基本可以避免.运行期对周边环境是有利的,水库的安全性增强,风险性减少,防洪能力增强,能更好地发挥经济、社会、环境效益.     

嘉宾发言集粹

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

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

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