一种并发程序可测试性分析框架

来源 :计算机学报 | 被引量 : 0次 | 上传用户:chenbenxia
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件可测试性是对测试软件难易程度的预测,在测试、度量等许多领域中得到了广泛应用.由于并发程序执行的不确定性,其可测试性分析尚有很多难点有待解决.该文提出了一种并发程序可测试性分析框架.在充分分析程序内部数据流、控制流以及并发和同步对数据流和控制流影响的基础上,从单个并发单元、并发因素、共享变量因素及通信关系4个方面对并发程序的可测试性进行了分析,为综合度量并发程序的可测试性提供了依据.
其他文献
目的探讨经麦氏点皮纹横切口切除阑尾的临床应用效果。方法本样本回顾分析2009年1月至2009年12月180例行右下腹麦氏横切口阑尾切除术患者临床资料。结果横切口组手术时间、下
目的通过对凯妮汀联合保妇康栓治疗妊娠期外阴阴道假丝酵母菌病的临床观察,寻找一种方便、安全的治疗方法,并与同道交流经验。方法随机分组,对比研究。结果凯妮汀联合保妇康
在市场经济的新形势下,企业怎样在竞争中,打硬仗,站稳脚,创效益,求发展?我认为关键是要争创名牌产品,实施名牌战略。只有创出一批名牌产品,企业不仅效益会越来越好,而企业在
目的探讨泌尿外科新的微创手术方法,经皮肾镜钬激光碎石术的护理。方法通过对46例经皮肾镜钬激光碎石术患者的护理,总结对于该类手术前、后护理要点。结果手术过程顺利,取石
臂丛神经阻滞麻醉下行上肢手术患者,常处于清醒状态,紧张,术中知晓不可避免,止血带的应用及手术牵引也会给患者带来不适。本人在此类麻醉中应用咪唑安定复合芬太尼取的满意效
作为产学研相结合的一种思路,大学与企业的强强合作在业界多有证实。2006年4月10日,清华(精仪系)—山高刀具(上海)合作仪式在清华大学精仪系4楼会议室举行。清华精仪系不仅是中国第
该文对一类离散Hopfield联想记忆神经网络的渐近行为进行了讨论,首先提出这类I/O函数取为Sigmoid型函数的离散Hopfield联想记忆神经网络的数学模型,讨论并给出了这种模型的一
建立现代企业制度有多种形式。其中,对国有中小型企业实行国有民营,是比较可行的一种选择。 一、国有民营的特征 国有民营确切的说是一种“国家所有,职工个人承包经营”的责
2007年6月20日,德国卡迪纳斯(CADENAS)有限公司和机械科学研究总院中机生产力促进中心联合举办了“CADENAS中国市场产品发布会”,向来自业界的140余名代表隆重推介了处于全球领先
目的探讨肺结核伴咯血的临床护理方法。方法回顾我科室收治的61例肺结核并咯血患者,经过心理、咯血及咯血窒息等护理,总结有效地护理措施。结果经过护理,2例患者大咯血抢救不