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.     

三维网格动画的几何视频压缩方法

介绍了一种新颖的数据压缩方法,通过频压缩方法进行压缩,同时提出了一个全新的保形自适应采样算法,并利用该算法对原始的几何视频压缩方法进行了改进,在采样误差不变的前提下,改进方法的采样率可以更低,从而可具有更高的压缩比.完整实现了上述方法并利用实例对其进行了验证,实验结果表明此方法是切实可行的.     

实时Linux操作系统的研究与设计

随着PC系统价格的降低、性能和可靠性的不断提高以及控制领域对操作系统的Linux的推出 ,无疑为用户开发实时、嵌入系统提供了机遇 首先讨论了通用与实时操作系统的区别 ,然后介绍了在Linux内核与硬件中断之间增加一个实时内核的方法来提供中断仿真、实时任务调度等功能 ,最后讨论了实时任务的设计 图 1 ,参 7     

Linux 可加载模块应用

基于如何灵活地进行Ｌｉｎｕｘ 内核程序设计是扩展操作系统功能的一个重要方面－ 首先通过详细剖析了Ｕｎｉｘ 、Ｌｉｎｕｘ 的驱动程序结构,说明了如何利用Ｌｉｎｕｘ 的可加载模块技术设计针对特定设备的驱动程序;此外,进一步探讨了如何利用可加载模块技术截获并替换系统默认的系统调用,从而满足Ｌｉｎｕｘ 在不同特定环境的需要－ 参５