Simulation for testing software agents - an exploration based on James

Himmelspach,; Rohl,; Uhrmacher,

doi:10.1109/wsc.2003.1261498

Cited by 9 publications

(5 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In addition, to composing models on demand that might be realized in different formalisms another requirement is a flexible execution mechanism, that supports efficient simulation as well as a software-in-the-loop simulation (Himmelspach et al 2003). At that point, component-based simulation frameworks, such as JAMES II (Himmelspach and Uhrmacher 2007), can be beneficially exploited.…”

Section: Discussionmentioning

confidence: 99%

Modeling and simulation for user assistance in smart environments

Steiniger

Uhrmacher

2010

Proceedings of the 2010 Winter Simulation Conference

View full text Add to dashboard Cite

Smart environments are slowly but surely entering our everyday life. Their design provides many challenges. Not only heterogeneous devices acting and interacting in a dynamic environment but also intentions and activities of humans have to be taken into account. Diverse processes are responsible for achieving unobtrusive and pro-active user assistance. Those can be structured into a pipeline of perception, sensor interpretation, intention analysis, strategy synthesis, and actuation. Along this pipeline we analyze specific possibilities and requirements for modeling and simulation.

show abstract

Section: Discussionmentioning

confidence: 99%

Modeling and simulation for user assistance in smart environments

Steiniger

Uhrmacher

2010

Proceedings of the 2010 Winter Simulation Conference

View full text Add to dashboard Cite

show abstract

“…shows that several new challenges arise in the context of evaluating software agents by simulation-based approaches. A prominent example for such new challenges documented in detail in (Himmelspach et al, 2003) is the synchronization problem of simulation software implementing the testbed and the software agents under test. Asynchronous interaction provides a loose coupling between simulation and agents, as is exemplified in RoboCup and RoboCup Rescue scenarios (Takahashi, 2008).…”

Section: Implications For Modeling and Simulation Methodsmentioning

confidence: 99%

Agents: Agenthood, Agent Architectures, and Agent Taxonomies

Tolk

Uhrmacher

2009

Agent‐Directed Simulation and Systems Engineering

View full text Add to dashboard Cite

“…By separating computation from coordination, one may use agents to test coordination requiring fewer computational resources and less knowledge of the inner workings of any services being simulated. 41 Some legacy systems do not follow this two-phase commit discipline. Encapsulating such a system inside a service, (like that shown in Fig.…”

Section: Case Studymentioning

confidence: 99%

Testing and Formal Verification of Service Oriented Architectures

Sloan

Khoshgoftaar

2009

Int. J. Rel. Qual. Saf. Eng.

View full text Add to dashboard Cite

We examine two open engineering problems in the area of testing and formal verification of internet-enabled service oriented architectures (SOA). The first involves deciding when to formally and exhaustively verify versus when to informally and non-exhaustively test. The second concerns scalability limitations associated with formal verification, to which we propose a semi-formal technique that uses software agents. Finally, we assess how these findings can improve current software quality assurance practices.Addressing the first problem, we present and explain two classes of tradeoffs. External tradeoffs between assurance, performance, and flexibility are determined by the business needs of each application, whether it be in engineering, commerce, or entertainment. Internal tradeoffs between assurance, scale, and level of detail involve the technical challenges of feasibly verifying or testing an SOA. To help decide whether to exhaustively verify or non-exhaustively test, we present and explain these two classes of tradeoffs.Identifying a middle ground between testing and verification, we propose using software agents to simulate services in a composition. Technologically, this approach has the advantage of assuring the quality of compositions that are too large to exhaustively verify. Operationally, it supports testing these compositions in the laboratory without access to source code or use of network resources of third-party services. We identify and exploit the structural similarities between agents and services, examining how doing so can assure the quality of service compositions.

show abstract

Simulation for testing software agents - an exploration based on James

Cited by 9 publications

References 29 publications

Modeling and simulation for user assistance in smart environments

Modeling and simulation for user assistance in smart environments

Agents: Agenthood, Agent Architectures, and Agent Taxonomies

Testing and Formal Verification of Service Oriented Architectures

Contact Info

Product

Resources

About