论文部分内容阅读
提出了软件模型检测技术与软件测试技术的集成框架，在合适的软件检测模型基础上，通过模拟仿真，产生软件的测试用例，提高了软件的测试效率与降低了软件的测试成本。并对飞行控制软件作实例研究，取得很好效果，提高飞行控制软件的可靠性。
基于模型检测的软件测试技术
【摘 要】
：
提出了软件模型检测技术与软件测试技术的集成框架，在合适的软件检测模型基础上，通过模拟仿真，产生软件的测试用例，提高了软件的测试效率与降低了软件的测试成本。并对飞行控制软
【机 构】
：
江苏海事职业技术学院信息工程系,南京航空航天大学自动化学院
【出 处】
：
软件导刊
【发表日期】
：
2009年3期
【基金项目】
：
国家自然基金资助项目（60674100）
其他文献
We have designed a Metamaterial unit-cell for 9 GHz frequency. Periodic structure was used at 4.25 × 4.25 mm with a thickness of 0.35 mm and giving us the
一、上半年工作回顾公司成立以来，公司党组与广大干部员工在改革中探索，在探索中前进，明确了公司的新定位，即：保障首都供电安全和服务冀北经济社会发展。新定位带来的新任务，是在今
根据住房公积金业务管理的需求，引入了SOA的设计方法和设计原则，对业务系统进行分析设计，并对系统设计中采用的SOA体系结构、语义Web服务及其发现匹配等关键技术进行了详细的论
面向对象软件的测试是面向对象软件开发的重要环节。结合面向对象编程技术的特点，讨论了如何对面向对象的软件进行有效的测试，并划分了面向对象软件测试的层次，最后给出了面向对
日益激烈的市场竞争环境促使企业不断增强核心竞争力,核心竞争力的形成在一定程度上取决于企业技术创新的程度,而技术创新的投入同时对财务绩效产生影响。以2015—2019年沪深
随着计算机媒体及信息技术的日益发展,设计类人才就业形势日渐火爆,《图形图像处理》(基于Photoshop平台)课程作为高等职业教育的专业技术基础课程,近几年在高等职业院校逐渐盛行。由于电脑设计领域的不同,社会要求的图形图像处理方面的技术也不一样。因此,应根据不同职业、岗位群的需求,把《图形图像处理》课程按其内容的相对独立性,围绕特定的职业需求,自然合理地将课程内容拆分成较小的、相对完整的、独立的知
软件可靠性是软件工程学与可靠性工程学结合产生的前沿学科。软件的可靠性是软件质量保证的重要一环。结合新的软件和旧的软件，从量化的角度进行研究，提出了保证新软件的质量可
扶持与促进中小企业发展,实现企业融资公平是国家重修企业划型标准的目标导向,在优序融资的充分考量基础上,通过蕴含金融公平理念的以市场为主导的多元化融资结构体系的构建,
在明确校企合作重要性的基础上,分析了校企合作管理信息系统的需求以及体系结构,并进一步详细研究了校企合作管理信息系统主要功能的实现,涉及到：权限管理、信息编辑以及查询
目的探讨MRI对颅咽管瘤的临床诊断价值。方法分析18例病理证实的颅咽管瘤MRI表现。结果颅咽管瘤典型表现为鞍上肿物,结节状或分叶状,边界清楚,呈囊性或囊实性,其中:囊性肿瘤M