BI系统的配置由一系列(定义需要检查的规则,包括它们的有效范围)文件构成。如果系统中有一种在配置中不具体的缺陷,一个错误被解决了缺陷被当做未知纳入系统。如果配置文件被升级增添新规则,那么之前未知规则的缺陷被发现并充分纳入。内部BI结构由一个相关数据库组成。因此,前面图中展示的缺陷,规则和度量都被模化为相关表格。真正在使用的系统基于一个SQLServer数据库,该数据库有一个web应用程序,使用SP Net和Web-IIS用作BI引擎。这个结构可以移植到其他数据库和web服务器上。
图6展示了BIweb用户界面的主要前端。它已被简化,可以很方便地获取信息。缺陷和度量在不同的页面上。一条线路显示每个元素(缺陷或度量)。一条线路上显示的领域可以在任何地方添加,移除和安置,过滤器可以包含在内。这是生成报告的方法。该系统可以输出结果的电子数据表。
图6.BI用户界面
5. 使用实例
创建所描述的系统对在(软件质量部门作为其他部门的V&V设备的)公司里执行的多种内部项目有帮助,还对安全关键的项目(这些项目中,规则数量和工具种类,如前所述,真正充分挖掘了这样一个工具的作用)尤其有用。 例如,系统被用于C和C++(包含MISRA C/C++)开发的有超过500.000行代码和大约450个需要检查的规则的安全关键验证项目中。
作为一个外部验证团队,基于使用所示系统的工作流程包含了以下步骤:
1.源代码来自开发部门。源代码单元是一个模块(和一个明确的功能及界面一样),且它由一个版本号识别。
2.静态动态分析是由V&V工程师单独进行的。它可以由不同的工程师在不同时候执行。
3.每个分析的结果都被导入系统。
4.使用BI,结果是由验证经理检查以找到假阳性或可以打破规则的例子。一些缺陷的状态可以改变。
5.报告由工具自动生成。
6.报告被发送给开发部门。
使用所描述的流程有蛮多显而易见的好处的。所有V&V活动以任何顺序进行,终结果被存储到中央数据库,开始,甚至可以在分析还未完成时轻松创建报告。工具也提供一个机制来跟踪被接受的缺陷并生成特定报告。
6.总结
有很多可以使验证任务进行机动化并有所帮助的工具,但缺少管理来自不同工具且形式不同的数据的工具。开发的系统已被证明是一个很有用的工具,有助于减少创建报告的所需时间并可以轻易获取缺陷信息。
版权声明:本文出自 SPASVO泽众软件测试网:http://www.spasvo.com/news/html/2014729135349.html
原创作品,转载时请务必以超链接形式标明本文原始出处、作者信息和本声明,否则将追究法律责任。