论文部分内容阅读
当软件开发经过爆发期后,软件通信、信息交流和数据共享等资源区域化问题成为了越来越迫切的关注点。为解决这些问题并规范软件开发,软件信息化标准被制定并推行到生产领域中。为了确保每个软件产品均按标准开发,产生了标准符合性测试。所以,标准的作用是将软件产品规范化,而标准符合性测试则是规范化工作顺利执行的有力保障之一。传统的标准符合性测试研究对象是某一条具体标准的详细规定。课题中整理公共安全信息化方面的标准,研究标准之间的共性,提炼出可被测试的共性信息,结构化表示标准信息并提出基于这些共性的符合性测试方案。方案中涉及的研究内容有定义形式化数据格式,结构化表示标准的数据项,测试用例自动生成等相关工作。课题的研究内容包括标准信息整理、描述语言转换、测试用例生成、运行结果检验等。标准信息整理中需要整理出公共安全信息化相关标准的共性。标准描述方式的转变是将自然语言描述转换成由特定数据格式表示,目的是为了实现测试用例的自动生成;同时,自动生成测试用例的预期结果。测试用例生成策略采用的是黑盒测试的等价类法和边界值法,测试用例和预期结果采用XML文档存储。结果分析是将被测软件运行测试用例后得到的实际结果与预期结果进行对比分析的过程,并给出详细的测试报告,最终得到被测软件的标准符合度。在上述提到的四点研究内容之外,还提出了一些可能遇到的技术和设计方面的难点,例如测试用例生成规则的细化、被测软件运行测试用例方式、测试结果分析全面化等问题。这些问题均是优化本课题内容需要考虑和解决的难点。课题的创新点是不针对某一条具体标准,研究公共安全信息化相关标准的共性,形式化标准信息,提出基于标准共性的符合性测试方案。