特刊文章雷竞技app下载苹果版

简易正式基于规范检验和预测

文摘

检查是常用的软件错误检测和校正。在正式规范检验方法,检验是否进行需求规范中定义的每个功能场景正确地实现由一组程序路径。五个步骤的方法包括:从规范派生功能性场景时,从程序派生路径时,场景与路径,路径分析与相应的场景中,并产生一个检验报告。摘要提出的有两件事是处理在第一,添加了五个分析水平即:web应用程序的性能水平,全球化,错误处理,可重用性和可维护性检测更多的缺陷和提高效率的代码,在第二检查预测缺陷预测等,使检验过程

B。Arun Gunalan G.Ramakrishnan

阅读全文下载全文|访问全文