论文部分内容阅读
测试和形式化的正确性验证是软件质量保证的两种重要技术,而软件审查技术在效果上优于测试,在应用的要求上少于形式化的验证.该文详细论述了软件质量审查技术和软件审查的优点,并讨论了审查技术在效果和适应性方面进行改进的进展.
软件质量审查技术及进展
【摘 要】
：
测试和形式化的正确性验证是软件质量保证的两种重要技术,而软件审查技术在效果上优于测试,在应用的要求上少于形式化的验证.该文详细论述了软件质量审查技术和软件审查的优
【机 构】
：
合肥工业大学
【出 处】
：
电子质量
【发表日期】
：
2004年1期
其他文献
钾是体液中无机盐的主要成分，是维持人体细胞新陈代谢，维持细胞内渗透压和谁的动态平衡重要电解质。临床上由于疾病或药物的作用等会使机体失钾，低血钾症是一种常见的电解质紊乱
记者5月10日从福建省中检所获悉，中国电池工业协会日前发布了“2005年部分氢镍电池产品质量市场购样比较检测结果”，本次检测结果表明，国内品牌与国外同类产品相比，质量、性能等
根据水稻黑条矮缩病毒(RBSDV)侵染玉米(Zea mays L.)的症状发展过程先后取叶脉做超薄切片,在透射电镜下观察病毒在细胞内的侵染状态,并在取样前用灰飞虱无毒若虫进行饲毒和传
辫接导线引起的电磁泄露,是屏蔽视频电缆泄漏最严重的部分.利用广义二端口网络法和天线理论求解视频电缆的辐射:从理论上分析了产生这种结果的原因,并提出减少这种辐射的方法
全球第三代移动通信市场的现状全球的主要三代技术包括基于GSM核心网技术的WCDMA(包括FDD和TDD模式)和EDGE,和基于CDMA核心网的CDMA20001XEV.据EMC预测,到2005年全球移动用户
[本刊讯]为提高护理人员在临床工作中防范医疗风险的能力，能正确运用法律武器保护自身权利和维护患者的利益，上海市护理学会、上海市医务工会与上海大学自2009年8月起已联合举
印度纳加尤那化肥和化学品公司正规划在尼日利亚建设一座大型氮肥企业。该公司最近与尼日利亚国家石油公司（NNPC）就投资14．5亿美元的化肥联合企业天然气供应问题进行谈判。
<正> 记者:据悉横河电机曾发表大规模机构改组方针,将关闭日本国内17家工厂中13家,到2005年日本海外生产产值比率将从10％提高到 50％。在贵司保证完成海外市场计划的方案中,将在