• 搜索
    搜索
  • 支持
  • 联系
  • 资源
  • EN DE IT FR 中文
  • 产品中心
    • 静态分析
      Helix QAC/C++
      深入分析工业规模的C/C++代码
      MISRA/AUTOSAR/CERT
      代码标准合规性和安全性
    • 动态测试
      CANTATA
      C/C++代码的自动化单元和集成测试
      Cantata TEAM REPORTING
      测试状态管理仪表盘插件
      AdaTEST 95
      Ada代码的自动化单元和集成测试
    获取演示 为什么要为单元测试工具付费
  • 解决方案
    • 行业
      汽车 能源 医疗设备 工业自动化 铁路 航空航天与国防 业务关键
    • 安全标准
      ISO 26262 IEC 60880 IEC 62304 IEC 61508 EN 50128 DO-178B和DO-178C MISRA AUTOSAR CERT
    获取演示 开始试用
  • 关于我们
    • 关于我们 新闻
    获取演示
  • 资源中心
logo
  • 产品中心
    Helix QAC/C++ MISRA/AUTOSAR/CERT CANTATA Cantata TEAM REPORTING AdaTEST 95
  • 解决方案
    汽车 能源 医疗设备 工业自动化 铁路 航空航天与国防 业务关键 ISO 26262 IEC 60880 IEC 62304 IEC 61508 EN 50128 DO-178B和DO-178C MISRA AUTOSAR CERT
  • 关于我们
    关于我们 新闻
  • 资源中心
  • 全站搜索
  • 技术支持
  • 联系我们
  • 资源中心
首页> 产品中心> AdaTEST 95>静态代码度量

AdaTEST 95静态代码度量功能可用于独立分析，也可集成在AdaTEST 95的测试中。它们自动化提供关于代码质量、维护性的客观测量，评估测试投入。


AdaTEST 95静态分析易于：

设置要测量哪些质量度量

诊断和实施度量

生成报告与合格审定的证明材料

AdaTEST 95静态度量帮我做什么？

定义所需的代码度量

AdaTEST 95产生100多个静态代码度量，在Ada 95语法（Ada语言参考手册）和工业标准度量集上。通过分析向导和静态分析规则集，可以简单地选择所需的度量。

它们不仅可以定义所需的静态代码度量，还可以检查每个要与AdaTEST 95动态测试集成的度量的可接受值。


诊断和实施度量

度量被生成为.CSV文件、List文本文件，并显示在HTML结果查看器中，以便进行全面诊断。


AdaTEST 95的HTML结果概要提供了实施的静态度量值的检查历史记录，用于趋势分析。


静态代码度量的实施完全自动化地集成在AdaTEST 95的测试脚本中，动态和静态测试完全同步。

 

AdaTEST 95为所有插装的过程、函数、保护的子程序/入口和已经执行的任务生成静态度量。而且，除了过程、函数和任务体之外，也能获得包规范和包体的度量，用在列表文本文件中检查。


AdaTEST_HRO__trend_data__Screenshotbbbbb.png

生成报告

除了在HTML结果查看器和概要中对代码覆盖率结果进行强大的诊断之外，AdaTEST 95还生成满足覆盖率要求的用于安全标准合格审定的ASCII文本报告。

报告和认证证据嵌入了对实现所需代码覆盖和静态度量目标的集成检查。


AdaTEST 95静态分析如何工作？

AdaTEST 95使用插装后的源代码副本，静态度量数据记录在CSV和HTML文件中用于诊断，以及用于认证的ASCII文本列表文件和AdaTEST动态测试结果文件证据。

静态分析可与AdaTEST 95的测试集成使用，检查度量值在可接受的范围内，执行带有路径标签和动态断言的控制流和数据流分析。

覆盖规则集使分析更为简单，它自动化进行所有代码插装、数据记录和要求的度量检查。


AdaTEST 95提供哪些代码度量？
AdaTEST 95在Ada 95代码语法上产生100多个度量，它们定义在Ada 95参考手册附录P。

静态度量分为以下三组：

  简单计数度量

  计算度量

  信息度量

计数和计算度量是浮点值，信息度量是字符值。

除了Ada 95语法的计算之外，还提供了下列行业标准度量集：

  McCabe圈复杂度

  McCabe度量的Myers扩展

  McCabe基本复杂度

  Halstead软件科学

  程序复杂性的Hansen度量


AdaTEST 95全部静态代码度量如下：
返回AdaTEST 95

法律条款 隐私声明 联系我们 资源中心

京ICP备05008170号-4  京公网安备110108007570号

©QA Systems GmbH 版权所有

本网站使用cookies来帮助改善您的体验。
请点击链接以后了解有关cookies的更多信息。 了解更多
我明白
×
×

深圳SEO优化公司罗湖网站推广系统东莞网站优化大运网站seo优化爱联网站建设盐田网站推广大芬网站优化按天计费布吉网站排名优化东莞关键词按天扣费木棉湾SEO按天收费双龙百度爱采购坑梓企业网站建设光明企业网站建设龙岗模板网站建设永湖关键词排名包年推广惠州企业网站制作南山外贸网站制作广州至尊标王坂田网站改版大鹏百度标王南联推广网站大芬关键词排名包年推广龙岗阿里店铺托管龙华百姓网标王惠州百姓网标王推广大鹏百度标王龙岗网站建设塘坑关键词排名包年推广坪山外贸网站设计平湖建网站木棉湾百姓网标王推广歼20紧急升空逼退外机英媒称团队夜以继日筹划王妃复出草木蔓发 春山在望成都发生巨响 当地回应60岁老人炒菠菜未焯水致肾病恶化男子涉嫌走私被判11年却一天牢没坐劳斯莱斯右转逼停直行车网传落水者说“没让你救”系谣言广东通报13岁男孩性侵女童不予立案贵州小伙回应在美国卖三蹦子火了淀粉肠小王子日销售额涨超10倍有个姐真把千机伞做出来了近3万元金手镯仅含足金十克呼北高速交通事故已致14人死亡杨洋拄拐现身医院国产伟哥去年销售近13亿男子给前妻转账 现任妻子起诉要回新基金只募集到26元还是员工自购男孩疑遭霸凌 家长讨说法被踢出群充个话费竟沦为间接洗钱工具新的一天从800个哈欠开始单亲妈妈陷入热恋 14岁儿子报警#春分立蛋大挑战#中国投资客涌入日本东京买房两大学生合买彩票中奖一人不认账新加坡主帅：唯一目标击败中国队月嫂回应掌掴婴儿是在赶虫子19岁小伙救下5人后溺亡 多方发声清明节放假3天调休1天张家界的山上“长”满了韩国人？开封王婆为何火了主播靠辱骂母亲走红被批捕封号代拍被何赛飞拿着魔杖追着打阿根廷将发行1万与2万面值的纸币库克现身上海为江西彩礼“减负”的“试婚人”因自嘲式简历走红的教授更新简介殡仪馆花卉高于市场价3倍还重复用网友称在豆瓣酱里吃出老鼠头315晚会后胖东来又人满为患了网友建议重庆地铁不准乘客携带菜筐特朗普谈“凯特王妃P图照”罗斯否认插足凯特王妃婚姻青海通报栏杆断裂小学生跌落住进ICU恒大被罚41.75亿到底怎么缴湖南一县政协主席疑涉刑案被控制茶百道就改标签日期致歉王树国3次鞠躬告别西交大师生张立群任西安交通大学校长杨倩无缘巴黎奥运

深圳SEO优化公司 XML地图 TXT地图 虚拟主机 SEO 网站制作 网站优化