【摘 要】
：
为解决核电厂数字化仪控系统(digital instrument and control system,DCS)研发过程中测试成本高、技术难度大的问题,提出一种基于合约的测试用例生成方法。根据核电DCS软件
【机 构】
：
南华大学计算机学院,中国核动力研究设计院核反应堆系统设计技术重点实验室
【基金项目】
：
湖南省教育厅科学研究基金项目(17C1378),中国核动力重点实验室基金项目(LRSDT2017304)
论文部分内容阅读
为解决核电厂数字化仪控系统(digital instrument and control system,DCS)研发过程中测试成本高、技术难度大的问题,提出一种基于合约的测试用例生成方法。根据核电DCS软件系统采用组件开发的特点,分析组件间依赖关系,处理组件计算顺序。提出合约覆盖标准,结合基础组件合约,逐级求得组件输出,生成满足所有合约的测试用例集。过程中针对系统合约求解时NP难问题,有效降低求解系统合约得到测试用例的难度。该方法在核电堆芯测量系统的成功应用,验证了其实用性。
其他文献
如果你问我，心中最圣洁的地方是哪里？我会微笑着说：是讲台，这里只有童真，没有功利。如果你问我，心中最幸福的地方是哪里？我会毫不犹豫地说是讲台，这里快乐常驻，真情满溢。如果你问我，心
为使构造的曲线兼顾代数多项式空间和三角多项式空间的优点,利用加权思想,提出一种ωλμ-TC-Bezier曲线。将代数多项式空间的三次Bernstein基函数和三角多项式空间的三次类B
近年来，江苏省东海县把建设工程招投标监管作为工作重点，严把“五关”，进一步依法加强对建设工程招投标过程的监督，不断丰富监督内涵。
当前,企业面临着新形势、新机遇和新挑战,笔者认为企业宣传工作就是要围绕生产经营中心,服从服务于企业发展大局,打造企业竞争＂软实力＂上下功夫,切实发挥春风化雨、润物无声的
文章主要比较了沐浴盐乳与普通沐浴剂对手部几种细菌的去除效果，结果表明，高含盐量的沐浴盐乳在清洗手部时的去菌率可达90％以上．明显高于普通沐浴剂，实验也进一步验证了氯化钠的杀
近年来,随着城市化进程推进速度的不断加快,高速公路基础建设以及信息化水平也日益提升,为智慧高速公路的建设提供了可靠条件。基于此,本文即对智慧高速公路运行监控及应急管
介绍了湘澧盐矿治理1#井的基本情况及生产中存在的问题,以及利用爆破疏通对流井组的方法。可供类似情况参考。
古城苏州自甲申年（2004年）开始,因连续举办生肖邮票首发式而闻名中外,更因从2001年起,多次举办全国生肖集邮展览,吸引着全国各地（包括港、澳、台）的生肖邮迷。今年的第四届全国生
太子奶集团将于6月28日针对国内外原材料厂商举行近年来规模最大的一次招标活动，招标项目包括白糖、奶粉、聚乙烯、CMC等。据太子奶集团有关负责人介绍，公司决定面向国内外征集
本文提出了一种新型桩型变径水泥搅拌桩的施工与设计方法,取得较好的效果。