AxiomDSN是高性能软件设计CASE工具，适用各种于复杂软件项目的开发， AxiomDSN满足系统分析工程师与软件工程师的要求。

　　使用AxiomDSN可为系统建立详细的软件设计模型，跟踪每个设计是如何满足系统需求的，验证整个模型的一致性及逻辑性，并自动产生精确的、完整的需求文档。

基于程序设计语言(PDL)
　　AxiomDSN是用于软件系统设计建模CASE工具，采用了抽象数据类型(Abstract Data Type)与强数据类型(Strong Data Type)概念，提供了一系列模块、函数、数据类型、数据变量及常量等模型，所有模型都以图形化方式给出，模型包括模块递阶模型图及调用结构模型图。AxiomDSN以程序设计语言(PDL)方式定义函数，PDL使得AxiomDSN可自动建立函数交叉索引与变量交叉索引。

代码生成
　　一旦设计模型建立后，需要生成代码框架，AxiomDSN可生成ANSI C和ADA语言代码，这些代码框架中包括所有的数据变量定义、函数定义及常量定义，同时生成函数的控制结构，而PDL将以代码注释的形式出现在代码文件中。

需求跟踪
　　AxiomDSN提供了模型中所有关于模块、函数、数据类型、变量及常量的跟踪信息，这些跟踪信息可为系统需求、测试计划等。

　　如果索引项为需求信息，则交叉索引提供某一特定过程函数是如何实现系统需求，反之，提供系统需求是由哪些过程函数实现的。

　　如果索引项为测试计划，则跟踪信息指出某一特定过程函数是由哪些测试计划完成测试，反之，指出某一测试计划实现了哪些过程函数的测试。

　　所有这些跟踪信息自动产生文档，这满足了软件需求文档标准的需求跟踪性要求。

AxiomDSN超连接功能
　　AxiomDSN提供所有相关的对象的连接关系，只要简单地点击某一对象，即可浏览与之相关连的所有其它信息，这一强大功能使得用户可在AxiomDSN环境下在线评审文档。

模型验证
　　CASE工具的一个主要功能是能够确保所设计的模型一致性，AxiomDSN是最完全的用于验证模型一致性的工具，可在任何时候验证模型，也可验证所设计的系统中某一部分模型。

自动文档生成
　　AxiomDSN可自动生成系统分析文档，提供符合DOD-STD2167A、FDA及DOT标准的报告模板，用户也可根据需要修改模板。

运行环境要求
　　AxiomDSN支持微软Windows平台。