n利用Borland CaliberRM进行软件需求/分析管理
Borland CaliberRM 是一个基于Web 和用于协作的需求定义和管理工具，可以帮助分布式的开发团队平滑协作，从而加速交付应用系统。CaliberRM 辅助团队成员沟通，减少错误和提升项目质量。CaliberRM 有助于更好地理解和控制项目，是Borland 生命周期管理技术暨Borland Suite 中用于定义和设计工作的关键内容，能够帮助团队领先于竞争对手。
l?减少错误和提升项目质量
l提升分布式团队的协作效率从而更好地控制项目
l?减少重复劳动和提升投资回报
l减少项目延迟和经费超支
l符合通行规范的要求
n采用Borland Together建模工具加快开发进度
Borland Together 技术通过以设计为中心的解决方案，加速更高质量应用的开发。以设计为中心的解决方案支持可视化建模、衡量设计与代码的质量，从而提高开发团队生产力。作为最终用户、构架师与开发者之间的可视化桥梁，Together 技术能够提高开发的速度，通过自动化处理冗长烦闷的工作，避免开发团队为这些工作分心，让他们专注于编码。Together 技术也有助于在开发初期识别性能问题，在这个阶段解决这些问题更简单、代价更低。
l?支持所有主要的UML?图形
l?Together? LiveSource?自动进行模型与代码的同步
l自动文档生成
l支持业界标准的模式(GoF、J2EE等)
l使用审计测定软件质量
l使用度量进行软件开发的量化
l重构
l多语言支持(持Java?，C++，CORBA?， IDL?，Microsoft? Visual Basic? 6, Visual Basic .NET以及C#等)
n代码实现的优秀工具Jbuilder、C++Builder、Delphi及Scade
l首屈一指的Java开发解决方案---- Borland Jbuilder
Borland JBuilder开发环境是的应用程序生命周期管理技术套件的关键部分。其被设计用来为开发小组提供所需的开发工具，以便在企业应用程序开发过程中获得最大的生产力，提供了下一代的解决方案，使得开发小组能够做更多的工作：减少开发成本，交付一致的、高品质的应用，缩短产品上市的时间。事实上，在享有盛名的JBuilder IDE 之内，开发者能够在从设计到分发的全部应用程序开发生命周期中成为主要角色。
l?使用省时的工具加速Java 的开发
l使用集成的小组开发环境，实现小组生产力的最大化
l使用可靠的工具集成，专注于开发
l成功地利用现有的项目并管理变更
l减少开发的风险与成本——一直到分发
lC++首选开发平台---Borland C++BuilderX集成开发工具
Borland C++BuilderX? 为C++ 开发技术的创新。C++BuilderX 运行在Windows, Linux, 与 Solaris 操作系统上面，被设计用来跨越这些平台提供一个一致、统一的接口，形成一个开发管理视图。单一、直观的界面，再加上对多供应商编译器与调试工具的嵌入支持，使得开发者在统一、集成的环境中构建并调试应用程序，工作效率与生产力得以提高。
l在统一的环境中，跨多重平台扩大C++开发
l集中精力搞开发，而不是工具集成
l改善沟通效果，保持小组成员同步
l充分利用在现有项目中的投资，成功管理变更
l3Borland的Windows平台完整开发解决方案—Delphi
Borland Delphi 2005 是用于Windows 的终极开发解决方案。使用 Delphi, C#, Microsoft .NET Framework以及Win32?在一个超级生产力RAD环境中对GUI, Web, 数据库，建模以及ALM的支持，Delphi 2005将Delphi的能力提高到新的水平，使得Windows 开发任务更快、更好且更方便。Delphi 2005是为开发者设计的，将促进生产力的特性，更多的开发语言与SDK，简化的ALM集成与Delphi的常见功能综合在一起 — 让“快速与有趣”重现在Windows开发之中。用于Win32以及 .NET的新技术，比如重构，单元测试，XML文档，模型驱动的ASP.NET Web 开发等，将Windows 开发能力提供到一个新的水平。
l所有所需的语言与SDK都在同一个用于Windows?的环境中！
l提升开发者经验
l简化整个应用生命周期
l使用Borland ECO II （对象/关系-映射器）以及ECO空间技术，加速开发生命周期的过程
l高安全软件产品开先的首选开发工具---Scade
法国爱斯特尔技术公司 (Esterel Technologies) 提供的SCADE Suite能将开发高安全性软件系统的成本削减50%，它能实现准确无歧义的软件需求描述，通过强大的正规化验证功能使用户在开发的早期就发现各种设计错误，高质量的代码产生器更是能生成满足DO-178B Level A标准的代码，大幅度减少用户编码和测试的工作量。
SCADE与Simulink的连接器，解决了控制率设计模型与相应的软件代码生成相脱节的问题。与其他仅仅生成框架代码或原型代码的工具不同，SCADE生成可嵌入的软件代码，且与软件需求描述的要求严格一致。
lSCADE软件包符合行业的实际需求，它是与Airbus, Schneider Electric, Dassault Aviation，Thales等众多客户合作开发而成的。
l尽早发现描述上的错误可以节约时间和资金。Airbus使用SCADE之后节省了50%的开发成本。
l无缝连接Simulink的系统设计和Matlab/SCADE的软件设计。
1、LDRA公司是软件测试技术领导者，是许多软件测试技术与方法首创者，已经发表了超过100篇软件分析与测试技术论文。
2、LDRA公司于1970年首次提出使用LCSAJ(线性代码顺序及跳转)覆盖率，LCSAJ覆盖率很快成为软件测试工业标准，成功地用于“Eurofighter Aircraft Testing Standard”及“BS7925 Software Component Testing”。
3、LDRA公司是数据流分析技术领导者，数据流分析技术被证明是有效发现软件错误的强有力技术。
4、LDRA公司在数据流分析技术上所拥有的强大优势，使得其在信息流分析技术上处于领先地位；信息流分析是用于研究分析程序中变量间的依赖关系，此分析技术成为英国防务软件测试标准“British Defence Standard 00-55”不可缺少的重要方法。
5、LDRA Testbed是首家用于按美国航空软件测试标准DO-178B进行软件测试的工具，具有广泛的用户经验。
6、1998年，汽车工业软件可靠性协会MISRA出版MISRA C标准以在汽车行业推行“Safe C”使用，LDRA Testbed 是唯一可同时用于MISRA C标准进行代码规则验证、复杂度分析及动态测试分析的工具。
7.能与RT Insight进行无缝结合，完成整套产品的测试工作。
LDRA Testbed?主要用于在软件编程、软件测试与软件维护阶段，以提高软件产品的质量。
在软件开发中，LDRA Testbed? 可让每个软件开发人员与管理人员都关心如下的问题：
采用统一的工具，遵循同样的编程规则，运行有效的测试；
项目负责人与质量工程师使用工具定期检查整个工程是否达到了预期的质量目标。
软件维护在整个软件开发活动中困难大、开销高。LDRA Testbed? 提供了一个强有力的理解软件的逆向工程工具以及让用户了解修改程序中的某一部分对整个应用的影响的评估工具。
采用LDRA Testbed可以用来清晰地定义所编软件达到的级别和所要接受的测试。 使用LDRA Testbed可提高软件产品开发效率、缩短开发周期，这主要归功于：
通过使用LDRA Testbed，可改进软件产品开发过程,提高软件产品质量：
-
其分析采用了国际上使用的基于软件度量(Mccabe,Halstead,等等)的质量模型,其软件编程规则综合了众多软件公司的编程经验；
-
可使用代码覆盖率检验软件测试效率；
-
项目负责人或管理者可定期检查软件并确保开发出的软件可靠且易于维护；
-
支持DO-178B(A,B,C级)、ISO-9001、IEC/W9、Tick/IT等众多软件标准验证；
-
LDRA产品本身通过软件标准验证。
1、编程规则验证工具；
2、质量模型评估工具；
3、静态分析工具；
4、代码覆盖率分析工具；
5、测试驱动与桩模块自动生成工具；
6、回归测试工具等。
Mercury Interactive公司的WinRunner是一种企业级的功能测试工具，用于检测应用程序是否能够达到预期的功能及正常运行。通过自动录制、检测和回放用户的应用操作，WinRunner能够有效地帮助测试人员对复杂的企业级应用的不同发布版进行测试，提高测试人员的工作效率和质量，确保跨平台的、复杂的企业级应用无故障发布及长期稳定运行。
企业级应用可能包括Web应用系统，ERP系统，CRM系统等等。这些系统在发布之前，升级之后都要经过测试，确保所有功能都能正常运行，没有任何错误。如何有效地测试不断升级更新且不同环境的应用系统，是每个公司都会面临的问题。
如果时间或资源有限，这个问题会更加棘手。人工测试的工作量太大，还要额外的时间来培训新的测试人员等等。为了确保那些复杂的企业级应用在不同环境下都能正常可靠地运行，你需要一个能简单操作的测试工具来自动完成应用程序的功能性测试。
l轻松创建测试
l插入检查点
l检验数据
l增强测试
l运行测试
l分析结果
l维护测试
l帮助你的应用程序为无线应用作准备
l工业标准级负载测试工具
l轻松创建虚拟用户
l提供很高的适应性
l创建真实的负载
l定位性能问题
l分析结果以精确定位问题所在
l重复测试保证系统发布的高性能
lEnterprise Java Beans的测试
l最大化投资回报
l支持无线应用协议
l支持Media Stream应用
l完整的企业应用环境的支持
l全球测试管理系统
l图形化和报表输出
l缺陷管理
在实时系统中，一个最基本的特征就是要求程序中的任务能够在规定的时间里执行完成；只有每个实时任务都在规定时间里完成才能保证整个系统正常工作。开发人员有职责保证程序能够达到指定的时间要求。
AbsInt 的aiT WCET 能够分析出您系统中任务的最大执行时间。分析可以针对所有的输入和每个任务。
aiT 是第一个用来保证可靠性软件时间特性的自动化工具。它基于静态方式来分析任务中使用的cache 和管道（pipeline）操作；从而能够正确地计算出系统的最大执行时间。
aiT 赢得了2004 年欧洲Information Society Technology（IST）奖项。
推算最大执行时间面临的挑战：
如果分析方法中不考虑cache 和管道（pipeline）操作，那么计算出的WCET 将远高出实际值，这样将会导致硬件资源的严重浪费。
测量一个任务的执行时间通常是不可靠的；例如，通过验证所有的条件来测量最大运行时间通常是难以实现的。
关闭数据cache 和指令cache 来简化WCET 的推算将会导致性能的严重下降。
aiT 的解决方法：
aiT-基于你系统的真实的性能进行推算，这样就能确保不会造成硬件资源额外的浪费。
aiT-分析程序所有的输入和执行情况来计算运行时间；现在花费大量的时间来进行性能测试将成为历史。
aiT 直接分析二进制可执行代码；完全独立于编译器和源代码语言；这意味着不需要改变您的工具链或者程序的执行和性能。
l在实时系统中，在任务实际运行前，需要知道在最差情况下的任务执行时间。在事件触发系统或者周期系统中（如RMA）需要分析出确定的时间；在时间触发系统中（如TTA）需要在静态情况下确定出固定的时间。
laiT 能够通过分析和测试替换有错误倾向的方法，从而能够提高系统的安全性。 随着微处理器性能的提高，单个嵌入式处理单元能够完成越来越多的功能。软件越来越复杂，就越来越难以了解软件中各模块的时间性能；测试系统所有的输入条件几乎是不可能的。
aiT 支持的处理器：
ARM7，Motorola Star12/HCS12，PowerPC 555 | 
