论文部分内容阅读
测试和形式化的正确性验证是软件质量保证的两种重要技术,而软件审查技术在效果上优于测试,在应用的要求上少于形式化的验证.该文详细论述了软件质量审查技术和软件审查的优点,并讨论了审查技术在效果和适应性方面进行改进的进展.
软件质量审查技术及进展
【摘 要】
：
测试和形式化的正确性验证是软件质量保证的两种重要技术,而软件审查技术在效果上优于测试,在应用的要求上少于形式化的验证.该文详细论述了软件质量审查技术和软件审查的优
【机 构】
：
合肥工业大学
【出 处】
：
电子质量
【发表日期】
：
2004年1期
其他文献
钾是体液中无机盐的主要成分，是维持人体细胞新陈代谢，维持细胞内渗透压和谁的动态平衡重要电解质。临床上由于疾病或药物的作用等会使机体失钾，低血钾症是一种常见的电解质紊乱
根据水稻黑条矮缩病毒(RBSDV)侵染玉米(Zea mays L.)的症状发展过程先后取叶脉做超薄切片,在透射电镜下观察病毒在细胞内的侵染状态,并在取样前用灰飞虱无毒若虫进行饲毒和传
辫接导线引起的电磁泄露,是屏蔽视频电缆泄漏最严重的部分.利用广义二端口网络法和天线理论求解视频电缆的辐射:从理论上分析了产生这种结果的原因,并提出减少这种辐射的方法