×
吴国庆;舒凤迪;王敏;陈伟清

嵌入式实时软件的需求规范检查。 （英语） Zbl 1004.68034号

J.计算。科学。Technol公司。 17，第1期，第56-63页（2002年）.
摘要：在介绍了我们的需求描述模型HRFSM的概述之后，本文提出了一种嵌入式实时软件的动态软件执行模型（DERTS），该模型可以集成控制流、数据流和时间。基于DERTS，提出了一种检测方法。它由三种检查组成，可以检查嵌入式实时软件需求规范的一致性和完整性。除了提供有助于提高分析和检查规范效率的信息外，该检查方法还具有灵活性，便于分析员理解和使用。

引用于1文件

MSC公司：

68号01 软件理论的一般主题

关键词：

动态软件执行模型

软件：

RT-ASLAN公司;ASTRAL公司
PDF格式BibTeX公司 XML格式引用
\textit{G.Wu}等人，J.Compute。科学。技术。17，第1号，第56--63页（2002年；Zbl 1004.68034）
全文： DOI程序

参考文献：

[1] Heitmeyer C L，Jeffords R D，Labaw B G。需求规范的自动一致性检查。ACM事务处理。《软件工程与方法论》，1996，5（3）：231–261·数字对象标识代码：10.1145/234426.234431
[2] Atlee J M，Gannon J.基于状态的事件驱动系统需求的模型检查。IEEE传输。软件工程，1993，19（1）：25–39·doi:10.1109/32.210305
[3] 吴国庆，刘翔，英石。SCR类型需求规范的自动分析。计算机科学与技术杂志，1999，14（4）：401–407·doi:10.1007/BF02948743
[4] Mats P E Heimdahl，Nancy G Levenson。基于层次状态的需求的完整性和一致性。IEEE传输。软件工程，1996，22（6）：363–377·数字对象标识代码：10.1109/32.508311
[5] Matthew S Jaffe、Nancy G Levenson、Mats P E Heimdahl、Bonnie E Melhart。实时过程控制系统的软件需求分析。IEEE传输。软件工程，1991，17（3）：241–258·数字对象标识代码：10.1109/32.75414
[6] Harel D.状态图：复杂系统的可视化形式主义。计算机程序设计科学，1987，28:231–274·Zbl 0637.68010号 ·doi:10.1016/0167-6423（87）90035-9
[7] Zave P.内部人士对PAISLey的评价。IEEE传输。软件工程，1991，17（3）：212–225·doi:10.1109/32.75412
[8] Nancy G Leveson，Mats P E Heimdahl，H Hildreth，J D Reese。过程控制系统的要求规范。IEEE传输。软件工程，1994，20（9）：689–707·doi:10.1109/32.317428
[9] Auernheimer B，Kemmer R A.RT-ASLAN：实时系统的规范语言。IEEE传输。软件工程，1986，12（9）：879–889。
[10] 阿尔贝托·科恩·波里西尼（Alberto Coen Porisini）、卡洛·盖齐（Carlo Ghezzi）和理查德·凯默勒（Richard A Kemmerer）。使用ASTRAL.IEEE Trans的实时系统规范。软件工程，1997，23（9）：572-598·数字对象标识代码：10.1109/32.629494
[11] 格雷·布奇（Gray Booch）、詹姆斯·伦博（James Rumbaugh）和伊瓦尔·雅各布森（Ivar Jacobson）。统一建模语言用户指南。Addison-Wesley，1999年。
[12] 安吉洛·加甘蒂尼，康斯坦斯·海特梅尔。使用模型检查根据需求规范生成测试。软件工程注释，1999，24（6）：147-162·doi:10.1145/318747.318939
[13] Jeffrey M Thompson，Mats P E Heimdahl，Steven P Miller。嵌入式系统的基于规范的原型设计。软件工程注释，1999，24（6）：163–179·数字对象标识代码：10.1145/318774.318940
[14] William Chan、Richard J Andson、Paul Beame和David Notkin。提高基于状态的系统需求的符号模型检查的效率。软件工程注释，1998，23（2）：102–111·doi:10.145/271775.271798
[15] Kim Y G、Hong H S、Bae D H、Cha S D。从UML状态图生成测试用例。IEE Proceedings Software，1999，146（4）：187-192·doi:10.1049/ip-sen:1990602
[16] Stocks P，Carrington D.基于规范的测试框架。IEEE传输。软件工程，1996，22（11）：777-793·数字对象标识代码：10.1109/32.553698
[17] 吴国庆、肖海峰、郑鹏、英石。使用规则和模板指定实时系统的要求。武汉大学自然科学学报，2000年。
[18] 布鲁诺·杜特雷（Bruno Dutertre），维多利亚·斯塔夫里杜（Victoria Stavridou）。航空电子控制系统的形式化需求分析。IEEE传输。软件工程，1997，23（5）：267–277·数字对象标识代码：10.1109/32.588520
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。