A substantial amount of work has shed light on whether random testing is actually a useful technique. Despite its simplicity, several successful real-world applications have been reported in the literature. Although it not going to solve all possible problems, appears be an essential tool hands software testers. In this paper, we review and analyze debate about testing. Its benefits drawbacks are discussed. Novel results addressing general questions also presented, such as how long does...

Model-based testing (MBT) aims at automated, scalable, and systematic solutions for complex industrial software systems. To increase chances of adoption in contexts, systems can be modeled using well-established standards such as the Unified Modeling Language (UML) Object Constraint (OCL). Given that test data generation is one major challenges to automate MBT, we focus on from OCL constraints this paper. This endeavor all more challenging given numerous constructs operations are designed...

Model-based testing (MBT) aims at automated, scalable, and systematic solutions for complex industrial software systems. To increase chances of adoption in contexts, systems should be modeled using well-established standards such as the Unified Modeling Language (UML) Object Constraint (OCL). Given that test data generation is one major challenges to automate MBT, this topic paper with a specific focus on from OCL constraints. Though search-based (SBST) has been applied white-box (e.g.,...

There has been a lot of work to shed light on whether random testing is actually useful technique. Despite its simplicity, several successful real-world applications appear in the literature. Although it not going solve all possible problems, an essential tool hands software testers. In this paper, we address general questions about testing, such as how long needs average achieve targets (e.g., coverage), does scale and likely yield similar results if re-run same problem. Due simplicity that...

Game development has recently gained a lot of momentum and is now major software industry. Platform games are being revived with both their 2D 3D versions developed. A challenge faced by the industry lack automated system-level approaches for game testing. Currently in most organizations, tested manually or using semi-automated techniques. Such testing techniques do not scale to requirements where more systematic repeatable required. In this paper we propose model-based approach black box...

Model-based regression testing is an important activity that ensures the reliability of evolving software. One major issues in this type optimal selection test-cases to test affected portion In paper, we present a UML based selective strategy uses state machines and class diagrams for change identification. We identify changes using 2.1 semantics diagram. The are classified as Class-driven (obtained from diagram) State-driven machine). these not reflected on they might be helpful identifying...

System testing of real-time embedded systems (RTES) is a challenging task and only fully automated approach can scale up to the requirements industrial RTES. One such approach, which offers advantage for teams be black-box, use environment models automatically generate test cases oracles an simulator enable earlier more practical testing. In this paper, we propose novel heuristics search-based, RTES system are based on these models. We evaluate fault detection effectiveness two search-based...

Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to modifications after system evolution. However, identification systems selection cases is challenging due interdependencies among models. State-based an important approach behaviour. Unfortunately existing state-based approaches do not care for dependencies state machines with other This paper presents tool support evaluation our methodology evolving systems....

Mobile application development has emerged as one of the most focused areas in software industry due to exponential growth mobile users and applications. The focus current is on direct implementation, rather than analysis design. Model-driven engineering practices are ignored, which results low reusability lack portability along with other challenges. In addition, applications also have support multiple platforms, an written for platform (e.g., Android) cannot run another Windows Phone)....

Summary The unmanned aircraft system (UAS) is rapidly gaining popularity in civil and military domains. A UAS consists of an application software that responsible for defining a mission its expected behavior. during experiences changes (or interruptions ) require the aerial vehicle (UAV) to self‐adapt, is, adjust both behavior position real‐time, particularly maintaining formation case swarm. This adaptation critical as operates open environment, interacting with humans, buildings,...