论文部分内容阅读
针对由于并发程序的行为不可控而导致难以对其进行测试的问题,提出了一种控制C程序中并发行为的方法。该方法以多线程同步为基础,使用测试序列和测试单位完成对并发行为的控制。在此基础上,实现了对C程序测试活动中并发行为控制的工具支持,以生产者-消费者为例说明了使用此工具进行测试活动,并讨论了其效率。
C程序并发行为控制方法及其测试工具支持
【摘 要】
：
针对由于并发程序的行为不可控而导致难以对其进行测试的问题,提出了一种控制C程序中并发行为的方法。该方法以多线程同步为基础,使用测试序列和测试单位完成对并发行为的控
【机 构】
：
湖南省对外经济贸易职业学院
【出 处】
：
电脑编程技巧与维护
【发表日期】
：
2010年14期
其他文献
目的研究老年抑郁对胃排空及胃肠激素的影响。方法采用慢性轻度不可预见性的应激,结合孤养制备抑郁大鼠模型,放免法检测血浆胃肠激素含量,以酚红法观察胃排空。结果与正常组
本文通过对PCI总线的分析，以及Windows操作系统读写端口的知识，解决工程上如何读取PCI总线挂接芯片的信息，解决无法识别当操作系统没有安装正确的驱动程序时，如何正确找到该PCI挂
园林在我国有着悠久的历史，随着时间的改变，时代的不同，我国园林规划的理念与设计思想都已经有了翻天覆地的变化，包括它所在的中国传统文化的承载也发生了巨大的变化，通过实践研究
随着人类文明的发展、人权意识的增强和刑罚人道性的认同,世界各国刑罚结构趋轻化的改革已成为主流。而我国以死刑和自由刑为主导地位的重刑结构受到学界质疑,当代我国刑罚结
公司机会规则是英美法系公司法中的一个重要理论。我国2005年新修订的《中华人民共和国公司法》将“公司机会原则”正式引入我国的法律体系,填补了一项法律空白,但如何将这一