关于软件学院“嵌入式高安全性高可靠性动态白盒测试工具”采购项目采用单一来源方式采购征求意见公示校内公告新闻中心

软件学院申请“嵌入式高安全性高可靠性动态白盒测试工具”采购项目采用单一来源方式采购,该项目预算50万元,本采购项目的生产商拟由英国LDRA公司提供(或承担)(生产商公司地址:LDRA Ltd, Portside, Monks Ferry, Wirral CH41 5LH UK、联系人:Jonathan Kelly、电话:+44-(0)151-649-9300),本采购项目的代理商拟由上海创景数码科技有限公司提供或承担(供应商公司地址:上海市青浦区胜利路588号6-693室、联系人:阳凯、电话:137******6868)。

单一来源采购理由如下:

1、开展民用航空机载软件测试是软件测评中心开展测评工作的主要业务范围之一。针对民用航空机载软件的测评,需要依从机载软件适航标准DO-178B/C对机载软件进行动态数据流耦合分析。LDRA Testbed嵌入式高安全性高可靠性动态白盒测试工具具有动态数据流分析功能,能分析在程序动态运行时哪些数据被访问,并给出每个变量的覆盖率信息,符合DO-178C的标准要求,满足测评中心针对民用机载软件测试的技术要求。目前,在按照DO-178C标准进行数据流耦合分析方面,国内只有上海创景数码科技有限公司提供的LDRA Testbed嵌入式高安全性高可靠性动态白盒测试工具符合要求,且上海创景数码科技有限公司为该软件国内唯一的供应商。

鉴于上述情况,符合《中华人民共和国政府采购法》第31条之第一款规定,必须采用单一来源方式组织采购。

2、根据国家军用软件测试指南的标准要求,测评中心在做军用软件回归测试时需要分析软件变更部分对其他部分的影响域,需要深入分析软件中各变量的依赖关系。而LDRA Testbed嵌入式高安全性高可靠性动态白盒测试工具提供的信息流分析功能支持大型软件中各变量的依赖关系分析,符合国家军用软件测试指南的要求,能够满足测评中心针对军用软件回归测试的技术要求。目前,在能够分析大型软件中的信息流和各变量依赖关系方面,国内只有上海创景数码科技有限公司提供的LDRA Testbed嵌入式高安全性高可靠性动态白盒测试工具符合要求,且上海创景数码科技有限公司为该软件国内唯一的供应商。

鉴于上述情况,符合《中华人民共和国政府采购法》第31条之第一款规定,必须采用单一来源方式组织采购。

3、为保证机载软件高安全高可靠性软件的测试充分性,测评中心在做软件测评时不仅需要验证软件的预期功能是否正确实现,还需要确定软件没有做额外异常的操作。LDRA Testbed嵌入式高安全性高可靠性动态白盒测试工具提供负向测试功能,能对非预期的函数行为进行监控。不仅验证程序完成了应该完成的功能,同时还能验证程序没有做不该做的事情、是否改变了其他无关变量的值。目前在负向测试功能方面,国内只有上海创景数码科技有限公司提供的LDRA Testbed嵌入式高安全性高可靠性动态白盒测试工具能符合要求,且上海创景数码科技有限公司为该软件国内唯一的供应商。

鉴于上述情况,符合《中华人民共和国政府采购法》第31条之第一款规定,必须采用单一来源方式组织采购。

该项目经江西师范大学王明文教授、江西财经大学万常选教授和东华理工大学何月顺教授论证,必须采用单一来源方式采购,该项目预算金额合理。

现将有关情况向潜在政府采购供应商征求意见。

供应商、单位或个人对公示内容有异议的,请于公示期内以实名书面(包括联系人、地址、联系电话)形式将意见反馈至南昌航空大学(地址:南昌市丰和南大道696号,联系人:刘老师,联系电话:0791-83953125)。

THE END
0.最火的十大测试工具,你掌握了几个?6)集成性强:Airtest可以与其他测试工具和框架集成,如Pytest、Jenkins等,可以方便地与现有的测试流程和工具进行整合。 4.禅道(项目管理) 官网地址:https://www.zentao.net/index.html 禅道是一款开源的项目管理软件,也是一个集合了需求管理、任务管理、缺陷管理、文档管理、测试管理等多个功能模块的综合性项目管理工具jvzquC41dnuh0lxfp0tfv87624e959<92690c{ykenk0fnyckny03=8923>7:
1.软件测试人员必备的60个测试工具,果断收藏了!软件测试工具国家为了大力培养软件人才,不断采取积极有效的措施。我国对软件测试人才的需求数量还将持续增加,因此软件测试工程师也就成为了IT职业的亮点。在测试空间IT实训基地中究竟需要哪些主流的软件测试工具呢? 我们将常用的测试工具分为10类。 下面我为大家提供了一个丰富的软件测试工具列表。这些测试工具不仅可以减少测试工作,jvzquC41dnuh0lxfp0tfv8|gkzooa>694792:8ftvkimg8igvcomu86628:37A6
2.软件测试工具有哪些类型常见问题软件测试工具有哪些类型 软件测试工具类型: 1、开源测试管理工具; 2、开源功能自动化测试工具; 3、开源性能自动化测试工具; 4、其他测试工具与框架。 软件测试工具是通过一些工具能够使软件的一些简单问题直观的显示在读者的面前,这样能使测试人员更好的找出软件错误的所在。软件测试工具分为自动化软件测试工具和测试jvzquC41yy}/rqu0ep5gcz47927847mvon
3.安全测试工具有哪些?常用软件测试工具常用软件测试工具 在实际的工作中,软件测试工程师有时也要进行一些安全类的测试,下面给大家介绍一些有名的、好用的安全测试工具,方便大家的工作。 1.Nmap nmap也称上帝之眼,是一个网络扫描软件,用来扫描网络主机及开放的端口。是网络管理员的必备软件,也被黑客广泛使用,用来搜集目标电脑的网络信息,查找入侵的可能。jvzq<84yyy4nqknngvxbkw3qti5bdxzv1DHT1:7763
4.软件测试工具常用的都有哪些?在测试技术飞速发展的今天,自动化测试工具的使用越来越广泛,下面就来介绍几款常见的工具。 1、 Selenium Selenium当前针对Web系统的最受欢迎的开源免费的自动化工具,它提供了一系列函数支持Web自动化测试,这些函数非常灵活,它们能够通过多种方式定位UI元素,并将预期结果和实际表现进行比较。Selenium主要有以下特点。 jvzq<84iq0oujnnoc0ipo8sgyu532;5344>03A5;564ivvq
5.2024年最佳软件测试工具40强清单(非常详细)零基础入门到精通,收藏这软件测试工具是指那些支持从计划、需求收集、构建创建、测试执行、缺陷记录到测试分析等各种测试活动的产品。这些工具主要用于检测软件的稳定性、彻底性以及其他性能参数。 市场上有大量的软件测试工具,众多选择使得难以确定最适合你项目的测试工具。以下清单对市场上的不同软件测试工具进行了分类、排名和评级。对于每一款jvzquC41dnuh0lxfp0tfv8U{vjuoa95331gsvrhng1jfvjnnu174;B9896>
6.常用软件测试工具(非常详细),零基础入门到精通,看这一篇就够了9、开发工具 10、单元框架 11、版本控制:SVN、git 题外话 文末福利 前言 作为软件测试人员,你最常用到的测试工具都有哪些呢?本文总结了测试过程中常用的工具,希望对从业人员日常工作有所助益! 包含工具内容 测试管理工具 连接服务器 抓包工具 接口测试工具 jvzquC41dnuh0lxfp0tfv8vsa5:97:7;31gsvrhng1jfvjnnu1757A:3;59
7.一般公司常用的软件测试工具有哪些?Tester、Borland Silk系列工具、WinRunner、Robot等。国内免费软件测试工具有:AutoRunner和TestCenter。jvzq<84ddu463}juvkth0lto1huswv3rjrEnqmBxkg}uj{jcf(zjfF64;8:49
8.测网速比较准确的软件有哪些APP推荐2022测网速比较准确的软件有哪些 很多小伙伴们在上网的时候都会遇到卡顿问题,这种时候就需要一款工具来对网络进行检测了,那么大家知道2022测网速比较准确的软件有哪些吗?今天就让小编来给各位小伙伴们介绍几款不错的网络测试软件,希望小伙伴们能够喜欢,话不多说就让我们一起来看一下这些软件有哪些吧! No.1 测网速 jvzquC41yy}/yjsfqwpjc7hqo1hbppicp1:18<:91
9.测视力软件哪个准?视力测试app有哪些?手机测视力软件视力测试软件是一款帮助用户准确测量自己视力的工具,同时提供贴心的配镜服务和视力矫正的方法,让大家更好的了解自己的视力情况,呵护自己的双眼,让眼睛更加明亮,测视力软件哪个准?手机视力测试有哪些?绿色资源网收录了最全的视力测试app和视力表等,一起来看看吧!jvzq<84yyy4eq€see0ipo8p1ujomkljujk5
10.软件测试工具软件测试服务性能测试工具道普云(山东)智能科技有限公司(https://daopuyun.gys.cn)主营产品包括软件测试工具、软件测试服务、性能测试工具、代码审计工具等,道普云(山东)智能科技有限公司负责人陈先生,道普云(山东)智能科技有限公司希望能与您成为合作伙伴jvzq<84fcqvv{~s0ep4djrsc0et0
11.江苏省软件产品检测中心新闻动态• 软件不稳定。软件不稳定,则会由于这些不稳定因素导致自动化测试失败。只有当软件达到相对的稳定,没有界面性严重错误和中断错误才能开始自动化测试。 • 涉及物理交互。工具很难完成与物理设备的交互,比如刷卡的测试等。 相信讨论到这里,题主的疑惑肯定是解决的非常清晰了。下面咱们就延伸的说一说,谈谈手工测试jvzq<84yyy4ku}h0qtm/ew4218611<5284703>6:295XgkXkvg511@555160UqtyVzzDqwygpv4tj}rn
12.软件测试人员必备的十大测试工具最常用的软件测试工具有哪些软件测试工具有哪些?市面上的软件测试工具虽然有很多,但功能和实用性上都存在差异。本文中Maigoo小编盘点了十大软件测试工具,名列其中的有LoadRunner、AppScan、Apache JMeter,以及Postman、REST Assured、RunnerGo、Selenium、Appium、OWASP ZAP等。这些最常用的软件测试工具你都听说过吗?一起来了解下吧! 排排榜 关注jvzquC41yy}/ojniqq4dqv4vqr556;6:60nuou
13.软件测试过程中常见的测试工具都有哪些?软件测试工具是指可以帮助测试人员自动化执行测试任务的软件应用程序,这些应用程序可以减少测试时间和减轻测试人员的工作负担。以下是一些常见的软件测试工具: Selenium(Web应用程序自动化测试工具):Selenium 是一种流行的自动化测试工具,用于测试 Web 应用程序。它支持各种编程语言,并用于测试 Web 应用程序的各种功能和行为jvzq<84yyy4nqknngvxbkw3qti5bdxzv1DHT1:7448
14.软件测试工具都有哪些?软件测试工具都有哪些? 一、单元测试工具 单元测试工具主要用于编写和执行单元测试。例如,Java中的JUnit、Python中的unittest、JavaScript中的Jest等。 二、功能测试工具 功能测试工具主要用于测试软件的功能是否符合预期。例如,Selenium可以用于自动化测试网页的各项功能,Appium用于移动应用的功能测试。jvzq<84yyy4nqknngvxbkw3qti5bdxzv1DHT1;5:359/j}rn
15.软件测试常用工具有哪些软件测试常用工具介绍常见问题软件测试常用工具有哪些 软件测试常用工具有Selenium、JUnit、Appium、 JMeter、LoadRunner、Postman、TestNG、LoadUI、SoapUI、Cucumber和Robot Framework等等。测试人员可以根据具体的测试需求和技术栈选择适合的工具,提高测试效率和准确性 。 软件测试是保证软件质量的重要环节,而软件测试工具则是测试过程中的必备辅助工具。jvzquC41yy}/rqu0ep5gcz483:=:27mvon
16.网络交互的意义汇总十篇所以基于交互式网络教学平台的笔译测试是允许学生利用互联网的搜索引擎,电子词典和工具书等独立完成笔译考试的,这可以创造与实际生活中的笔译实践相接近的环境,更加有利于日后学生的翻译工作。 结束语 信息时代,翻译需求急剧上升,传统的翻译方法已经无法满足海量信息的处理需求,CAT软件或网络翻译实训平台的应用已经是市场上jvzquC41yy}/z~jujw4dqv3ep1nbq€jp16:6593jvor
17.软件测试人员必备的60个测试工具,果断收藏了!国家为了大力培养软件人才,不断采取积极有效的措施。我国对软件测试人才的需求数量还将持续增加,因此软件测试工程师也就成为了IT职业的亮点。在测试空间IT实训基地中究竟需要哪些主流的软件测试工具呢? 我们将常用的测试工具分为10类。 下面我为大家提供了一个丰富的软件测试工具列表。这些测试工具不仅可以减少测试工作,jvzquC41dnuh0lxfp0tfv87623e96=;853<0c{ykenk0fnyckny03<=88:647