AutoAbstract: Problem Statement and Hypothetical Solutions

机译：AutoAbstract：问题陈述和假设解决方案

获取原文

获取外文期刊封面目录资料

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Automated abstraction of code into state-based specification and test generation (AutoAbstract) is a project funded by EPSRC. The aim of the project is to devise methods and a tool to abstract out specifications from the code using some hints from the dev

机译：将代码自动抽象为基于状态的规范和测试生成（AutoAbstract）是EPSRC资助的项目。该项目的目的是设计方法和工具，使用开发人员的一些提示从代码中提取规范。

著录项

来源
《Testing Academia and Industry Conference Practice and Research Techniques (TAIC-PART), 2006》|2006年|P.75-80|共6页
会议地点 windsorUnited Kingdom
作者
S. Ali;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
finite state machines; formal specification; program diagnostics; program testing; reverse engineering; software tools; AutoAbstract project; automated code abstraction; reverse-engineered X-machine; software tool; state-based specifications; test generation;

机译：有限状态机正式规范；程序诊断；程序测试；逆向工程;软件工具； AutoAbstract项目；自动代码抽象；反向工程X机；软件工具；基于状态的规范；测试生成;

相似文献

外文文献
中文文献
专利

1. Comparison between Parsimony Analysis of Endemicity (PAE), Endemicity Analysis (EA), and an alternative coding of Three-Distribution Statements based on hypothetical distributions [J] . Morales-Guerrero Adriana, Miranda Thais P., Marques Antonio C. Systematics and Biodiversity . 2017,第4a6期

机译：单映像（PAE），流行分析（EA）分析分析的比较，以及基于假设分布的三分分布陈述的替代编码
2. The effect of numerical statements of risk on trust and comfort with hypothetical physician risk communication. [J] . Gurmankin AD, Baron J, Armstrong K Medical decision making: An international journal of the Society for Medical Decision Making . 2004,第3期

机译：风险数值表述对假设的医生风险沟通的信任和舒适度的影响。
3. A Deeper Insight in Solutions Containing the Hypothetical Labile Complex Species "Fe(CO)(4)THF" [J] . Boettcher Hans-Christian, Beck Wolfgang Zeitschrift fur Anorganische und Allgemeine Chemie . 2019,第3期

机译：对含有假设不稳定复杂物种“Fe（Co）（4）THF”的解决方案的更深层次的洞察力
4. AutoAbstract: Problem Statement and Hypothetical Solutions [C] . S. Ali Academic and Industrial Conference . 2006

机译：AutoAbstract：问题陈述和假设解决方案
5. Two essays: Changes in the implementation flexibility and financial statement location of mandated accounting standards and does the financial statement location of transition adjustments matter to investors? [D] . Kinory, Ethan 2016

机译：两篇文章：实施灵活性的变化以及法定会计准则在财务报表中的位置以及过渡调整的财务报表位置对投资者是否有影响？
6. Solution NMR Structure of Hypothetical Protein CV_2116 Encoded by a Viral Prophage Element in Chromobacterium violaceum [O] . Yunhuang Yang, Theresa A. Ramelot, John R. Cort, 2012

机译：紫质色杆菌中病毒噬菌体元素编码的假设蛋白CV_2116的溶液NMR结构
7. Cumulative effect of IFRS 15 and IFRS 16 on maritime company financial statements: a hypothetical case [O] . Nicholas Belesis, John Sorros, Alkiviadis Karagiorgos, 2021

机译：IFRS 15和IFRS 16对海事公司财务报表的累积效应：假设案例

AutoAbstract: Problem Statement and Hypothetical Solutions

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅