排序方式: 共有5条查询结果,搜索用时 0 毫秒
1
1.
列车通信设备是一种嵌入式系统。有效地测试这类设备是列车运行系统质量保证的重要手段。嵌入式系统测试的重要任务之一是有效地生成测试用例。文中提出基于接口自动机(Interface Automata)技术自动生成列车通信设备的测试用例。现有的接口自动机技术只支持同步消息的发送与接收,而列车通信设备还需要处理异步消息的发送与接收。为此,文中对接口自动机理论进行了扩展,以便支持列车通信设备异步消息通信的需求。依据列车通信网络的规范,文中使用扩展了的接口自动机对列车通信模块及通信模块的组合作了形式化建模,依据测试覆盖准则,自动生成测试序列,并利用模型驱动技术自动生成测试脚本。文中比较了手工生成测试用例方法及所提出的自动生成测试用例技术,展示后者从测试覆盖、时间节约方面的有效性。 相似文献
2.
3.
4.
5.
J?rgen Staunstrup 童缙 郁莲 李伟平 林慧苹 褚伟杰 John Paulin Hansen Arne Glenstrup Thomas Hildebrandt 《计算机系统应用》2009,18(6):161-167
The paper gives an overview of a recently started research project addressing the question: Can context be exploited to add value to IT-services? Beyond today's way-finding services based on GPS and maps, we believe there is a new class of context-aware pervasive services making good use of a broad range of context information (e.g. identity, time of day, temperature, history as well as relative location of friends and belongings). Last but not least we believe one can find ways of adding value to IT-services by using disembodied conversational agents based on voice, sounds and visual signals integrated into the environment, instead of being guided by explicit directions shown on a display. The project aims at giving both new fundamental insight about the theory behind IT-services, their architecture and user interfaces and at building a number of prototypes demonstrating innovative context-aware pervasive IT-services. 相似文献
1