【摘 要】
：
现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战。传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求
【机 构】
：
南京航空航天大学计算机科学与技术学院,软件新技术与产业化协同创新中心,中国航空无线电电子研究所软件部
【基金项目】
：
国家重点基础研究发展计划(973计划)项目(2014CB744900)。
论文部分内容阅读
现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战。传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求。为此文中提出了一种兼具可读性和可自动分析的形式化表格需求建模方法。文中介绍了一种针对这种表格模型测试用例的自动生成方法,工作包括对该形式化需求表格模型展开语义分析,建立需求模型的控制树结构,得到其测试等价类;为了减少不必要的测试,定义了不同安全级别的软件需求模型的测试覆盖标准,并针对不同覆盖率准则分别给出基于控制树结构的测试路径约束选择方法;对于
其他文献
以上海某搬迁地土壤为研究对象,通过室内模拟实验和田间实证实验相结合的方式,研究不同土壤调理剂对搬迁地土壤pH值的影响,并分析评价了施用土壤调理剂的经济成本。结果表明:添加硫酸亚铁、硫酸铵、磷酸二氢钾等土壤调理剂能显著降低搬迁地土壤pH值,且混施较撒施更有助于降低土壤pH值;若以改良1 m~3土壤为例,混施4 kg/m~3硫酸亚铁对土壤pH值降低效果较好。研究可为城市搬迁地园林绿化土壤改良提供技术支
《中国共产党统一战线工作条例》(以下简称《条例》)系统总结并首次在党内法规中明确统一战线工作的原则,是统一战线领域的重大理论创新。《条例》规定的统一战线工作的八项
政治生活中的关键概念,诸如国家、民族、人民等看不见、摸不着,十分抽象。用来代表这些概念的往往是可以感知的具象的标志、符号甚至意识形态的符号,其本身并不能代表什么,它
当前,两岸关系形势复杂严峻,对台统一战线工作面临的机遇和挑战都在发生新的变化。新修订的《中国共产党统一战线工作条例》(以下简称《条例》)明确了新时代对台统一战线的主
2020年新冠肺炎(COVID-19)疫情防控期间,绿地及开敞空间在发挥原有休憩、运动等功能基础上,承接了更多新功能。通过网络信息研究,统计绿地及开敞空间疫情防控期间实际产生的
美国的文化左派肇兴于20世纪60年代,虽然它对当时美国内外政策的抨击的确有一些正面意义,但它的负面影响在今天更值得引起重视。它认为当时的美国由于统治阶级力量过于强大,
正确认识并妥善处理阶级阶层关系是做好统战工作的金钥匙。中国共产党一百年的历史证明,阶级阶层关系越复杂,统一战线越发展,法宝作用发挥得越充分。新时代社会阶层重大而深
2017版高中思想政治必修教材通过融入和专题两种方式以及多种载体形式,将传统文化纳入到大部分单元和课节中,并充分体现了正确的价值导向。但从遵循学生认知规律,促进学生的
代码相似性检测常用于代码预测、知识产权保护和漏洞搜索等领域,可分为源代码相似性检测和二进制代码相似性检测。软件的源代码通常难以获得,因此针对二进制代码的相似性检测