Parasoft文档资料库

以下罗列了关于Parasoft和测试的一些文档,阅读或者下载这些文档可以帮您更加了解Parasoft,了解Parasoft的工具,了解测试如何帮助提升SDLC的开发与测试效率,在减少时间和人力成本的基础上提升软件质量。

Data Sheet
res_sprite
C/C++产品介绍页

Parasoft C++test 能够使团队开发更好的代码,实施更有效的测试,以及持续地监视实现其质量目标的过程。使用 C++test 经时间验证的重要最佳实践—例如静态分析,全面的代码审查,运行时错误检测,集成覆盖率分析的单元测试和组件测试—能够在开发周期的开始阶段,自动地在开发者的桌面上完成。

res_sprite
DTP产品介绍页

Parasoft DTP 是一个完整的软件开发管理平台,可以确保在任何开发语言中持续并有效地生产出高质量的软件。通过集成具有自动缺陷预防和端到端 QA 测试能力的政策驱动的项目管理。Parasoft DTP 能够确保可预见的项目产出的同时使生产力和应用程序质量达到前所未有的水平。

res_sprite
dotTEST产品介绍页

Parasoft® dotTEST®是专业针对C#,VB,.NET,ASP.NET和Managed C++语言的开发测试方案,经广泛证明能提高软件开发团队效率和代码质量的自动化最佳实践解决方案

res_sprite
Insure++产品介绍页

Insure++是专用于C和C++语言的运行时内存分析和错误检测工具,它能自动识别多种难于跟踪的编程和内存访问错误,并定位内存使用方面的潜在缺陷和效率低下等问题。诸如内存误操作,内存泄露,数组访问越界,无效指针和其它通过常规测试手段难以发现,却在运行时导致应用程序崩溃的诸多问题。Insure++均能帮助你找到并消除这些程序中的缺陷,保证内存使用的完整性。

res_sprite
Jtest产品介绍页

Parasoft Jtest是一个自动化了经广泛证明能提高开发团队生产力和软件质量方法的集成解决方案。它着重在用于验证 Java代码和应用程序的方法,并且能够无缝集成Parasoft SOAtest来确保对当今复杂,分布式应用程序和业务实现端到端功能和压力测试。

res_sprite
SOAtest产品介绍页

通过直观的界面来创建、维护和执行端到端的测试场景,Parasoft SOAtest帮助QA团队确保安全、可靠、标准的业务应用。它采用自底向上的构建方式,来降低复杂的、分布式的应用程序固有复杂性。

res_sprite
Virtualize产品介绍页

Parasoft Virtualize帮助开发和测试人员创建并访问进行开发或测试一个应用程序所需的环境。它交付在任何时间/地点你所需的测试环境。

白皮书
bps
使用Parasoft C/C++test 以符合ISO-26262-软件标准

本文档的宗旨在于详细阐述如何使用 Parasoft C/C++test帮助汽车软件开发组织遵守ISO/DIS 26262 标准。本文将首先介绍 ISO/DIS 26262 的标准及其目标。然后将讨论 Parasoft C/C++test是为软件开发以及测试提供自动化最佳实践的集成解决方案。最后,将阐述使用 Parasoft C/C++test所能全部或部分满足的ISO/DIS 26262 标准细节。

bps
Parasoft C/C++test-获TUV-SUD认证

Parasoft 嵌入式公司作为业界领先的提高软件质量与嵌入式系统开发流程的供应商。近日,其产品C/C++test 荣获由TUV SUD颁发的安全相关证书,标志着其软件开发资质符合IEC61508和ISO26262 标准。

bps
如何使用C/C++test满足逻辑覆盖

本文内容重点描述了C/C++test所包含的覆盖率类型以及如何使用C/C++test 工具满足逻辑覆盖要求。

bps
使用Parasoft C/C++test 以满足ASIL需求

本文档的宗旨在于详细阐述Parasoft C/C++test如何帮助汽车软件开发团队满足特定ASIL级别的需求。本文将首先介绍 ISO/DIS 26262 标准所定义的 ASIL 的概念。然后将讨论Parasoft C/C++test是为软件开发以及测试提供自动化最佳实践的集成解决方案。最后将阐述Parasoft C/C++test如何满足或部分满足软件开发过程中特定ASIL 的需求。

bps
使用 Parasoft C/C++ test 以满足SIL需求

本文档的宗旨在于详细阐述Parasoft C/C++test的使用将如何帮助软件开发团队满足特定SIL级别的需求。本文首先介绍了IEC 61508标准中所定义的SIL的概念。其次将介绍 Parasoft C/C++test是为汽车领域软件开发以及测试提供最佳实践的集成解决方案。最后将阐述Parasoft C/C++test如何满足或部分满足特定SIL需求的软件开发。

 

测试技术
testRes
何时、为何以及如何实现代码分析

本文是对 Parasoft CEO 也既《自动缺陷预防:软件管理中的最优实践》(Wiley-IEEE,2007)一书的共同作者 Adam Kolawa 系列采访的一部分,在这个部分中,Adam 论述了何时,为何以及如何引入基础软件验证。同时,这个部分还谈到了静态代码分析、代码走查、内存错误检测、消息/协议测试、功能测试以及负荷测试等。

testRes
何时、为何以及如何进行单元测试

以下是对Parasoft CEO 也既《自动缺陷预防:软件管理中的最优实践》一书的共同作者 Adam Kolawa 采访的第一部分,在本文中,作者阐述了基本软件验证方法的原理、何时使用以及实现方法。同时,本文还阐述了代码走查,单元测试,内存错误检测,消息/协议测试,功能测试以及负荷测试等内容。

testRes
使用BugDetective进行静态代码分析

本文介绍了开发者为何以及如何将数据流分析加入到既有测试策略中。在介绍了数据流分析的概念及其为开发团队带来的好处后,本文阐述了如何使用Parasoft BugDetective 技术来进行数据流分析,并给出具体实例来演示数据流分析是如何提升静态代码分析和单元测试效率的。

testRes
嵌入式单元测试技术

本文阐述了单元测试在嵌入式系统软件开发过程中的作用以及其如何帮助开发者解决上述问题。简要地讲,它提升了桩函数在宿主环境下或者仿真器中的作用。这使软件工程师在代码编写完毕之后就可以立即对其进行验证,即使此时目标硬件系统还没有准备好或暂时不能进行测试。这样,绝大部分的潜藏在程序中的逻辑问题都能够在早期被发现,软件工程师就可以迅捷地修复这些问题,而目标平台上的测试就可以注重于检测软硬件接口方面的问题。

testRes
软件开发中的太极之道

自从软件诞生之日起,其开发工作就一直是一项创造性的工作。很多开发者将这项工作视为一种艺术,因此软件开发者就像艺术家一样自豪。尽管如此,创造性的工作的效率一般都是比较低的。当然软件开发工作也不例外,正如上面引用的B.Boehm 和V.R.Basili 的评论一样。软件业作为一种产业,很多团队管理者都希望将其过程变得更有效率并且更加可预测。但是他们同时也担心采取这样的措施后会降低开发团队的创造性,这对软件项目而言是至关重要的。幸运的是,效率与创造性在软件开发过程中是可以和平共存的。自动化工具完成了软件开发过程中的大量繁琐且无需人工智能的工作,开发者可以更加注重于他们中意的创造性的工作…并且在更短的时间里开发出质量更好的软件。本文介绍了五个业界标准的最佳实践以及它们是如何帮助团队减少开发过程中可避免的资源浪费以及如何让开发者在不向效率妥协的前提下满足各种商业需求。